形式等效性检查 形式等效性检查英語formal equivalence checking是电子设计自动化的一个步骤通常是在集成电路设计中通过一些数学方法如二元决策图布尔可满足性问题来对不同电路之间进行形式验证比较它们在行为上是否等效