形式上-一流百科

形式上的等效检查

形式上的等效检查形式上的等效检查过程是电子设计自动化（EDA）的一部分，通常在数字集成电路的开发过程中使用，以正式证明电路设计的两个代表表现出完全相同...