形式化验证和功能验证VC Formal-synopsys芯片验证基础篇（六）

总共包括synopsys若干讲芯片相关知识。作为自己的记录专题，感兴趣点击链接看完整视频。

芯片验证方法学近十年的发展极大的帮助到了验证工作效率和质量的提升，但是基于传统激励机制的验证始终存在一些不容易克服的困难。近几年越来越多的工程师把眼光投向了形式化验证，对比探讨两种方法学的异同。

本节课程

形式化验证和功能验证VC Formal

链接地址：https://mp.weixin.qq.com/s?__biz=MzI3NDYyODc4MQ==&mid=2247488518&idx=1&sn=b3eb19e2fa92ab3ec53de18543be28af&chksm=eb107dc4dc67f4d25d4ef355e667270708292355c5bd7256cc51cfe97a89ee03dddd59a9dbca&token=804756724&lang=zh_CN&scene=21#wechat_redirect

1.1 传统验证方法学与形式化验证对比

Simulation base verification VS Formal verification

验证完备性的证明 VS 数学上的证明

1.1.1 传统验证方法学

• 激励是否充足？
• function converage 是否可以避免 human mistakes?

1.1.2 Formal Verification

通过数学化确保激励input信号的完备性，添加约束减少不必要激励。

Fomal base coverage analyse: COI 工具自带验证

1.1.3 对比适用范围