- 博客(2)
- 收藏
- 关注
原创 Formal Verification FPV
FPV(Formal Property Verification)是通过断言来check。这里的checker 主要是由assume,assert,cover组成。assume 用来对DUT的输入进行约束,assert 用来对DUT与reference的输出进行check。cover 用来描述自己特别关心的一些场景。FPV 用各种强大的VC引擎证明每个property。如果证明property失败,VC会提供一个反例的波形来让用户分析。
2023-12-14 16:20:00 1448 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人