芯天成覆盖不可达性检查工具EsseUNR是一款高效的覆盖不可达性检查工具。使用传统的验证方式，在验证后期，通过编写测试用例提升验证覆盖率的难度陡然上升。由此，使用EsseUNR工具，可更高效地对未覆盖的代码进行全面的不可达性检查。
EsseUNR具有效率更高、更准确、更易上手的优点。EsseUNR可以与芯神驰PegaSim软件仿真相连。着重于对覆盖率库文件中那些不可达部分的深入验证，显著增强软件仿真过程中的代码覆盖率。这种形式属性验证的应用可以通过增加激励或优化代码来提高代码覆盖率，并进行覆盖不可达性的检查。它还支持对指定模块或特定代码行进行一种或多种类型的覆盖不可达性检查。这种方法有效地识别和删除无意义或冗余的代码，从而优化了内在逻辑，提高了整体设计的质量和效率。
产品优势
兼容性高、快速、高效
直观易操作的用户界面
适配主流仿真软件的覆盖数据
支持生成Testbench和波形显示
支持RTL级的形式验证中不可达性检查；
-889.png)
