温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。
本发明属于安全级仪控系统仿真测试的技术领域，为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题，本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置，所述统计方法包括：S1、对HPD需求规格书中的需求项进行形式化描述...该专利属于北京广利核系统工程有限公司;中国广核集团有限公司所有，仅供学习研究参考，未经过北京广利核系统工程有限公司;中国广核集团有限公司授权不得商用。