题名	责任者	出版社	索书号
硬件描述语言Ｖerilog	托马斯（Thomas,D.E.），穆尔比（Moorby,P.R.）著	清华大学出版社	TP312VE/514
Verilog数字系统设计教程.第2版	夏宇闻编著	北京航空航天大学出版社	TP312VE/133