行业论文：容错微处置器模仿考证东西与本领

考证在搀杂的大范围数字电子体例的安排进程中正遭到越来越普遍的关心，而对计划体例的真实性诉求也在连接普及。本课题鉴于试验室在研的容错处置器体制构造，对用来该处置器的考证本领以及对其容错功效的考证本领举行了接洽。作品引见了用来对所述容错处置器在共同仿真情况中举行功效考证的东西，囊括该处置器的训令集仿真器以及为该处置器及训令集仿真器供给输出向量的随机训令天生器。该训令集仿真器实行适合MIPS32典型的整型训令，并不妨供给相关掩盖率的反应消息。该随机训令天生器可由摆设文献举行摆设，并可处事在静态与动静两种处事形式，还不妨按照来自MIPS训令集仿真器的反应消息天生一定训令以掩盖该训令集仿真器中尚未被鼓励的功效。作品还引见了鉴于妨碍注入本领对该容错处置器的容错体制举行功效考证的本领。囊括辨别妨碍注入能否爆发，所注入的妨碍能否适合待考证体例预订义的妨碍形式，以及待考证体例对该妨碍能否做出了精确的处置。并运用该本领对具备奇偶校验功效的保存器模子举行了考证。其余，作品中还对运用SystemC所创造的模子与普遍Windows运用步调互操纵的本领，以及SystemC与其余HDL举行共同仿真的本领举行了计划。