[发明专利]数据变换流水线的硬件设计的验证有效
| 申请号： | 201980024352.1 | 申请日： | 2019-04-04 |
| 公开（公告）号： | CN111936998B | 公开（公告）日： | 2023-01-06 |
| 发明（设计）人： | 萨姆·埃利沃特 | 申请（专利权）人： | 畅想科技有限公司 |
| 主分类号： | G06F30/392 | 分类号： | G06F30/392 |
| 代理公司： | 北京东方亿思知识产权代理有限责任公司 11258 | 代理人： | 杨佳婧 |
| 地址： | 英国赫*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 用于通过形式验证来验证数据变换流水线的硬件设计的方法和系统，所述数据变换流水线包括一个或多个数据变换元件，所述一个或多个数据变换元件对一个或多个输入执行数据变换，其中，所述形式验证在简化形式验证工具必须执行的数据变换计算的条件下执行。在一个实施方案中，通过以下操作来验证所述数据变换流水线的所述硬件设计：在所述数据变换流水线之间的基本上等同的数据变换元件响应于相同输入产生相同输出的约束下，针对预定交易集合，形式验证所述硬件设计的实例化的输出产生与另一数据变换流水线的硬件设计的实例化相同的输出。 | ||
| 搜索关键词： | 数据 变换 流水线 硬件 设计 验证 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于畅想科技有限公司，未经畅想科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201980024352.1/，转载请声明来源钻瓜专利网。
- 数据显示系统、数据中继设备、数据中继方法、数据系统、接收设备和数据读取方法
- 数据记录方法、数据记录装置、数据记录媒体、数据重播方法和数据重播装置
- 数据发送方法、数据发送系统、数据发送装置以及数据结构
- 数据显示系统、数据中继设备、数据中继方法及数据系统
- 数据嵌入装置、数据嵌入方法、数据提取装置及数据提取方法
- 数据管理装置、数据编辑装置、数据阅览装置、数据管理方法、数据编辑方法以及数据阅览方法
- 数据发送和数据接收设备、数据发送和数据接收方法
- 数据发送装置、数据接收装置、数据收发系统、数据发送方法、数据接收方法和数据收发方法
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
