統一覆蓋範圍

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

使用先進的限制解決器加速覆蓋範圍關閉，旨在加快覆蓋範圍關閉困難點，並縮短整體專案時間和運算資源。

覆蓋分析器通過將分析應用於關閉問題並提供以團隊為基礎的協同合作關閉來加速覆蓋範圍。它還可以通過洞察力的視覺化來提高了對覆蓋模型的了解。

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

Testplan Author 通過針對計劃和需求驅動的流程建立以團隊為基礎的驗證計劃來最佳化驗證可追溯性。提供從要求到驗證結果和設計實施的可追溯性。

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