[发明专利]用于数据变换组件的硬件设计的验证有效
| 申请号： | 202011050578.X | 申请日： | 2020-09-29 |
| 公开（公告）号： | CN112632890B | 公开（公告）日： | 2023-04-11 |
| 发明（设计）人： | 萨姆·埃利沃特 | 申请（专利权）人： | 畅想科技有限公司 |
| 主分类号： | G06F30/367 | 分类号： | G06F30/367;G06F30/3308;G06F119/18 |
| 代理公司： | 北京东方亿思知识产权代理有限责任公司 11258 | 代理人： | 杨佳婧 |
| 地址： | 英国赫*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本公开涉及用于数据变换组件的硬件设计的验证。本文描述了用于验证主数据变换组件的硬件设计的方法和系统。主数据变换组件表示为数据变换组件的分层集合，包括(i)不具有子代的多个叶数据变换组件，(ii)父数据变换组件，包括子数据变换组件。方法包括：(a)对于多个叶数据变换组件，响应于多个测试输入事务而生成预期输出事务；以及(b)对于父数据变换组件，使用形式验证工具在形式上验证父数据变换组件的抽象硬件设计的实例化响应于多个测试输入事务而生成预期输出事务。父数据变换组件的抽象硬件设计用对应的抽象组件表示父数据变换组件的子数据变换组件，对应的抽象组件被配置为针对对子数据变换组件的特定输入事务产生特定输出事务。 | ||
| 搜索关键词： | 用于 数据 变换 组件 硬件 设计 验证 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于畅想科技有限公司，未经畅想科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011050578.X/，转载请声明来源钻瓜专利网。
- 数据显示系统、数据中继设备、数据中继方法、数据系统、接收设备和数据读取方法
- 数据记录方法、数据记录装置、数据记录媒体、数据重播方法和数据重播装置
- 数据发送方法、数据发送系统、数据发送装置以及数据结构
- 数据显示系统、数据中继设备、数据中继方法及数据系统
- 数据嵌入装置、数据嵌入方法、数据提取装置及数据提取方法
- 数据管理装置、数据编辑装置、数据阅览装置、数据管理方法、数据编辑方法以及数据阅览方法
- 数据发送和数据接收设备、数据发送和数据接收方法
- 数据发送装置、数据接收装置、数据收发系统、数据发送方法、数据接收方法和数据收发方法
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
