产品概述
芯片设计中最贵的错误是流片后才发现的功能错误。功能验证要回答的问题很朴素：这个设计在所有可能的情况下都做对了吗？仿真能覆盖的场景有限，形式验证能从数学上证明某些性质成立，覆盖率分析则告诉你还有哪里没测到。
Questa 把这几件事整合在一个平台里，支持 SystemVerilog、UVM 等主流验证方法学。对采用 UVM 的团队，它的调试与覆盖率收敛能力是日常效率的关键。
产品定位
数字电路功能验证平台
验证方法
仿真 / 形式验证 / 覆盖率
语言标准
SystemVerilog、UVM、SystemC
部署方式
本地 / 云端
典型应用
芯片功能验证、IP 验证
核心能力
核心能力
高性能仿真
支持 SystemVerilog 与 UVM 的高性能仿真引擎。
形式验证
数学证明关键性质，覆盖仿真难以到达的场景。
覆盖率分析
代码、功能与断言覆盖率统计与收敛分析。
调试环境
波形、事务级调试与断言诊断工具。
验证管理
回归测试管理与结果追踪。
与第三方集成
支持与主流仿真及验证 IP 的集成。
为你带来的价值
为你带来的价值
- 覆盖率量化，流片前清楚知道验证是否充分
- 形式验证覆盖仿真盲区，关键性质可证明
- 调试与回归管理完善，验证效率更高
- 支持 UVM 标准，团队方法论可延续
- 与验证 IP 生态兼容，复用现有资产
主要模块与组成
主要模块与组成
Questa 仿真器SystemVerilog/UVM 仿真。
Questa 形式验证性质检查与等价性验证。
Questa 覆盖率覆盖率收集与收敛分析。
Questa 验证管理回归管理与结果追踪。
Questa 调试工具波形与事务级调试。
典型应用