题名	责任者	出版社	索书号
Verilog数字系统设计教程	夏宇闻编著	北京航空航天大学出版社	TP312/1033/ 1