形式验证:并非仅适用于控制通路

winniewei 提交于 周二, 03/17/2020
形式验证:并非仅适用于控制通路

无论是完整的形式验证环境,还是作为现有验证平台的补充,用来验证关键功能或难以覆盖的功能,启用数据通路验证的秘诀都是管理状态空间并约束动态大小的事务。一个基于 RTL 并负责捕获和简化事务的形式验证平台将会抓取并解构事务的静态片段。然后可在静态和动态数据包组件之间形成可综合的关系,并通过围绕定义 RTL 的数据包构建的一系列假设来减小状态空间。

相关附件

美狮彩票相关的文章

Digi-Key