6.3 时序电路的等价性验证
6.3.3 定理证明