题名	责任者	出版社	索书号
硬件描述语言Ｖerilog	托马斯（Thomas,D.E.），穆尔比（Moorby,P.R.）著	清华大学出版社	TP312VE/514
Verilog数字系统设计:RTL综合、测试平台与验证-2版	(美)Zainalabedin Navabi著	电子工业出版社	TP312VE/212