免刺激驗證

Formal Inspection 是一款完全自動的正式問題搜索應用程序，可以找到由於常見 RTL 編碼錯誤導致深深隱藏的問題。Formal Inspection 可以在沒有測試台的情況下消除各種問題。

Questa One SFV 中的連線分析是一種完全自動化的解決方案，用於徹底地驗證靜態和動態連接，而無需正式或屬性規格語言的知識。

Questa Increase Coverage 是一種自動正式解決方案，可以更快地完成代碼覆蓋範圍，解決了一個不可爭議的驗證事實：一些未被揭開的代碼始終存在一些部分。

正式 VIP AMBA 和 OnChip 庫通過將協議和方法專業知識構建到支持流行的行業標準介面的可重複使用聲明套件中，從而改善品質並降低排程。

Questa One SFV 屬性驗證詳盡地發現任何可能發生的設計錯誤，而不需要特定的刺激來檢測問題。這可確保在所有法律輸入情況下，經過驗證的設計無問題。

Questa One SFV 登錄器分析可根據 CSV 或 IP-XACT 註冊器規格自動對控制和狀態登錄器行為進行全面驗證。

Questa One SFV 中的安全分析是一個完全自動化的解決方案，用於徹底地驗證只有您指定的路徑才能達到安全性或安全關鍵儲存元素。

Questa One SFV RTL 等效性確實使用詳盡的正式分析自動比較規格 RTL 和實現 RTL 代碼塊。不需要正式或屬性規格語言的知識。

Questa One SFV 中的 X-靈敏度分析是一種自動化解決方案，無需測試台即可徹底清除 RTL 級別的「X」問題。

西門子 Questa 等效 FPGA 解決方案可確保 FPGA 實作流程，例如合成和位置和路由優化，不會導致功能錯誤。

Gap Free 驗證通過證明所有輸入的所有功能，從而達到前所有的低問題逃生率，從而最佳化數位設計的質量。

透過 Questa HL-SYC 擴充功能進行高階設計驗證，藉由在流程中提早開始驗證，有助於在合成前消除問題。

Questa One SFV 信任分析採用自動分析來檢測和報告有關安全性的漏洞問題。

確保 RISC-V 設計符合 ISA 和功能先決條件，並通過消除建立測試台的需求來加速驗證。

Questa One SFV FPU 分析可大幅降低驗證工作負載，確保浮點實作與所需結果準確對齊。

故障保護分析是基於正式技術的解決方案，該解決方案通過注入故障進行分析，並正式檢查其結果以確保硬件安全和安全。

Questa Post Silicon Debug 應用程序利用正式分析和屬性合成來快速根據 SoC 深處邏輯問題的原因，並證明修復不會破壞其他任何內容。