| 专利名称 | 一种三模冗余验证方法 | 申请号 | CN201610855588.8 | 专利类型 | 发明专利 | 公开（公告）号 | CN106445748A | 公开（授权）日 | 2017.02.22 | 申请（专利权）人 | 中国科学院空间应用工程与技术中心 | 发明（设计）人 | 张弢;王相阳;孔璐 | 主分类号 | G06F11/16(2006.01)I | IPC主分类号 | G06F11/16(2006.01)I | 专利有效期 | 一种三模冗余验证方法 至一种三模冗余验证方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明涉及一种三模冗余验证方法，该方法包括：步骤1，确定现场可编程门阵列FPGA的三模冗余实施方式是否为基于功能路径的方式，若不是，则执行步骤2，若是，则执行步骤3；步骤2，对FPGA进行处理，确定FPGA中需要进行验证的三模冗余范围和三模冗余实施方式，并执行步骤3；步骤3，对三模冗余实施方式进行分类，并对三模冗余实施方式进行判断，若为结构三模冗余，则执行步骤4，若为时序三模冗余，则执行步骤5；步骤4，对结构三模冗余进行验证；步骤5，对时序三模冗余进行验证。本发明提供的三模冗余验证方法，调高了验证效率，对于三模冗余实施方式有效性的验证更加全面客观，提高了三模冗余验证方法的准确性和可靠性。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障