一种基于TMR的实现和故障注入仿真平台及仿真方法

摘要

一种基于TMR的实现和故障注入仿真平台及仿真方法，以TMR‑注入型系统为目标验证对象，以基础功能系统为仿真参考模型，在故障注入约束文件的约束下，完成RTL级的故障注入和仿真。本发明通过逻辑电路实现约束，规定了逻辑综合约束条件，从而在由语言描述到电路结构的映射中，消除植入的服务与仿真的描述。其具有如下优点，第一：TMR设计与故障注入仿真在统一平台上实现；第二：支持覆盖率驱动的面向故障类型的自动、随机的故障注入仿真；第三：实现故障类型数据库的“即插即用”；第四：可实现对建模模型的应用，实现可量化芯片在恶劣环境的可靠性指标。