EDA365电子论坛网

标题: 什么是FPV？怎样去搭建FPV验证环境呢？ [打印本页]

作者: MrL1 时间: 2022-6-30 11:17
标题: 什么是FPV？怎样去搭建FPV验证环境呢？
什么是FPV？怎样去搭建FPV验证环境呢？

作者: rergr 时间: 2022-6-30 13:10
FPV是一种用来证明使用SVA或类似的语言描述的RTL属性的方法

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

欢迎光临 EDA365电子论坛网 (https://bbs.eda365.com/)