SimXACT

SimXACT 的创新形式化分析和自动化流程简化了门级仿真 (GLS) 的调通过程，从而实现更优质、更完整的 sign-off 验证。SimXACT 通过自动消除烦人的假 X 态（X-pessimism 和毛刺）、零延迟竞争条件和库建模错误，同时隔离难以诊断的连接问题，从而更快地调通门级仿真。此外，它还支持先进的真实 X 根源跟踪工具。

SimXACT – 门级仿真

SimXACT 的专利技术可使用组合分析有效模拟仿真，以确定 D 触发器 (DFF) 或集成时钟门控 (ICG) 的 D 输入端 X 值是因 X-pessimism 而产生的假值还是真实值。SimXACT 通过生成一组 HDL 强制/释放 (force/release) 语句来自动消除假 X 态，从而使门级仿真能够产生正确的结果，而不会出现 X-pessimism。在仿真过程中动态施加强制 (force)，以产生一次通过的解决方案。

优势

• 简化门级仿真 (GLS) 调通
• 自动消除假 X 态
• 查找并修正路径上发现的任何 X-pessimism
• 生成触发器 (FF) 损坏报告，以快速找出 X 态问题的根源