时序逻辑电路的功能描述方法

　　1. 逻辑方程组

　　特性方程：描述触发器逻辑功能的逻辑表达式。

　　驱动方程：（激励方程）触发器输入信号的逻辑表达式。

　　时钟方程：控制时钟CLK的逻辑表达式。

　　状态方程：（次态方程）次态输出的逻辑表达式。

　　输出方程：输出变量的逻辑表达式。

　　2. 状态表

　　反映输出Z、次态Q*与输入X、现态Q之间关系的表格。

　　3. 状态图

　　反映时序电路状态转换规律及相应输入、输出取值关系的图形。

　　4. 时序图

　　又叫工作波形图，它用波形的形式形象地表达了输入信号、输出信号、电路的状态等的取值在时间上的对应关系。