[发明专利]验证实施置换相关函数的组件的硬件设计在审
申请号: | 201910247935.2 | 申请日: | 2019-03-28 |
公开(公告)号: | CN110321522A | 公开(公告)日: | 2019-10-11 |
发明(设计)人: | 罗伯特·麦克梅;山姆·艾略特;埃米利亚诺·莫里尼;马克斯·弗雷伯格豪斯 | 申请(专利权)人: | 畅想科技有限公司 |
主分类号: | G06F17/15 | 分类号: | G06F17/15;G06F7/544 |
代理公司: | 北京东方亿思知识产权代理有限责任公司 11258 | 代理人: | 林强 |
地址: | 英国赫*** | 国省代码: | 英国;GB |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 描述了用于验证实施置换相关函数的组件的硬件设计的方法和系统。该方法包括:形式验证硬件设计的实例化为有效输入向量的子集产生函数的正确结果;以及形式验证硬件设计的实例化为关于输入向量集合上的一个或多个输入向量置换中的每个的置换(即,硬件设计的实例化为输入向量和该输入向量的置换产生置换相关输出。选择子集和输入向量置换,使得可以经由一个或多个输入向量置换的组合从子集中的输入向量生成不在子集中的任何输入向量。 | ||
搜索关键词: | 输入向量 置换 硬件设计 子集 相关函数 形式验证 验证 有效输入 向量 集合 输出 | ||
【主权项】:
1.一种验证实施置换相关函数的组件的硬件设计的方法,所述组件被配置为接收包括多个输入元素的输入向量并且基于所述输入向量和所述函数生成输出,所述方法包括:在一个或多个处理器处验证所述硬件设计的实例化为有效输入向量的子集的每个输入向量生成预期输出;以及在所述一个或多个处理器处验证:对于一个或多个输入向量置换中的每一个,所述硬件设计的实例化为有效输入向量的集合中的任何输入向量和该输入向量的置换生成置换相关的输出;其中,不在所述有效输入向量的子集中的每个有效输入向量可以通过将所述一个或多个输入向量置换中的一个或多个应用于该子集中的输入向量来获得。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于畅想科技有限公司,未经畅想科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201910247935.2/,转载请声明来源钻瓜专利网。