「 芯天成 」覆盖不可达性检查 EsseUNR

产品服务
赋能芯片设计,塑造芯片未来

「 芯天成 」覆盖不可达性检查 EsseUNR

芯天成覆盖不可达性检查工具EsseUNR是一款高效的覆盖不可达性检查工具。使用传统的验证方式,在验证后期,通过编写测试用例提升验证覆盖率的难度陡然上升。由此,使用EsseUNR工具,可更高效地对未覆盖的代码进行全面的不可达性检查。


EsseUNR具有效率更高、更准确、更易上手的优点。EsseUNR可以与芯神驰PegaSim软件仿真相连。着重于对覆盖率库文件中那些不可达部分的深入验证,显著增强软件仿真过程中的代码覆盖率。这种形式属性验证的应用可以通过增加激励或优化代码来提高代码覆盖率,并进行覆盖不可达性的检查。它还支持对指定模块或特定代码行进行一种或多种类型的覆盖不可达性检查。这种方法有效地识别和删除无意义或冗余的代码,从而优化了内在逻辑,提高了整体设计的质量和效率。


产品优势

  • 兼容性高、快速、高效

  • 直观易操作的用户界面

  • 适配主流仿真软件的覆盖数据

  • 支持生成Testbench和波形显示

  • 支持RTL级的形式验证中不可达性检查;



UNR.png



获取方案

您在设计什么类型的芯片?
设计中含的ASIC门容量为?
500万 - 2千万
2千万 - 5千万
5千万 - 1亿
1亿 - 10亿
大于10亿
您倾向于使用哪款FPGA?
赛灵思 VU440
赛灵思 KU115
赛灵思 VU19P
赛灵思 VU13P
赛灵思 VU9P
英特尔 S10-10M
英特尔 S10-2800
不太确定,需要专业建议
您需要什么样的FPGA配置?
单颗FPGA
双颗FPGA
四颗FPGA
八颗FPGA
不太确定,需要专业建议
您需要什么样的外设接口?
您需要多少数量的原型验证平台?
您是否需要以下原型验证配套工具? (可多选)
分割工具
多FPGA调试工具
协同建模工具(允许大量数据在 FPGA 与 PC 主机之间进行交互)
您什么时间内需要使用到我们产品?
0-6个月
6-12个月
大于12个月
不太确定
您是否需要其他工具资讯?(可多选)
架构设计
软件仿真
硬件仿真
数字调试
形式验证
想要更多了解,您是否需要产品选型指南?
其他
提交
输入您的电话,我们即刻给您回电
输入您的电话
验证码
您也可直接拨打电话:400 8888 427 或添加企业微信
电话咨询
微信咨询
企业微信咨询
TOP
企业微信咨询