IP驗證的端到端形式化驗證策略

  摘要：IP驗證傳統上包括某種形式的受約束的隨機驗證方法，例如UVM，也可能包括對設計的一部分進行形式化驗證。但是，在運行第一個隨機測試之前，通常都有一個將所有驗證基礎架構彙總的提前期，並且覆蓋率閉合也很耗時。對設計的一部分進行形式化驗證有助於減少UVM測試平臺的覆蓋空間，但仍需要完整的UVM測試平臺基礎結構，並且還需要用於形式化驗證的其他資源。在本文中，我們將端到端（E2E）形式化方法作爲僅使

>>阅读原文<<