Questa One Sim Xact

Questa One Sim Xact 是一款創新的正式分析和流程自動化，可簡化 GLS 運行，從而進行更好、更完整的簽署驗證。

為什麼要使用 Questa One Sim Xact？

Questa One Sim Xact 可自動消除煩人的假 X、零延遲比賽條件和庫建模錯誤，同時隔離難以診斷的連線問題，從而實現更快速的閘道級模擬啟動。此外，它還支持高級的真實 X 根本原因追踪工具。

正式增強的邏輯模擬動態執行 X-悲觀分析，分析數據空間中的 X 傳播和門鎖時脈邏輯，並即時修復。

零延遲 GLS 可能會展現比賽條件，尤其是在具有門鎖定時和延遲線的設計中。「偽 SDF」生成器可有效地解決競賽條件問題，而無需修改單元格庫。

力/釋放傳播分析確認當力已經得到最佳化，且不再驅動任何風扇邏輯時。連線分析尋找具有未驅動輸入的模組，這些模組正在建立 X 來源。

功能模擬的演進將更快的引擎結合在一起，提供生產力提升，使工程師能夠更快速地提供最先進的技術，以幫助使用更少的工作負載完成驗證。

使用 Questa One Sim DFT 加速技術與 Tessent 合作，加速 DFT 模式驗證。

回歸導覽器透過分析、AI 和 ML 運用資料的力量來最佳化回歸週期並加快處理時間。它通過根本原因分析加速回歸執行，管理和調試。

西門子 EDA 為 Questa One Sim 和我們所有產品提供世界級的客戶支持。

驗證學院提供了成熟組織功能驗證流程能力所需的技能，在高層次價值提議和低層級細節之間提供了方法橋樑。

為了協助了解先進功能驗證技術以及如何最有效地應用它們，請訪問我們的博客以獲取有關概念、價值、標準、方法和示例的洞察和更新。