同步时序逻辑分析

同步时序逻辑分析也是研究设计好的程序，也是在“纸面”上“运行”程序。具体方法是按脉冲输入的实际顺序，逐一分析所有器件的状态，确定其是0、OFF、不工作，还是1、ON、工作，进而弄清程序能否实现预定的功能。

图2-15 部分状态图

图2-16所示是“格雷码”计数器。其主令信号PA为脉冲信号（图中未列出它的产生）。G0、G1、G2为输出，而mG0、mG1、mG2用以记录G0、G1、G2。以下为用状态图对其分析：

图2-16 脉冲计数梯形图程序

起始时，G2、G1、G0全为0，其状态用000表示。mG2、mG1、mG0也全为0。这时，如计数脉冲PAON，在执行计数段指令时，mG2、mG1、mG0状态不会变，仍然全为0，从分析G0、G1、G2起动逻辑知，G0起动条件为1，将工作，ON。而G2、G1起动条件均为0，不可能工作，仍都为0。(www.xing528.com)

接着，执行中间记录处的几条指令。执行后mG0、mG1、mG2对G2、G1、G0的变化了的状态做了记录，为以后计数脉冲的作用提供新的逻辑条件。但不会对本扫描周期计数段指令的执行起作用。因为，到了下一个扫描周期，计数脉冲已OFF，G1、G2不可能起动。G0则由于计数脉冲的非为1，保持条件为1，肯定将继续ON。可知，000状态，接受一个计数脉冲后，将变为001。

在001时，若计数脉冲PA再ON，在执行计数段指令时，mG2、mG1、mG0状态不变，为001，从分析知，G0保持条件为1，将保持工作，仍为ON。而G1起动条件为1，将起动、工作，变为ON。而G2起动条件为0，不能工作，仍为0。之后，执行中间记录处的几条指令。执行后，mG2、mG1、mG0将记录为011。又为下一次计数做准备。可知，001状态，接受一个计数脉冲PA后，将变为011。

在011时，若计数脉冲PA再ON，在执行计数段指令时，mG2、mG1、mG0状态不变，为011，从分析知，G0保持条件为0，起动条件也为0，G0将停止工作，转为OFF。而G1保持条件为1，将保持工作，仍为ON。而G2起动条件为0，不能工作，仍为0。之后，执行中间记录处的几条指令。执行后，mG2、mG1、mG0将记录为010。又为下一次计数做准备。可知，011状态，接受一个计数脉冲后，将变为010。

在010时，若计数脉冲PA再ON，还可做类似的分析，可知它将为110。再接着为111。再接着为101。再接着为100。再接着为000。

把上述分析，按状态图的约定，即可得出它的状态图，如图2-17所示。

从状态图分析可知，这里状态的变化正是按“格兰码”计数器的计数规律变化的。