题名	责任者	出版社	索书号
Verilog digital system design : Register transfer level synthesis, testbench, and verification =...	Zainalabedin Navabi著 ; 夏宇闻改编.	Publishing House of Electronics Industry ;	TP312/N316-2
Verilog HDL高级数字设计	(美) Michael D. Ciletti著	电子工业出版社	TP312/2483/ 1