Patent search ap:("北京京航计算通讯研究所") AND inv:"张国宇" Page 4

31.

发明公开
一种三模冗余措施的验证方法无效

公开(公告)号：CN103530207A

公开(公告)日：2014-01-22

申请号：CN201310435975.2

申请日：2013-09-24

Applicant: 北京京航计算通讯研究所

Inventor： 王栋 , 李昆 , 刘军 , 刘伟 , 郑金艳 , 张国宇

IPC: G06F11/18

Abstract: 本发明属于一种三模冗余措施的验证方法，包括以下步骤：生成经过三模冗余措施的综合后的FPGA网表文件，并选取经过三模冗余措施的关键寄存器的输入-输出；将三模冗余情况分为有效和失效的情况进行考虑；对所有的经过三模冗余措施的寄存器进行输入-输出结构选择并重复步骤(1)～步骤(2)，直至所有的寄存器三模冗余有效性的情况均得到验证；根据6种情况分别在门级仿真和时序仿真情况下进行三模冗余措施的有效性验证。其优点是，可以选定关键寄存器进行验证，最终测试结果可判断预测且可观测；既可以模拟实际情况，又可以模拟多种环境条件下的所有情况，可以准确验证三模冗余措施的有效性；验证时间短，操作简单。

Patent Agency Ranking