题名	责任者	出版社	索书号
Verilog HDL高级数字设计	(美)西里提(Michael D. Ciletti)著	电子工业出版社	TP312VH/165/2
Verilog数字系统设计:RTL综合、测试平台与验证-2版	(美)Zainalabedin Navabi著	电子工业出版社	TP312VE/212