Questa®正式断言库

Questa正式断言库图标

针对高性能形式分析优化的基于断言的验证IP

Questa正式断言库提供SystemVerilog断言(SVA)包和示例,用行业标准协议验证设计;使用questa属性检查(propcheck)应用程序。

IP警告清空器

今天的设计很大程度上依赖于越来越多的复杂的行业标准接口,这些接口必须经过验证,以确保IP互操作性和所需的系统行为。给定接口是否未经修改而使用,或者正在定制以帮助区分最终产品,即使是最成熟的IP集成也会产生意想不到的问题。另外,即使是经验丰富的开发人员也可能误读IP规范,或者不正确地配置一些协议参数,这些参数可能导致混淆结果和浪费时间。

Questa正式断言库
Questa正式断言库包括SVA包和流行的行业标准协议示例,这些协议针对基于正式的Questa属性检查(PropCheck)应用程序进行了优化。

解决方案:Questa正式断言库

Questa正式断言库通过将Mentor的协议和方法论专业知识构建到支持流行的行业标准接口的可重用断言包中来提高质量并缩短计划时间。因为通过questa propcheck进行的正式验证只能从rtl和断言开始,这样就不用花时间开发BFM,从而释放了工程资源,验证组件,或验证IP(VIP)本身,使他们能够专注于设计的独特和高价值方面。

当客户修改IP时,基于断言的IP的正式证明是部分重要的,因为这使他们能够详尽地证明标准协议实现的任何自定义或扩展不会违反协议的核心和/或创建意外的角落案例。

结合Questa验证解决方案,完整的VIP组件减少了启动时间,实现了快速覆盖关闭。全面的协议断言允许questa正式用户彻底证明设计的正确性,同时,对Veloce仿真系统的支持使用户能够轻松地过渡到高性能仿真加速,以获得数量级的吞吐量增长。

特征

  • Questa正式AMBA图书馆系列中的协议支持包括:AMBA2(APB2),AMBA3(APB3)AHB3AXI3,AHB3LITE)AMBA4(APB4)AXI4,Ax4LITE)
  • 断言是用标准的IEEE SVA编写的,专门针对Questa正式应用程序的高性能进行优化-属性检查(PROCHECK)和自动检查
  • 结果可以通过管道传输到Questa验证经理根据现有的正式覆盖驱动流

效益

  • 通过缩短启动时间缩短上市时间,实现标准接口实现的快速覆盖关闭
  • 正式证明协议定制是对原始协议的补充
闲聊γ 接触