1.
邏輯方程組
特性方程：描述觸發(fā)器邏輯功能的邏輯表達(dá)式。
驅(qū)動方程：（激勵方程）觸發(fā)器輸入信號的邏輯表達(dá)式。
時鐘方程：控制時鐘clk的邏輯表達(dá)式。
狀態(tài)方程：（次態(tài)方程）次態(tài)輸出的邏輯表達(dá)式。
輸出方程：輸出變量的邏輯表達(dá)式。
2.
狀態(tài)表
反映輸出z、次態(tài)q*與輸入x、現(xiàn)態(tài)q之間關(guān)系的表格。
3.
狀態(tài)圖
反映時序電路狀態(tài)轉(zhuǎn)換規(guī)律及相應(yīng)輸入、輸出取值關(guān)系的圖形。
4.
時序圖
又叫工作波形圖，它用波形的形式形象地表達(dá)了輸入信號、輸出信號、電路的狀態(tài)等的取值在時間上的對應(yīng)關(guān)系。