Questa One Sim Xact

Questa One Sim Xact是一种创新的形式分析和流程自动化，可简化GLS的启动，从而实现更好、更完整的签核验证。

为何使用 Questa One Sim Xact？

Questa One Sim Xact 通过自动消除讨厌的虚假 X、零延迟竞争条件和库建模错误，同时隔离难以诊断的连接问题，可以更快地启动门级仿真。此外，它支持高级的真实 X 根本原因追踪工具。

形式增强型逻辑仿真动态执行 X 悲观分析，分析 X 在数据路径和门控时钟逻辑中的传播，并进行即时修复。

零延迟 GLS 可以演示竞态条件，尤其是在采用门控时钟和延迟线的设计中。“伪 SDF” 生成器无需修改细胞库即可有效解决竞争条件问题。

力/释放传播分析可确认何时对力进行了优化，不再驱动任何扇出逻辑。连接分析会发现具有非驱动输入的模块正在创建 X 源。

西门子EDA为Questa One Sim 和我们所有的产品提供世界一流的客户支持。

Verification Academy 提供使组织功能验证流程能力成熟所需的技能，为高层次价值主张和低层次细节之间架起了一座方法论桥梁。

为了帮助理解先进的功能验证技术以及如何最有效地应用它们，请访问我们的博客，了解有关概念、价值观、标准、方法和示例的见解和最新动态。