6.5 同步时序电路的有限状态机模型
本节介绍同步时序电路有限自动机模型S2-FSM及其建模算法。
6.5.1 同步时序电路有限自动机模型
1. 模型定义
2. 建模算法