- 1
- 2
- 3
- 4
- 5
形式验证Formality与等价性检查技术.docx
资料介绍
形式验证Formality与等价性检查技术
一、引言
形式验证通过数学方法证明设计的正确性，不需要测试用例，可以覆盖所有可能的输入组合。Synopsys Formality是业界最主流的逻辑等价性检查工具，广泛应用于验证综合前后的功能等价性、设计修改前后的功能一致性。
二、形式验证的基本原理
2.1 等价性检查
等价性检查验证两个设计的功能是否一致，使用布尔比较和BDD技术。
2.2 模型检查
模型检查验证设计是否满足特定的属性要求，通过状态空间搜索验证属性。
三、Formality的应用
3.1 RTL与门级网表验证
Formality验证综合后的门级网表与RTL代码的功能等价性，确保综合过程没有引入错误。
3.2 设计修改验证
Formality验证设计修改前后的功能等价性，确保修改没有引入错误。
四、形式验证的挑战
容量：大规模芯片的形式验证需要较大的计算资源。
黑盒：设计中包含黑盒时，形式验证无法验证内部逻辑。
五、形式验证与仿真验证的对比
仿真验证速度快，但覆盖不完整。形式验证覆盖完整，但计算量大。两者在芯片设计验证中互补使用。
部分文件列表
| 文件名 | 大小 |
| 形式验证Formality与等价性检查技术.docx | 37K |
最新上传
- 打赏
- 30日榜单
-
13573902396 打赏1.00元 17小时前
-
21下载积分 打赏310.00元 3天前
用户：江岚
-
21下载积分 打赏310.00元 3天前
用户：潇潇江南
-
21下载积分 打赏60.00元 3天前
用户：他山之石可攻玉
-
21下载积分 打赏310.00元 3天前
用户：小猫做电路
-
21下载积分 打赏210.00元 3天前
用户：zhengdai
-
21下载积分 打赏210.00元 3天前
用户：w993263495
-
21下载积分 打赏10.00元 3天前
用户：烟雨
-
21下载积分 打赏60.00元 3天前
用户：gsy幸运
-
21下载积分 打赏70.00元 3天前
用户：铁蛋锅
-
21下载积分 打赏65.00元 3天前
用户：xzxbybd
-
21下载积分 打赏60.00元 3天前
用户：jh0355
-
21下载积分 打赏60.00元 3天前
用户：w178191520
-
21下载积分 打赏20.00元 3天前
用户：jh03551
-
21下载积分 打赏20.00元 3天前
用户：sun2152
-
21下载积分 打赏20.00元 3天前
用户：kk1957135547
-
21下载积分 打赏25.00元 3天前
用户：w1966891335
-
21下载积分 打赏20.00元 3天前
用户：xuzhen1
-
21下载积分 打赏15.00元 3天前
用户：x15580286248
-
21下载积分 打赏25.00元 3天前
用户：pcb
-
21下载积分 打赏20.00元 3天前
用户：bhacker
-
21下载积分 打赏15.00元 3天前
用户：liqiang9090
-
21下载积分 打赏25.00元 3天前
用户：有理想666
-
21下载积分 打赏15.00元 3天前
用户：godbox
-
21下载积分 打赏15.00元 3天前
用户：aetek
-
21下载积分 打赏5.00元 3天前
用户：mulanhk
-
21下载积分 打赏5.00元 3天前
用户：JuneLin61
-
21下载积分 打赏5.00元 3天前
用户：ccc6188
-
21下载积分 打赏5.00元 3天前
用户：木集盒
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏3.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏3.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏8.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
全部评论(0)