畅想科技有限公司罗伯特·麦克梅获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉畅想科技有限公司申请的专利验证实施置换相关函数的组件的硬件设计获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN110321522B 。
龙图腾网通过国家知识产权局官网在2025-08-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：201910247935.2，技术领域涉及：G06F17/15；该发明授权验证实施置换相关函数的组件的硬件设计是由罗伯特·麦克梅;山姆·艾略特;埃米利亚诺·莫里尼;马克斯·弗雷伯格豪斯设计研发完成，并于2019-03-28向国家知识产权局提交的专利申请。
本验证实施置换相关函数的组件的硬件设计在说明书摘要公布了：描述了用于验证实施置换相关函数的组件的硬件设计的方法和系统。该方法包括：形式验证硬件设计的实例化为有效输入向量的子集产生函数的正确结果；以及形式验证硬件设计的实例化为关于输入向量集合上的一个或多个输入向量置换中的每个的置换即，硬件设计的实例化为输入向量和该输入向量的置换产生置换相关输出。选择子集和输入向量置换，使得可以经由一个或多个输入向量置换的组合从子集中的输入向量生成不在子集中的任何输入向量。
本发明授权验证实施置换相关函数的组件的硬件设计在权利要求书中公布了：1.一种验证实施置换相关函数的组件的硬件设计的方法，所述组件被配置为接收包括多个输入元素的输入向量并且基于所述输入向量和所述函数生成输出，所述方法包括： 在一个或多个处理器处验证所述硬件设计的实例化为有效输入向量的子集的每个输入向量生成预期输出；以及 在所述一个或多个处理器处通过以下方式来验证所述硬件设计是否关于所有输入向量置换：使用形式验证工具，形式验证对于一个或多个输入向量置换中的每一个，所述硬件设计的实例化是否响应于有效输入向量的集合中的任何输入向量和该输入向量的置换生成置换相关的输出，所述一个或多个输入向量置换包括将两个相邻输入元素的位置交换的n-1个相邻换位，其中，n是输入向量中的输入元素的数量； 其中，不在所述有效输入向量的子集中的每个有效输入向量可以通过将所述一个或多个输入向量置换中的一个或多个应用于该子集中的输入向量来获得。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人畅想科技有限公司，其通讯地址为：英国赫特福德郡；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号