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