HDLCheck是深远华创南京信息科技有限公司自主研发的HDL代码规则与缺陷检查平台能够对HDL代码开展深度检查与分析发现并定位存在违反编码规则的缺陷代码片段。HDLCheck的性能在国内外同类产品中具有明显的优势。下面将HDLCheck与国外产品HDLDesigner进行比测。HDL Designer是Mentor Graphics公司开发的产品集成了各大厂商设计指南的规则引擎专门用于HDL硬件描述语言的代码风格与设计规范检查当前在行业中得到了广泛应用。本次比测重点从用户比较关注的检查执行效率、出检率、误报率三个方面进行详细的比对比测对象采用了60个HDL代码工程比测数据见下表。序号工具名称预编译支持标准执行效率出检率误报率1HDLCheck不需要Xilinx规则、RMM规则、ALTERA规则、DO254规则、GJB 9765、GJB 10157、GB 3797958s理论出检30条实测出检28条出检率93.3%误报2条误报率6.6%2HDLDesigner需要Xilinx规则、RMM规则、DO254规则、ALTERA规则700s含预编译及处理时间理论出检30条实测出检18条出检率60.1%误报6条误报率20%注HDL Designer工具需要对HDL代码进行预编译在本次测试样本条件下预编译及编译问题处理时间大约500s实际最终检查时间约200s。根据被测比测结果可以得出以下结论1、基本功能对比HDLCheck和HDLDesigner在HDL代码规则检查方面区别不大均能满足HDL代码规则检查的基本需求。但在支持的HDL规则集方面HDLCheck相比较于HDLDesigne支持的更加全面并且HDLDesigner不支持国军标无法满足军工企业HDL代码开发与测试的要求。2、执行效率对比在测试样本规模3万行同测试样本的条件下HDLCheck检查耗时58s而HDL Designer检查耗时200sHDLCheck的检查执行效率相较于HDL Designer高出约3倍并且HDLDesigner需要对HDL代码进行预编译在预编译的过程会报出大量问题本次测试在预编译以及预编译问题处理时间大约500s因此加上预编译及处理时间HDLDesigner的执行效率要远低于HDLCheck。3、出检情况对比在测试样本规模3万行同测试样本的条件下HDLCheck出检率为93.3%而HDLDesigner的出检率仅为60.1%HDLCheck在出检率方面要远优于HDLDesigner。4、误检情况对比在测试样本规模3万行同测试样本的条件下HDLCheck误报率为6.6%而HDL Designer误报率高达20%HDLCheck在误报率方面优于HDL Designer。通过本次比测可以看到HDLCheck的功能与性能相比较与以HDLDesigner为代表的国外同类产品具有明显的优势这是由于HDLCheck同时内置了一套高精度重量型检查引擎和一套低精度轻量化检查引擎通过采用国内外首创的双引擎检查架构HDLCheck能够同时保证检查效率和精度实现鱼和熊掌兼得更好的满足用户的需求。