首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种生成SVA断言检查器及连接仿真平台的方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:北京清微智能科技有限公司

摘要:本发明属于硬件仿真测试技术领域,具体公开了一种生成SVA断言检查器及连接仿真平台的方法。本发明提出的方法不仅能有效地缩减了验证过程的的代码量,方便后期验证人员在测试用例中控制SVA断言检测组件;还有效降低了SVA断言检验器对仿真平台的依赖程度,提高了代码的可重用性,方便SVA断言检验器在不同仿真平台的验证项目中进行移植。

主权项:1.一种生成SVA断言检查器及连接仿真平台的方法,其特征在于,包括步骤:步骤S1,在表格文档中定义SVA断言检测组件和SVA断言检验器;步骤S2,由定义好的表格文档生成SVA断言检测组件和SVA断言检验器;步骤S3,将生成的SVA断言检验器与仿真平台进行连接。

全文数据:

权利要求:

百度查询: 北京清微智能科技有限公司 一种生成SVA断言检查器及连接仿真平台的方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。