题名	责任者	出版社	索书号
Verilog digital system design : Register transfer level synthesis, testbench, and verification =...	Zainalabedin Navabi著 ; 夏宇闻改编.	Publishing House of Electronics Industry ;	TP312/N316-2
Verilog数字系统设计教程.第3版	夏宇闻编著	北京航空航天大学出版社	TP312/1033/ 1-3