形式等效性检查-一流百科

形式等效性检查

形式等效性检查形状等效性检查过程是电子设计自动化 (EDA) 的一部分，通常用于数字集成电路的开发，以正式证明电路设计的两种表示形式表现出完全相同的行为。...