formality軟件使用教程

（參考：https://mp.weixin.qq.com/s/XznSbJBlAdZvtAIpyzajAA） 一、formality簡介 在現在的數字集成電路設計流程中，有很多步驟都需要進行驗證。隨着數字集成電路的規模、複雜度，以及在驗證過程中需要的仿真矢量的不斷增加，用傳統的仿真器進行驗證越來越成爲整個設計過程中的瓶頸之所在。 所謂形式驗證，就是通過比較兩個設計在邏輯功能上是否等同的方法來驗證電

>>阅读原文<<