专利名称：一种三模冗余验证方法专利类型：发明专利发明人：张弢,王相阳,孔璐申请号：CN201610855588.8申请日：20160927公开号：CN106445748A公开日：20170222
摘要：本发明涉及一种三模冗余验证方法，该方法包括：步骤1，确定现场可编程门阵列FPGA的三模冗余实施方式是否为基于功能路径的方式，若不是，则执行步骤2，若是，则执行步骤3；步骤2，对FPGA进行处理，确定FPGA中需要进行验证的三模冗余范围和三模冗余实施方式，并执行步骤3；步骤3，对三模冗余实施方式进行分类，并对三模冗余实施方式进行判断，若为结构三模冗余，则执行步骤4，若为时序三模冗余，则执行步骤5；步骤4，对结构三模冗余进行验证；步骤5，对时序三模冗余进行验证。本发明提供的三模冗余验证方法，调高了验证效率，对于三模冗余实施方式有效性的验证更加全面客观，提高了三模冗余验证方法的准确性和可靠性。
申请人：中国科学院空间应用工程与技术中心
地址：100094 北京市海淀区邓庄南路九号
国籍：CN
代理机构：北京轻创知识产权代理有限公司
代理人：杨立
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容