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

【发明公布】用于数据变换组件的硬件设计的验证_畅想科技有限公司_202011050578.X 

申请/专利权人:畅想科技有限公司

申请日:2020-09-29

公开(公告)日:2021-04-09

公开(公告)号:CN112632890A

主分类号:G06F30/367(20200101)

分类号:G06F30/367(20200101);G06F30/3308(20200101);G06F119/18(20200101)

优先权:["20191008 GB 1914552.3"]

专利状态码:有效-授权

法律状态:2023.04.11#授权;2021.12.28#实质审查的生效;2021.04.09#公开

摘要:本公开涉及用于数据变换组件的硬件设计的验证。本文描述了用于验证主数据变换组件的硬件设计的方法和系统。主数据变换组件表示为数据变换组件的分层集合,包括i不具有子代的多个叶数据变换组件,ii父数据变换组件,包括子数据变换组件。方法包括:a对于多个叶数据变换组件,响应于多个测试输入事务而生成预期输出事务;以及b对于父数据变换组件,使用形式验证工具在形式上验证父数据变换组件的抽象硬件设计的实例化响应于多个测试输入事务而生成预期输出事务。父数据变换组件的抽象硬件设计用对应的抽象组件表示父数据变换组件的子数据变换组件,对应的抽象组件被配置为针对对子数据变换组件的特定输入事务产生特定输出事务。

主权项:1.一种验证主数据变换组件的硬件设计的计算机实现的方法100,所述主数据变换组件可表示为数据变换组件的分级集合,所述数据变换组件的分级集合包括i所述数据变换组件的分级集合中不具有子代的多个叶数据变换组件,以及ii一个或多个父数据变换组件,所述一个或多个父数据变换组件各自包括所述数据变换组件的分级集合中的一个或多个子数据变换组件,其中所述主数据变换组件的硬件设计包括所述数据变换组件的分级集合中的每个数据变换组件的硬件设计,所述方法100包括:对于所述多个叶数据变换组件中的每一个,在一个或多个处理器处验证所述叶数据变换组件的硬件设计的实例化响应于多个测试输入事务中的每一个而生成预期输出事务102;以及对于所述一个或多个父数据变换组件中的每一个,在所述一个或多个处理器处使用形式验证工具在形式上验证所述父数据变换组件的抽象硬件设计的实例化响应于多个测试输入事务中的每一个而生成预期输出事务104,其中所述父数据变换组件的所述抽象硬件设计用对应的抽象组件表示所述父数据变换组件的所述一个或多个子数据变换组件中的每一个,所述对应的抽象组件被配置为针对对所述子数据变换组件的特定输入事务产生与所述特定输入事务具有因果确定性关系的特定输出事务,其中在形式验证期间,所述形式验证工具被配置为选择所述特定输入事务和所述特定输出事务对作为所述子数据变换组件的每个可能的有效输入事务和有效输出事务对;其中硬件设计的实例化以可以被测试以验证所述硬件设计的形式来体现所述硬件设计。

全文数据:

权利要求:

百度查询: 畅想科技有限公司 用于数据变换组件的硬件设计的验证

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