1. 布尔代数方程组（或称逻辑方程式组）

其特性方程乃为详细阐述触发器逻辑运作方式之数学式子；

而驱动方程（亦可称为激励方程）则是触发器输入信号的精确逻辑表示法；

至于时钟方程，则是用于控制时钟CLK的严谨逻辑表述；

最后，状态方程（或称次态方程）则是次态输出的精准逻辑表示法；

此外，输出方程则是输出变量的精确逻辑表示法。

2. 状态表

此表详尽展示了输出Z、次态Q*以及输入X、现态Q之间错综复杂的关系。

3. 状态图

这是一种以图形化的方式，直观地展现出时序电路状态转换规律及其相应输入、输出取值关系的工具。

4. 时序图

也被称为工作波形图，它通过波形的形式，生动地描绘了输入信号、输出信号、电路状态等的取值与时间之间的紧密联系。