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

1. 逻辑方程组
特性方程：描述触发器逻辑功能的逻辑表达式。
驱动方程：（激励方程）触发器输入信号的逻辑表达式。
时钟方程：控制时钟clk的逻辑表达式。
状态方程：（次态方程）次态输出的逻辑表达式。
输出方程：输出变量的逻辑表达式。
2. 状态表
反映输出z、次态q*与输入x、现态q之间关系的表格。
3. 状态图
反映时序电路状态转换规律及相应输入、输出取值关系的图形。
4. 时序图
又叫工作波形图，它用波形的形式形象地表达了输入信号、输出信号、电路的状态等的取值在时间上的对应关系。