公开(公告)号：CN106802848B

公开(公告)日：2019-06-18

申请号：CN201611187712.4

申请日：2016-12-20

Applicant: 北京计算机技术及应用研究所

Inventor： 冯志华 ,  沈炜 ,  闫帅 ,  陈丽容 ,  王志昊 ,  王纪 ,  李东方 ,  朱秋岩 ,  王宏 ,  孟超 ,  胡亚云 ,  叶东升 ,  张建伟 ,  慕德俊

IPC: G06F11/26

Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。

公开(公告)号：CN106802848A

公开(公告)日：2017-06-06

申请号：CN201611187712.4

申请日：2016-12-20

Applicant: 北京计算机技术及应用研究所

Inventor： 冯志华 ,  沈炜 ,  闫帅 ,  陈丽容 ,  王志昊 ,  王纪 ,  李东方 ,  朱秋岩 ,  王宏 ,  孟超 ,  胡亚云 ,  叶东升 ,  张建伟 ,  慕德俊

IPC: G06F11/26

CPC classification number: G06F11/261 ,  G06F11/26

Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。