验证实施置换相关函数的组件的硬件设计

摘要

描述了用于验证实施置换相关函数的组件的硬件设计的方法和系统。该方法包括：形式验证硬件设计的实例化为有效输入向量的子集产生函数的正确结果；以及形式验证硬件设计的实例化为关于输入向量集合上的一个或多个输入向量置换中的每个的置换(即，硬件设计的实例化为输入向量和该输入向量的置换产生置换相关输出。选择子集和输入向量置换，使得可以经由一个或多个输入向量置换的组合从子集中的输入向量生成不在子集中的任何输入向量。