什么是FPV？怎样去搭建FPV验证环境呢？

MrL1 · 发表于 2022-6-30 11:17

您需要登录才可以下载或查看，没有帐号？注册

x

rergr · 发表于 2022-6-30 13:10

FPV是一种用来证明使用SVA或类似的语言描述的RTL属性的方法

mqerew · 发表于 2022-6-30 16:05

FPV工具基于用户指定的输入约束，在数学上分析证明所有可能的逻辑空间都满足目标属性。不像EDA仿真，FPV不仅仅检查某些随机场景，而是检查所有合法的空间。

帐号		自动登录	找回密码
密码			注册

推荐内容 /1