QCLK 状态机具有两个功能：(1) 保留一份 QEP-A 和 QEP-B 之前电平的副本，(2) 检测有效的 QEP 状态改变，使位置计数器递增或递减。

若要创建一份 QEP-A 和 QEP-B 之前信号的副本，使用以下状态公式：

• s0 next = QEP-A (n) = e0
• s1 next = QEP-B (n) = e1

若要确定 QEP 状态改变是否有效，需要将之前的 QEP-A/B 值与当前值进行比较。检测到有效的 QEP 状态转换时，FSM 会将 QCLK 拉高。此信号可启用位置计数器，根据 DIRECTION 信号使其递增或递减。

表 5-4 中介绍了四种可能的情况：

1. 无效的状态改变，QCLK = 0，位置计数器不变
2. 无运动，QCLK = 0，位置计数器不变
3. 正向运动，QCLK = 1，位置计数器递增或递减
4. 反向运动，QCLK = 1，位置计数器递增或递减

生成的公式由 OR 运算符连接，输入到 CLB 工具中以获得 FSM 的输出。