6.5 同步时序电路的有限状态机模型
6.5.3 子模型的合并
2. 声明封装