1.一般時序邏輯可用三組邏輯方程來描述:
輸出方程(1) zi= fi(x1,x2...xn;q1n,q2n...qkn) i=1,2,...m
激勵方程(2) yi= gi(x1,x2...xn;q1n,q2n...qkn) i=1,2,...k
次態(tài)方程(3) qin+1= hi(x1,x2...xn;q1n,q2n...qkn) i=1,2,...k
2.狀態(tài)表
將輸出方程(1)與次態(tài)方程(3)結(jié)合在一起,用表格形式來表示時序邏輯電路的次態(tài)/輸出與現(xiàn)態(tài)/輸入的對應(yīng)關(guān)系,稱為狀態(tài)表。它是描述時序邏輯電路的重要工具之一。
3.狀態(tài)圖
狀態(tài)圖是根據(jù)狀態(tài)表畫出的,它比狀態(tài)表更為清晰、直觀地描述了同步時序邏輯電路的狀態(tài)變化,因而成為最常用的分析工具。