题名	责任者	出版社	索书号
SystemVerilog验证:测试平台编写指南	(美) 克里斯·斯皮尔, 格雷格·图姆布斯著	科学出版社	TP312.8VH/442
Verilog数字系统设计与FPGA应用:MOOC版.第2版	赵倩 ... [等] 编著	清华大学出版社	TP312.8VH/420