formality软件使用教程

（参考：https://mp.weixin.qq.com/s/XznSbJBlAdZvtAIpyzajAA） 一、formality简介 在现在的数字集成电路设计流程中，有很多步骤都需要进行验证。随着数字集成电路的规模、复杂度，以及在验证过程中需要的仿真矢量的不断增加，用传统的仿真器进行验证越来越成为整个设计过程中的瓶颈之所在。 所谓形式验证，就是通过比较两个设计在逻辑功能上是否等同的方法来验证电

>>阅读原文<<