可编程逻辑仿真测试功能覆盖率的统计方法和装置

摘要

本发明属于安全级仪控系统仿真测试的技术领域，为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题，本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置，所述统计方法包括：S1、对HPD需求规格书中的需求项进行形式化描述，并按照预定的编码规则对各需求项建立唯一的编号；S2、建立待测试系统的追踪矩阵；S3、编写测试规程中的每条测试通过准则相应的SVA断言代码；S4、按照所述测试用例对应的测试激励，执行完成后通过SVA断言自动生成测试结果。能够通过在仿真测试过程中增加对编码环节进行有效的追踪和监控，从而直观的体现功能覆盖率，使可编程逻辑的仿真测试过程更严谨、更符合高可靠性的要求。