无刺激验证

Questa Inspect是一款全自动的正式问题搜索应用程序，它可以发现由于常见的RTL编码错误而导致的深层隐藏的问题，它可以在没有测试平台的情况下消除各种问题。

Questa Check Connect应用程序是一种全自动解决方案，无需了解正式或属性规范语言即可详尽地验证静态和动态连接。

Questa Increase Coverage是一种自动的正式解决方案，可以更快地实现代码覆盖率的关闭，它解决了无可争辩的验证事实：一小部分未发现的代码始终保持不变。

Questa Formal VIP AMBA和OnChip库通过将协议和方法专业知识整合到支持流行行业标准接口的可重复使用断言包中，从而提高质量并缩短进度。

Questa Verify Property可以详尽地发现任何可能发生的设计错误，无需特定的刺激即可发现问题。这确保了经过验证的设计在所有法律输入场景中都没有问题。

Questa Check Register应用程序根据CSV或IP-XACT寄存器规范自动对控制和状态寄存器行为进行详尽的验证。

Questa Verify Secure 应用程序是一种全自动解决方案，用于详尽地验证只有您指定的路径才能到达安全或安全关键存储元素。

Questa Equancival RTL 使用详尽的形式分析自动比较规范 RTL 和实现 RTL 代码块。无需了解正式或属性规范语言。

Questa Check X是一款自动应用程序，无需测试平台即可在RTL级别上详尽地解决'X'问题。

西门子Questa Equesta Equesta FPGA解决方案可确保FPGA实现流程，例如综合和布局布线优化，不会引入功能错误。

Questa GapFree通过证明所有输入的所有功能来优化数字设计的质量，从而实现前所未有的低问题逃脱率。

通过Questa HL-SYC扩展进行高级设计验证，可以在流程的早期开始验证，从而帮助在合成之前消除问题。

Questa Verify Trust采用自动分析来检测和报告与安全有关的漏洞问题。

确保 RISC-V 设计符合 ISA 和功能先决条件，通过无需创建测试平台来加快验证速度。

Questa FPU应用显著地最大限度地减少了验证工作量，确保浮点实现与预期结果的精确一致。

Questa Analyze Fault应用程序是基于Questa形式技术的解决方案，该技术通过注入故障来分析故障，并正式检查其结果以确保硬件安全性。

Analyze Architecture 是一种开创性的解决方案，它使用户能够验证大型硬件系统是否符合指定的架构。

Questa Post Silicon Debug应用程序利用形式分析和属性综合来快速解决SoC深层逻辑中的问题，并证明修复不会破坏其他任何东西。