Formal 学习记录(2)-FPV介绍
发布网友
发布时间:2024-10-23 05:29
我来回答
共1个回答
热心网友
时间:2024-10-24 09:46
FV APPS由Synopsys提供,包含两大类工具,主要用于芯片设计的不同阶段加速或辅助验证,其中使用频率高且易于部署的是FPV。
FPV是一种属性验证方法,无需搭建验证平台和构造激励,适用于基础功能验证,bug hunting以及确保设计完全符合规格要求的full proof。当遇到大量corner case时,FPV能帮助发现深层次bug,提高验证完备性和置信度。
FPV验证流程包括给出assume/assert property,assume约束激励,assert检查输出,工具据此分析并自动施加激励验证,输出验证结果。验证流程涉及遍历验证状态空间,FPV验证状态空间与分析图示化表示。
在使用场景中,*应用于某些设计在特定场景下经常出现问题的情况,此时在*场景下使用FPV验证,*仅对FPV有效,而对其他验证方式无影响。
FPV在不同设计中的表现能力存在差异,擅长数据传输验证。简单设计接口,约束较少,快速收敛,而复杂接口验证难度大,难以在有限时间内取得预期效果。对于串行接口,FPV建模分析较难,不建议做FPV验证。