形式验证

IC验证方法基础

数字IC的设计流程如下图所示其中讲到形式验证的时候就懵了当时老师说其实我也记不太清了就从网上找了一下形式验证 Formal Verification 是一种IC设计的验证方法它的主要思想是通过使用数学证明的方式来验证一个设计的

SoC 验证 形式验证 IC