覆蓋不可達性檢查工具EsseUNR是一款高效的覆蓋不可達性檢查工具。使用傳統的驗證方式，在驗證后期，通過編寫測試用例提升驗證覆蓋率的難度陡然上升。由此，使用EsseUNR工具，可更高效地對未覆蓋的代碼進行全面的不可達性檢查。
EsseUNR具有效率更高、更準確、更易上手的優點。EsseUNR可以與芯神馳PegaSim軟件仿真相連。著重于對覆蓋率庫文件中那些不可達部分的深入驗證，顯著增強軟件仿真過程中的代碼覆蓋率。這種形式屬性驗證的應用可以通過增加激勵或優化代碼來提高代碼覆蓋率，并進行覆蓋不可達性的檢查。它還支持對指定模塊或特定代碼行進行一種或多種類型的覆蓋不可達性檢查。這種方法有效地識別和刪除無意義或冗余的代碼，從而優化了內在邏輯，提高了整體設計的質量和效率。
產品優勢
兼容性高、快速、高效
直觀易操作的用戶界面
適配主流仿真軟件的覆蓋數據
支持生成Testbench和波形顯示
支持RTL級的形式驗證中不可達性檢查；
-889.png)
