6.6.2 触发器与移位寄存器的行为级建模