Questa®属性检查

Questa属性检查图标

在模拟测试环境可用之前进行详尽的验证

在集成之前,只要设计完成,就可以使用形式验证来调试块,并在模拟测试环境可用之前发现潜在的错误。与Questa高级模拟器共享公共语言前端,并利用与统一覆盖数据库(UCDB)的集成,questa正式验证是加速错误检测的完美工具,证明RTL与指定功能匹配,证明错误修复不会破坏任何东西,更快地实现覆盖关闭。

您的验证完成的程度如何??

即使是写得最好的约束随机测试台也不能遍历设计状态空间的每个部分。事实上,即使是小的被测设备,基于模拟的验证也基本上是不完整的。创建模拟测试台可能需要几个星期,为复杂的错误写入IP提供了一个机会窗口。因此,无论给定的错误是由于过时的或误解的规范造成的,或者是一个基本的设计缺陷,它被探测到的时间越长,发现的成本越高,修复,彻底验证修复,既修复了错误,又不会产生不必要的副作用。

Questa属性检查
只有几个属性可以定义预期的行为和输入信号约束,Questa属性检查(PropCheck)可以彻底验证您的RTL——无需测试台!熟悉的波形界面显示故障或成功的信号模式,覆盖进度以Accelera标准统一覆盖数据库(UCDB)格式报告。

解决方案:questa propcheck

questa属性检查(propcheck)支持基于断言的一般形式验证,以确保设计满足其特定的功能需求。支持PSL,广域网,和OVL,包括多钟断言,PropCheck很容易用许多断言来验证甚至非常大的设计;分析设计与断言所描述的用于标识从初始状态可到达的所有设计状态的所需行为。

这种分析允许PropCheck以广度优先的方式探索整个状态空间,与模拟中使用的深度优先方法不同。因此,PropCheck能够彻底发现可能发生的任何设计错误,不需要特定的刺激来检测缺陷。这可以确保验证的设计在所有合法输入场景中都是无缺陷的。同时,这种方法本质上识别了无法到达的覆盖点,这有助于加快覆盖率的关闭。

在引擎盖下,Propcheck是世界一流的,高容量,高通量发动机通过实时合作有效地利用各自的优势;从而更快地完成验证。与Questa高级模拟器共享公共语言前端,并利用与统一覆盖数据库(UCDB)的集成,questa propcheck是加速错误检测的完美工具,纠错和覆盖范围关闭。

特征

  • 通过基于断言的正式验证提供无测试台的详尽验证
  • 倍数,合作的正式引擎提供最高的容量和性能
  • 与Questa高级模拟器集成,可以轻松调试断言失败
  • 与UCBD的集成/结果报告允许用户通过正式分析以电子方式向主验证数据库(通过验证经理
  • 支持SVA,PSL和OVL属性;Verilog或VHDL DUT

效益

  • 早期调试:在模拟测试准备就绪之前验证块
  • 彻底验证:对所有可能的场景进行详尽的分析
  • 覆盖范围关闭:跟踪和报告工具内正式分析的成功,以及将这些数据导出到中央验证跟踪工具
  • 硅后调试:复制观察到的故障以验证更正
闲聊γ 接触