ABEL語言邏輯方程、狀態圖設計法

一、ABEL語言邏輯方程設計法

邏輯方程是ABEL源文件描述邏輯設計的一種方法。它既可進行組合邏輯設計，也可進行時序邏輯設計，但有時不如真值表和狀態圖邏輯設計簡單、易懂。但任何一種邏輯描述方式，經EDA軟件編譯后，都會變成邏輯方程的形式。1、邏輯方程設計類型1已知邏輯方程表達式進行邏輯設計例：已知八進制同步計數器的狀態轉移方程如下，用ABEL語言設計之。MODULEcounter8fcCP PIN;Q3,Q2,Q1PIN

ISTYPE'REG';Z PIN

ISTYPE'COM';EQUATIONSQ3.CLK=CP;Q2.CLK=CP;Q1.CLK=CP;Q1:=!Q1;Q2:=(!Q1&!Q2)#(Q1&Q2);Q3:=(!Q1&!Q2&!Q3)#(!(!Q1&!Q2)&Q3);Z=Q1&Q2&Q3;END

2、邏輯方程設計類型2已知邏輯電路進行邏輯設計例：已知帶異步清零的八進制異步計數器的電路圖如下，用ABEL語言設計之。012MODULECOUNTER8DLCP PIN;RESET PIN;Q2,Q1,Q0PINISTYPE'BUFFERREG';EQUATIONSQ2.CLK=Q1.Q;Q1.CLK=Q0.Q;Q0.CLK=CP;Q2.ACLR=!RESET;Q1.ACLR=!RESET;Q0.ACLR=!RESET;Q2.D=!Q2.D;Q1.D=!Q1.Q;Q0.D=!Q0.Q;END3、邏輯方程設計類型3已知邏輯功能文字描述進行邏輯設計例：已知4位二進制比較器的輸入、輸出關系如下，用ABEL語言設計之。條件輸出A_NE_BA_EQ_BA_GT_BA_LT_BA3A2A1A0=B3B2B1B0A3A2A1A0≠B3B2B1B0A3A2A1A0>B3B2B1B0A3A2A1A0<B3B2B1B0011110000X100X01MODULECOMP4FCA3..A0 PIN;B3..B0PIN;A_NE_B,A_EQ_BPINistype’com’;A_GT_B,A_LT_BPINistype’com’;A=[A3..A0];B=[B3..B0];EQUATIONSA_EQ_B=A==B;A_NE_B=!(A==B);A_GT_B=A>B;A_LT_B=A<B;END4、邏輯方程設計類型4已知邏輯真值表或功能表進行邏輯設計例：用ABEL語言設計一個2線－4線譯碼器，已知其真值表如下：I1I0Y3Y2Y1Y0000110111110110110110111MODULEDECODER24FCI1,I0 PIN;Y3,Y2,Y1,Y0PINISTYPE'COM';I=[I1,I0];Y=[Y3,Y2,Y1,Y0];EQUATIONSWHEN(I==^B00)THENY=^B1110;WHEN(I==^B01)THENY=^B1101;WHEN(I==^B10)THENY=^B1011;WHEN(I==^B11)THENY=^B0111;END5、邏輯方程設計類型5與其它設計法混合使用例：用ABEL語言設計一個六進制計數器，要求時鐘下降沿觸發MODULEcounter6dCP PIN;Q2,Q1,Q0PINISTYPE'REG';Q=[Q2,Q1,Q0];EQUATIONSQ.CLK=!CP;TRUTH_TABLE(Q:>Q)0:>1;1:>2;2:>3;3:>4;4:>5;5:>0;END二、ABEL語言狀態圖設計法

狀態圖是ABEL源文件描述邏輯設計的一種方法，類似于數字電路狀態狀態轉移圖的描述方式，它只適用于描述時序邏輯設計，不能描述純組合邏輯電路。狀態圖的設計關鍵字是:STATE_DIAGRAM

設計步驟狀態機定義狀態定義寄存器時鐘方程狀態描述1、狀態圖邏輯設計類型1利用IF……THEN……ELSE語句進行設計

格式：MODULE模塊名

（輸入引腳定義） （輸出引腳定義）//狀態機定義 （……）

（狀態定義語句）

EQUATIONS

(寄存器時鐘語句)

（……）

STATE_DIAGRAM[狀態寄存器] STATES0:IF

邏輯表達式THEN

狀態表達式1

ELSE

狀態表達式2

（……）

END

