OneSpin Solutions的PortableCoverage，這是第一個與所有主要模擬器、覆蓋數據庫和查看器以及芯片設計驗證規劃工具集成的形式驗證解決方案，使用戶能夠選擇他們選擇的供應商或多個供應商。

“仿真和形式驗證對于我們的芯片設計驗證策略至關??重要，”博世傳感器技術公司的驗證專家 Thomas Klotz 說。“我們需要持續評估整體驗證進度，以確定下一步并根據我們的時間表衡量進度。OneSpin 的 PortableCoverage 在開放式驗證流程中為我們提供了這種能力，因此我們可以使用來自多個供應商的一流工具。”

介紹便攜式覆蓋

“形式驗證現在是主流流程的一部分，并被許多驗證工程師使用，因此它必須與基于仿真的工具集成，”OneSpin Solutions 總裁兼首席執行官 （CEO） Raik Brinkmann 博士評論道。“工程師需要強大、靈活的流程來快速滿足新要求。OneSpin 的 PortableCoverage 提供了將形式無縫集成到高效、面向未來的驗證流程中的自由。”

PortableCoverage 支持形式和模擬的集成，以實現精確、定量的驗證評估和驗證進度的全面視圖。這最大限度地減少了正式工作和模擬工作之間的重疊，從而減少了整體驗證工作。PortableCoverage 在覆蓋率數據庫中集成了正式和模擬覆蓋率指標，以統一查看覆蓋率狀態。

兩個新的正式應用程序，驗證覆蓋率集成 （VCI） 應用程序和覆蓋率關閉加速器 （CCA） 應用程序，使這成為可能。一旦 VCI 應用程序將 OneSpin 的 Quantify 覆蓋率指標添加到用戶的覆蓋率數據庫中，覆蓋率查看器就會顯示集成的形式和模擬指標，從而提供覆蓋率狀態的統一視圖。

CCA 應用程序可識別無法到達的覆蓋點并將其提供給模擬器，從而加速覆蓋范圍的關閉，同時消除試圖命中無法到達的覆蓋點的浪費精力。

PortableCoverage 還包括 OneSpin 的驗證計劃集成 （VPI） 應用程序，該應用程序將 OneSpin 工具的正式結果注釋到驗證計劃中。集成的形式和模擬結果提供了驗證計劃的全面視圖。它還通過提供跟蹤驗證結果與設計規范的鏈接來確保工程師滿足嚴格的安全標準。

Quantify App 使用正式的基于模型的變異覆蓋來準確評估斷言質量和完整性。覆蓋數據可以與傳統的結構覆蓋度量集成。

OneSpin 的所有應用程序都利用了 OneSpin 360 DV-Inspect 和 OneSpin 360 DV-Verify 產品提供的形式驗證技術。

審核編輯：郭婷