摘要:从系统验证和FPGA物理原型验证两个方面,分析了TMR结构的注错方式及其验证方法;通过在TMR结构中嵌入注错逻辑,并将所有组TMR寄存器的注错控制信号统一命名,作为系统的输入,根据随机生成的注错信息,索引对应的TMR寄存器,可实现向对用户透明的任意TMR组中注错;将每组TMR寄存器的参考点和观测点引到设计的顶层统一命名,作为待测系统的输出,可适时观测对应TMR寄存器组的注错情况,分析故障电路的行为;为了解决调试机与FPGA板连接的引脚数受限的问题,特别设计了注错控制器和故障收集器;根据具体的注错情况,可编写对应的测试程序,验证设计的正确性,实验结果表明,SOC系统的错误故障率约占18.6%;为系统的可靠性评估提供了依据。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社