6.3 时序电路的等价性验证
6.3.1 时序电路的等价性定义