对比
软件简介
Questa CoverCheck是一款代码覆盖率检查工具，既可以作为独立的形式化验证工具工作，也可以与动态仿真工具在Questa SIM高级验证平台中集成使用。能够显著提升实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后，通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题，帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被测到。
发表一下对此产品的看法吧~
我要评价
心中疑惑就问问用过此产品的同学吧~
我要提问
软件推荐
Multisim Electronics Workbench是行业标准SPICE仿真和电路设计软件，适用于模拟、数字和电力电子领域的教学和研究。Multisim软件集成了行业标准SPICE仿真以及交互式电路图环境，可即时可视化电子电路行为并
阅读 6.1w
OrCAD PSpice Designer是一款高性能的、经过工业级设计验证的数模混合电路仿真和波形查看仿真工具。OrCAD PSpice软件仿真技术能够模拟设计从简单的电路，复杂的电路，功率电源系统到射频系统和定制的IC设计。OrCAD
阅读 5.1w
ModelSim是Model Technology的HDL硬件描述语言的仿真软件，该软件可以用来实现对设计的VHDL、Verilog HDL 或是两种语言混合的程序进行仿真，同时也支持IEEE常见的各种硬件描述语言标准.无论是从使用界面和调
阅读 4.1w
Ansys PowerArtist 是面向功耗设计的综合性平台。在早期的寄存器传输级 (RTL) 功耗分析及优化过程中，所有的低功耗半导体设计公司都选择使用该平台。PowerArtist 既方便您执行物理感知 RTL 功耗预算、交互调试、分
阅读 3.2w
Olympus SoC是GDSII物理设计实现平台的综合网络列表，奥林巴斯SoC的专利多角多模式（MCMM）架构优化了整个流程中所有模式、角点和功率状态的功率和时序。这项关键创新提供了出色的计时和信号完整性结果，避免了不可预测的签准生态循环
阅读 3.2w
Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案，使用可为用户提供独立的等效性检查解决方案，支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外，Conformal解决方案提供丰富的功能，随着设计
阅读 3.2w
苏公网安备 32059002002276号
