基于VerilogHDL的数字系统应用设计2007.09王细, 卓兴旺, 编著 支线飞机结构设计与验证2017.吕军, 等著 航空装备任务可靠性设计与验证技术2018.7任占勇, 著 基于Verilog的FPGA设计基础2006.02杜慧敏等, 编著 施工图设计文件验证提纲2015.1北京市建筑设计研究院有限公司, 编著 SystemVerilog与功能验证2010.8钟文枫, 编著 支线飞机适航符合性设计与验证2017.徐有成, 等编著 消防设计审核与验收要点2016.3《消防设计审核与验收要点》编委会, 编 SystemVerilog验证2009.(美) 斯皮尔, 著 Verilog与SystemVerilog编程陷阱2015.5(美) 萨瑟兰 (Sutherland,S.) , (美) 米尔斯 (Mills,D.) , 著 集成电路系统设计、验证与测试2008.(美) 谢弗 (Scheffer,L.) 等, 著 运载火箭飞行控制系统设计与验证2014.2李学锋, 王青, 王辉, 王通, 编著 设计与工艺1997.7《设计与工艺》编写组, 编 安全协议操作语义与验证2018.11(瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (Sjouke Mauw) , 著 Verilog编程艺术2014.1魏家明, 编著