SOC/ASIC设计、验证和测试方法学2006.03沈理, 编著 高级验证方法学2007.08(美) 格拉瑟 (Glasser,M.) , 主编 SystemVerilog验证方法学2007.05(美) 伯杰龙 (Bergeron,J.) 等, 著 低功耗验证方法学2012.7(美) 迦奇拉, 等著 VLSI测试方法学和可测性设计2005.01雷绍充等, 著 节能量测量和验证方法2015.9山东省世行亚行节能减排项目管理办公室, 编 硬件设计验证2006.09(美) 兰姆 (Lam,W.K.) , 著 设计方法学2013.12葛杨, 邱志明, 主编 设计方法学2006.09郑建启, 李翔, 编著 设计方法学2012.10郑建启, 李翔, 编著 硬件设计验证2013.2(美) 拉姆 (Lam,W.K.) , 著 工程试验仪器设备校验方法2012.11中铁工程试验检测协会, 编 设计方法学2009.08李贵轩等, 编著 气象观测专用技术装备测试方法2019.7莫月琴, 张雪芬, 主编 测试性设计分析与验证2011.4石君友, 主编