Veloce Coverage and Assertion App

Veloce Coverage and Assertion 應用程式啟用程式碼覆蓋範圍，可分析程式碼執行，以及功能覆蓋範圍，並追蹤使用者定義的規格執行。通過在這些指標中達到高水平，可以確保完整的測試水平。

對於沒有內置監視器或檢查器的測試台，可以與「覆蓋範圍和聲明」應用程序一起使用聲明，跟踪它們啟動次數。此外，以宣告為基礎的觸發器也可以用來啟用觸發時的行為，例如波形產生或測試執行。

「保障和聲明」應用程序不僅提供激活和停用覆蓋範圍的功能，還可以合併覆蓋範圍。這提供了將先前收集的任何內容合併在一起，以獲得更全面的驗證視圖。從 Questa 和 Veloce 收集的覆蓋範圍也可以合併在一起。

涵蓋範圍和聲明應用程序可以與其他西門子 EDA 工具結合，以確保對特定設計方面進行完整測試。例如，該應用程序可以與 Veloce Power 應用程序結合，以創建針對系統和子系統電源測試的目標工作負載。