基于自动机最简化的时序电路等价性验证方法

摘要

为了提高时序电路等价性验证速度,提出了一种并行的验证方法。时序电路就是一种有限状态机,本文借鉴有限状态机的并行最简化方法来设计一种并行的时序电路等价性验证方法,并以实例证明了该方法的有效性和可行性。