例：用ABEL語言設計一個同步六進制可逆計數器。MODULEcounter6knCP,UP_DOWNPIN;Q2..Q0PINISTYPE'REG';Q=[Q2..Q0];S0=^B000;S1=^B001;S2=^B010;S3=^B011;S4=^B100;S5=^B101;S6=^B110;S7=^B111;EQUATIONSQ.CLK=CP;STATE_DIAGRAMQSTATES0:IFUP_DOWN==0THENS1ELSES5;STATES1:IFUP_DOWN==0THENS2ELSES0;STATES2:IFUP_DOWN==0THENS3ELSES1;STATES3:IFUP_DOWN==0THENS4ELSES2;STATES4:IFUP_DOWN==0THENS5ELSES3;STATES5:IFUP_DOWN==0THENS0ELSES4;STATES6:GOTOS0;STATES7:GOTOS0;END2、狀態圖邏輯設計類型2利用鏈接式IF……THEN……ELSEIF……語句設計格式：MODULE模塊名 （輸入引腳定義） （輸出引腳定義）//狀態機定義 （狀態定義語句）

EQUATIONS (寄存器時鐘語句)

（……）

STATE_DIAGRAM[狀態寄存器]

STATES0:IF

邏輯表達式THEN

狀態表達式

ELSEIF邏輯表達式THEN

狀態表達式

（……）

ELSE

狀態表達式 （……）

END

MODULEcounter8kk CP PIN;C1,C0PIN;Q2..Q0PINISTYPE'REG';Q=[Q2..Q0];CONTROL=[C1,C0];EQUATIONSQ.CLK=CP;STATE_DIAGRAMQSTATE0:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN0ELSEIFCONTROL==2THEN1ELSE7;STATE1:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN1ELSEIFCONTROL==2THEN2ELSE0;例：用ABEL語言設計一個可控八進制計數器。要求： （1）CONTROL=0時，計數器清零 （2）CONTROL=0時，計數器保持 （3）CONTROL=0時，計數器加1

（4）CONTROL=0時，計數器減1STATE2:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN2ELSEIFCONTROL==2THEN3ELSE1;STATE3:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN3ELSEIFCONTROL==2THEN4ELSE2;STATE4:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN4ELSEIFCONTROL==2THEN5ELSE3;STATE5:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN5ELSEIFCONTROL==2THEN6ELSE4;STATE6:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN6ELSEIFCONTROL==2THEN7ELSE5;STATE7:IFCONTROL==0THEN0ELSEIFCONTROL==1THEN7ELSEIFCONTROL==2THEN0ELSE6;END3、狀態圖邏輯設計類型3利用CASE……ENDCASE語句設計格式：MODULE模塊名 （輸入引腳定義） （輸出引腳定義）//狀態機定義 （……） （狀態定義語句）

EQUATIONS (寄存器時鐘語句)

（……） STATE_DIAGRAM[狀態寄存器] STATES0:CASE

邏輯表達式:狀態表達式

（……）

ENDCASE; （……）

END

例：用ABEL語言設計一個可控八進制計數器。要求： （1）CONTROL=0時，計數器清零 （2）CONTROL=0時，計數器保持 （3）CONTROL=0時，計數器加1

（4）CONTROL=0時，計數器減1MODULEcounter8kk CP PIN;C1,C0PIN;Q2..Q0PINISTYPE'REG';Q=[Q2..Q0];CONTROL=[C1,C0];EQUATIONSQ.CLK=CP;STATE_DIAGRAMQSTATE0:CASECONTROL==0:0CONTROL==1:0CONTROL==2:1CONTROL==3:7;ENDCASE;STATE1:……CASE和ENDCASE之間的表達式必須滿足互斥條件，任何時候，只有一個表達式為真CASE語句中表達式應包含所有可能的條件4、狀態圖邏輯設計類型4利用GOTO語句設計格式：MODULE模塊名 （輸入引腳定義） （輸出引腳定義）//狀態機定義 （……） （狀態定義語句）

EQUATIONS (寄存器時鐘語句)

（……） STATE_DIAGRAM[狀態寄存器] STATES0:GOTO

狀態表達式

（……）

END

MODULECOUNTER6GOTOCP PIN;Q2..Q0PINISTYPE'REG';Q=[Q2..Q0];EQUATIONSQ.CLK=CP;STATE_DIAGRAMQSTATE0:GOTO1;STATE1:GOTO2;STATE2:GOTO3;STATE3:GOTO4;STATE4:GOTO5;STATE5:GOTO0;STATE6:GOTO0;STATE7:GOTO0;END例：用ABEL語言設計一個同步六進制計數器。5、狀態圖邏輯設計類型5利用WITH……ENDWITH語句設計格式：MODULE模塊名 （輸入引腳定義） （輸出引腳定義）//狀態機定義 （狀態定義語句）

EQUATIONS (寄存器時鐘語句) STATE_DIAGRAM[狀態寄存器] STATES0:IF邏輯表達式THEN狀態表達式

WITH

輸出方程

（……）

ENDWITH;

ELSE狀態表達 （……）

END