Formal Verificaiton Overview

前言

记录学习SVA和Formal Verification的一些知识点.

推荐书籍：

• ​ Formal Verification An Essential Toolkit for Modern VLSI Design
• ​ SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications