[發明專利]驗證實施置換相關函數的組件的硬件設計

在審

• 申請號: 201910247935.2
• 申請日: 2019-03-28
• 公開（公告）號: CN110321522A
• 公開（公告）日: 2019-10-11
• 發明（設計）人: 羅伯特·麥克梅;山姆·艾略特;埃米利亞諾·莫里尼;馬克斯·弗雷伯格豪斯
• 申請（專利權）人: 暢想科技有限公司
• 主分類號: G06F17/15
• 分類號: G06F17/15;G06F7/544
• 代理公司: 北京東方億思知識產權代理有限責任公司 11258
• 代理人: 林強

1.一種驗證實施置換相關函數的組件的硬件設計的方法，所述組件被配置為接收包括多個輸入元素的輸入向量并且基于所述輸入向量和所述函數生成輸出，所述方法包括：

在一個或多個處理器處驗證所述硬件設計的實例化為有效輸入向量的子集的每個輸入向量生成預期輸出；以及

在所述一個或多個處理器處驗證：對于一個或多個輸入向量置換中的每一個，所述硬件設計的實例化為有效輸入向量的集合中的任何輸入向量和該輸入向量的置換生成置換相關的輸出；

其中，不在所述有效輸入向量的子集中的每個有效輸入向量可以通過將所述一個或多個輸入向量置換中的一個或多個應用于該子集中的輸入向量來獲得。

2.根據權利要求1所述的方法，其中，所述一個或多個輸入向量置換包括一個或多個換位，所述一個或多個換位交換輸入向量中的兩個輸入元素的位置。

3.根據權利要求2所述的方法，其中，所述一個或多個輸入向量置換中的每一個是交換輸入向量中的兩個輸入元素的位置的換位。

4.根據權利要求2所述的方法，其中，所述一個或多個換位中的至少一個是交換輸入向量中的兩個相鄰輸入元素的位置的相鄰換位。

5.根據權利要求3所述的方法，其中，所述一個或多個輸入向量置換包括n-1個相鄰換位，其中，n是輸入向量中的輸入元素的數量。

6.根據權利要求5所述的方法，其中，用于交換第i個輸入元素和第(i+1)個輸入元素的位置的相鄰換位的有效輸入向量的集合包括：第i個輸入元素小于第(i+1)個輸入元素的輸入向量，或者第i個輸入元素大于第(i+1)個輸入元素的輸入向量。

7.根據權利要求1所述的方法，其中，所述一個或多個輸入向量置換包括循環置換，所述循環置換將所述輸入向量中的除了所述輸入向量的最后一個位置中的輸入元素以外的每個輸入元素移位到所述輸入向量中的下一個位置，并且將所述最后一個位置中的輸入元素移位到所述輸入向量的第一個位置。

8.根據前述權利要求中的任一項所述的方法，其中，所述有效輸入向量的集合等于所有有效輸入向量。

9.根據權利要求1至7中的任一項所述的方法，其中，所述一個或多個輸入向量置換包括z個輸入向量置換，并且z小于相關輸入向量置換的數量，相關輸入向量置換為所述函數是置換相關的且不被所述子集覆蓋的輸入向量置換。

10.根據權利要求1所述的方法，其中，所述一個或多個輸入向量置換包括所有相關輸入向量置換，相關輸入向量置換為所述函數是置換相關的且不被所述子集覆蓋的輸入向量置換；并且所述有效輸入向量的集合等于所述有效輸入向量的子集。

11.根據權利要求1至7和權利要求10中的任一項所述的方法，其中，所述有效輸入向量的子集包括：所述輸入元素的至少一部分按照預定順序的輸入向量。

12.根據權利要求1至7和權利要求10中的任一項所述的方法，其中，所述有效輸入向量的子集針對每組輸入元素僅包括一個輸入向量，或者所述有效輸入向量的子集針對至少一組輸入元素包括至少兩個輸入向量。

13.根據權利要求1至7和權利要求10中的任一項所述的方法，其中，如果所述硬件設計的實例化響應于經置換的輸入向量的輸出能夠僅由所述硬件設計的實例化響應于第一輸入向量的輸出和置換推導，則所述硬件設計的實例化響應于所述第一輸入向量的輸出是與所述硬件設計的實例化響應于所述第一輸入向量的置換的輸出有關的置換。