[发明专利]一种寄存器传输级N模冗余验证方法

权利要求书

1.一种寄存器传输级N模冗余设计的半自动化验证方法，其特征在于，包括：

将测试激励输入待验证平台；

对n模冗余的待验证平台的寄存器的输出进行检查；

接收待验证平台的寄存器1-n的输出值，判断寄存器1-n的输出值是否相等，如相等则此步验证通过；

定义二进制数值data，位宽为n；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1-n，待验证平台根据每个系统时钟的上升沿的寄存器1-n的值，在每个系统时钟的下降沿，输出投票输出结果；

在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过；

对于寄存器等价检查，通过寄存器等价检查断言实时检查待测N模冗余的寄存器是否相等，如果不相等则会通过仿真器输出不相等的时刻和不相等的寄存器值，并得出验证不通过的结论；在验证三模冗余设计时，寄存器等价检查模块中的寄存器等价检查断言如下所示：

该断言的含义是，在CLK时钟下降沿的时候检查寄存器r1、r2以及r3是否互相相等，如果不相等，断言失败并会在仿真器中报告此时的仿真时间，此时寄存器r1、r2以及r3的取值并报告出验证失败的提示；

执行投票功能检查中，验证方法生成的投票功能检查模块，会不断改变冗余的寄存器的值，使它们取到实际中可能会存在的所有情况，并使用投票检查断言检验投票功能是否符合少数服从多数的准则，如果不满足则会向测试人员报告投票功能存在缺陷的时刻、此刻投票结果的，并得出验证不通过的结论；在验证三模冗余设计时，生成的投票功能检查模块会执行以下操作：定义二进制变量data，位宽为3，data能够进行8种取值；将Data的最低位等于寄存器r1的值，data的中间位等于r2，data的最高位等于r3；投票检查的断言的含义是在CLK时钟下降沿的时刻，检查投票输出结果是否等于r1、r2以及r3这3个寄存器中数量最多的取值，如果不满足，断言失败并会在仿真器中报告此时的仿真时间、不满足的投票结果并报告出验证失败提示；

如上述验证均通过，则认为待验证平台测试通过。

2.如权利要求1所述的寄存器传输级N模冗余设计的半自动化验证方法，其特征在于，在每个系统时钟的下降沿，计算所有寄存器值为1和0的寄存器的数量。

3.如权利要求1所述的寄存器传输级N模冗余设计的半自动化验证方法，其特征在于，对data进行2的n次方种取值测试。

4.如权利要求1所述的寄存器传输级N模冗余设计的半自动化验证方法，其特征在于，获取n模冗余的模块位置、寄存器名称以及测试激励名称。