龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京航空航天大学
摘要：本发明公开了一种基于SVA形式化验证的FPGA软件仿真测试环境建立方法，该方法包括：依据被测对象FPGA软件的测试需求，结合SVA并发断言模板和DUT信号分析工具，产生适用于对被测对象开展形式化验证的Bind模板；导入Bind库中；在所述Bind库中选取要执行的Bind，生成实例化模板并将实例化模板插入并发断言监控的代码文件module之外；调用形式化验证工具读入源代码并调用Bind库，实现基于SVA的形式化验证。该方法将断言与设计代码实现分离，不会对断言编写及验证产生限制，在采用形式化验证提升验证效率的同时，增强代码与并发断言的可管理性，既满足验证目标，又使得验证问题可追溯。
主权项：1.一种基于SVA形式化验证的FPGA软件仿真测试环境建立方法，其特征在于，包括以下步骤：S1、依据被测对象FPGA软件的测试需求，结合SVA并发断言模板和DUT信号分析工具，产生适用于对被测对象开展形式化验证的Bind模板；S2、将所述Bind模板文件导入Bind库中；所述Bind库依据模板标识按照测试类型对Bind模板进行分组；S3、在所述Bind库中选取要执行的Bind，生成实例化模板并将实例化模板插入并发断言监控的代码文件module之外；S4、调用形式化验证工具读入源代码并调用Bind库，实现基于SVA的形式化验证。
全文数据：
权利要求：
百度查询： 北京航空航天大学 一种基于SVA形式化验证的FPGA软件仿真测试环境建立方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号