免费论文摘要：三模冗余尝试算法的安排与考证

跟着航天范围FPGA的普遍运用，为抗单粒子翻转效力运用三模冗余安排必不行少。在一次尝试处事中，偶尔创造由三模东西举行安排的FPGA软硬件爆发了计数器作废的局面，本是为了普及安定性和真实性的三模冗余大概沦为缺点夸大的体制，故对准三模冗余的缺点领会、接洽与尝试本领具备本质运用意旨。 正文先从机动三模冗余东西的安排体制动身，接洽各别形式下的安排构造，并与保守三模冗余本领举行比较。 对准上述局面及论断，正文又提出了一种缺点注入的动静尝试本领，个中重要囊括模辨别算法、仿真算法及领会算法。其重要思维是将三模冗余安排后天生的网表中一切元件都变化为有向图中的节点，经过上溯路途并遍历节点的摆设输出值来确定节点间联系能否功效沟通，对启动较多的节点沿用领会算法将有向图拆分红子图举行领会，对联图中存放器的摆设输出举行拉拢遍历计划存放器的值，进而决定存放器能否对SEU敏锐。这种尝试本领将动静尝试中的缺点注入本领和静态尝试中的网表功效点比对贯串起来，并沿用数学本领举行处置，大大贬低了算法搀杂度与尝试功夫本钱。 对于提出的算法，运用机动三模冗余东西致计数器作废的网表对算法举行考证。既而领会展示机动三模东西致计数器计数使能及清零置位作废的局面，进而得出因为时钟颤动、三模矫正体制及天生穿插网表等因为引导计数器作废的论断。并人为领会考证正文提出的算法不妨对上述题目网表举行尝试且可行。为了尝试该算法的可行性与表面精确性，正文的结果还运用了Formality论理等效性领会东西举行静态尝试及VCS仿真东西进动作态尝试。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/291959.html