题名	责任者	出版社	索书号
Verilog数字系统设计教程.第2版	夏宇闻编著	北京航空航天大学出版社	TP312VE/133
Verilog数字系统设计:RTL综合、测试平台与验证-2版	(美)Zainalabedin Navabi著	电子工业出版社	TP312VE/212