形式验证 Formal
形式验证，是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。
形式验证主要是用来在覆盖所有可能的输入情况下检查是否与给定的规范一致。
形式验证方法分为等价性验证、模型检验和定理证明等。SoC验证的形式化方法主要是等价性检查和模型检查。
形式验证，是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。
形式验证主要是用来在覆盖所有可能的输入情况下检查是否与给定的规范一致。
形式验证方法分为等价性验证、模型检验和定理证明等。SoC验证的形式化方法主要是等价性检查和模型检查。