6.3 时序电路的等价性验证
6.3.2 等价性验证方法