【技术实现步骤摘要】
验证实施置换相关函数的组件的硬件设计
技术介绍
存在接收包括多个输入元素(x0,x1...xn-1)的输入向量x并为一组输入元素的至少两个不同排序(或置换)产生与置换相关的输出的许多函数。如果函数响应于第一输入向量产生第一输出,并且响应于作为第一输入向量的置换的第二输入向量产生第二输出,则称该函数产生与置换相关的输出,并且第二输出可以仅从第一输出和置换推导出来。这种函数在本文被称为置换相关函数(permutationrespectingfunction)。函数相对于其置换的输入向量置换集合(即,为输入向量和输入向量的置换产生与置换相关的输出)在本文中被称为相关的输入向量置换的集合或组。置换相关函数包括但不限于:关于一个或多个输入向量置换σ不变的函数F(即F(σx)=F(x));关于一个或多个输入向量置换σ等变的函数F(即σF(x)=F(σx));以及满足tσF(x)=F(σx)的函数,其中通过相关的输入向量置换组到输出的自同构组的同态将输入向量置换σ映射到输出转换tσ。示例置换相关函数是排序函数Fsort(a,b,c),排序函数Fsort(a,b,c)接收包括三个输入元素a,b,c的输入向量并以升序输出包括输入元素的向量。该函数是置换相关函数,因为它关于所有输入向量置换都是不变的,即,它将为一组输入元素的任何置换产生相同的输出。例如,当函数Fsort以任何顺序接收输入元素4、5和6时,函数Fsort将输出4、5、6。具体来说,当函数Fsort接收以下输入时将输出4、5、6:(i)a=4,b=5和c=6,(ii)a=4,b=6和c=5;(iii)a=5,b=4,c ...
【技术保护点】
1.一种验证实施置换相关函数的组件的硬件设计的方法,所述组件被配置为接收包括多个输入元素的输入向量并且基于所述输入向量和所述函数生成输出,所述方法包括:在一个或多个处理器处验证所述硬件设计的实例化为有效输入向量的子集的每个输入向量生成预期输出;以及在所述一个或多个处理器处验证:对于一个或多个输入向量置换中的每一个,所述硬件设计的实例化为有效输入向量的集合中的任何输入向量和该输入向量的置换生成置换相关的输出;其中,不在所述有效输入向量的子集中的每个有效输入向量可以通过将所述一个或多个输入向量置换中的一个或多个应用于该子集中的输入向量来获得。
【技术特征摘要】
2018.03.29 GB 1805285.21.一种验证实施置换相关函数的组件的硬件设计的方法,所述组件被配置为接收包括多个输入元素的输入向量并且基于所述输入向量和所述函数生成输出,所述方法包括:在一个或多个处理器处验证所述硬件设计的实例化为有效输入向量的子集的每个输入向量生成预期输出;以及在所述一个或多个处理器处验证:对于一个或多个输入向量置换中的每一个,所述硬件设计的实例化为有效输入向量的集合中的任何输入向量和该输入向量的置换生成置换相关的输出;其中,不在所述有效输入向量的子集中的每个有效输入向量可以通过将所述一个或多个输入向量置换中的一个或多个应用于该子集中的输入向量来获得。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至...
【专利技术属性】
技术研发人员:罗伯特·麦克梅,山姆·艾略特,埃米利亚诺·莫里尼,马克斯·弗雷伯格豪斯,
申请(专利权)人:畅想科技有限公司,
类型:发明
国别省市:英国,GB
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。