本发明属于一种三模冗余措施的验证方法,包括以下步骤:生成经过三模冗余措施的综合后的FPGA网表文件,并选取经过三模冗余措施的关键寄存器的输入-输出;将三模冗余情况分为有效和失效的情况进行考虑;对所有的经过三模冗余措施的寄存器进行输入-输出结构选择并重复步骤(1)~步骤(2),直至所有的寄存器三模冗余有效性的情况均得到验证;根据6种情况分别在门级仿真和时序仿真情况下进行三模冗余措施的有效性验证。其优点是,可以选定关键寄存器进行验证,最终测试结果可判断预测且可观测;既可以模拟实际情况,又可以模拟多种环境条件下的所有情况,可以准确验证三模冗余措施的有效性;验证时间短,操作简单。
声明:
“三模冗余措施的验证方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)