|
· 速度快、容量大 · 支持多个语言标准： |
System Verilog、SystemC、VHDL、Verilog、PSL、UPF 和 C/C++
|
· 高级的受限随机产生器可以快速、高质量地自动产生激励。
· 基于断言的验证 (ABV) 提高了调试质量并缩短了调试时间
· Questa 验证库（QVL）简化了 ABV 应用
· 业界最佳的集成调试环境支持多重抽象层次的调试和分析
完全断言和代码覆盖率的支持，保证基于尺度驱动验证过程的功能验证的完备。 |
/3 
文章评论（0条评论）
登录后参与讨论