形式化验证

在芯片 EDA 验证环节，传统仿真验证和形式化验证是两大核心手段，不少工程师容易混淆二者的差异，甚至简单将其归为两类普通的验证工具。