专利详情

专利名称	一种三模冗余验证方法
申请号	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，对时序三模冗余进行验证。本发明提供的三模冗余验证方法，调高了验证效率，对于三模冗余实施方式有效性的验证更加全面客观，提高了三模冗余验证方法的准确性和可靠性。