ABEL語(yǔ)言常用語(yǔ)句、真值表設(shè)計(jì)法

一、ABEL語(yǔ)言常用語(yǔ)句格式：MODULE模組名模組名由用戶(hù)自定義例：MODULE4comp1、Module（模組語(yǔ)句）說(shuō)明：此語(yǔ)句是必須的，它是一個(gè)模組的頭，而且必須有一個(gè)END語(yǔ)句與之相配合，模組名相當(dāng)於元件符號(hào)。ABEL語(yǔ)言常用語(yǔ)句2、TITLE標(biāo)題語(yǔ)句：

格式：TITLE‘字串’例：Title‘4位二進(jìn)位數(shù)值比較器’說(shuō)明：此語(yǔ)句是可選的，主要說(shuō)明模組的內(nèi)容、用途、作者、設(shè)計(jì)時(shí)間和地點(diǎn)，單引號(hào)內(nèi)為說(shuō)明內(nèi)容。ABEL語(yǔ)言常用語(yǔ)句3、Device器件定義語(yǔ)句：

器件名DEVICE實(shí)際器件；例：U09DEVICE‘P16V8S’器件名即設(shè)計(jì)模組中所用的識(shí)別字，實(shí)際器件為實(shí)際器件的工業(yè)型號(hào)，用字符串表示。說(shuō)明：在ispLever

軟體中，實(shí)際器件是在菜單下選擇的，故器件定義語(yǔ)句可以省去。ABEL語(yǔ)言常用語(yǔ)句4、Pin管腳定義語(yǔ)句：

[!]信號(hào)名…PIN[管腳號(hào)…]ISTYPE[,屬性];例：!Clock,Reset,S1PIN12,15,3;說(shuō)明：管腳定義語(yǔ)句說(shuō)明信號(hào)識(shí)別字與真實(shí)器件管腳之間的關(guān)係，並給出可編程管腳的屬性?！?”表示低電平有效。5、NODE節(jié)點(diǎn)定義語(yǔ)句：

[!]節(jié)點(diǎn)名…NODE[節(jié)點(diǎn)號(hào)…]ISTYPE[,屬性];例：ANODE12=‘pos,com’;

表示節(jié)點(diǎn)12名為A，為正極性且信號(hào)為組合型。說(shuō)明：節(jié)點(diǎn)定義語(yǔ)句和管腳定義語(yǔ)句類(lèi)似，代表器件內(nèi)部的中間信號(hào)，稱(chēng)為“偽管腳”。ABEL語(yǔ)言常用語(yǔ)句6、常量定義語(yǔ)句：

常量名[,常量名]…=運(yùn)算式[,運(yùn)算式]…;例：

X=.X.;C=.C.;Y=‘cd'; "Y=^h4364;ADDR=[1,0,15];"ADDRisasetwith3elementsA,B,C=5,[1,0],6;"3constantsdeclaredhereA=B&C; "operationsonidentifiersarevalidA=[!B,C]; "setandidentifiersonright說(shuō)明：簡(jiǎn)化程式設(shè)計(jì)。ABEL語(yǔ)言常用語(yǔ)句7、宏定義語(yǔ)句及擴(kuò)展：

宏名MACRO([啞變數(shù),[啞變數(shù)]…]){塊};

宏定義中的塊可以用邏輯運(yùn)算式描述，也可以用真值表來(lái)描述。例：用宏定義一個(gè)三輸入與非門(mén)。

①用邏輯運(yùn)算式描述：

NAND3MACRO(A,B,C){!(?A&?B&?C)};

調(diào)用：D=NAND3(CLK,GA,GB);

則：D=!(Clk&GA&GB);ABEL語(yǔ)言常用語(yǔ)句8、ISTYPE屬性定義語(yǔ)句：

信號(hào)名[,信號(hào)名]…ISTYPE‘屬性[,屬性]…’;屬性定義語(yǔ)句用於對(duì)管腳或節(jié)點(diǎn)具有可編程特性的器件進(jìn)行屬性定義，使具體的器件形成正確的邏輯並使設(shè)計(jì)優(yōu)化。

ISTYPE屬性定義語(yǔ)句必須放在DEVICE器件定義語(yǔ)句、PIN管腳定義語(yǔ)句、NODE節(jié)點(diǎn)定義語(yǔ)句之後。例：

OUT0,OUT1,OUT2PIN3,4,5ISTYPE‘COM’;OUT3,OUT4PIN6,7ISTYPE‘REG’;ABEL語(yǔ)言常用語(yǔ)句管腳、節(jié)點(diǎn)常用屬性：關(guān)鍵字說(shuō)明Pos正極性Neg

負(fù)極性Com組合邏輯輸出Reg寄存器輸出Buffer寄存器緩衝輸出Invert寄存器反相緩衝輸出Latch鎖存輸入Reg_dD觸發(fā)器輸出Reg_rsRS觸發(fā)器輸出Reg_jkJK觸發(fā)器輸出Reg_TT觸發(fā)器輸出9、邏輯方程語(yǔ)句：關(guān)鍵字EQUATIONS表示一組邏輯方程的開(kāi)始。例：

EQUATIONS A=d0&d1#d2; !F=(B==C); F=!(B==C); WHEN(select==0)THENy=a; Q.CLK=CP;

Output.D=In1#In2；

Q:=Q+1;ABEL語(yǔ)言常用語(yǔ)句[WHEN條件THEN][!]識(shí)別字

=

運(yùn)算式;[ELSE方程];[WHEN條件THEN][!]識(shí)別字

:=運(yùn)算式;[ELSE方程];例：WHENA==BTHENY=D0;ELSEY=D1;WHEN(Mode==0)THEN{Out:=D0;S:=1;}ELSEWHEN(Mode==1)THEN{Out:=D1;T:=1;}10、WHEN-THEN-ELSE語(yǔ)句：ABEL語(yǔ)言常用語(yǔ)句關(guān)鍵字ENABLE用於三態(tài)輸出緩衝器的使能。ENABLE後的識(shí)別字必須是三態(tài)型的輸出，運(yùn)算式的值僅用於使能三態(tài)緩衝器，而不賦值給信號(hào)。例：ENABLEY=C#D;Y=A&B;如果（C#D）為真，則輸出Y被使能（但Y的輸出信號(hào)不是C#D,是A&B）。ABEL語(yǔ)言常用語(yǔ)句11、真值表語(yǔ)句：TRUTH_TABLE(輸入向量->輸出向量)TRUTH_TABLE(輸入向量:>輸出向量)TRUTH_TABLE(輸入向量:>寄存器輸出->輸出向量)

->表示輸入輸出關(guān)係為組合型。

:>表示輸入輸出關(guān)係為寄存型。例：TRUTH_TABLE

([en,A,B]－>Y)[0,.X.,.X.]－>.Z.;[1,0,0]－>0;[1,0,1]－>1;[1,1,0]－>1;[1,1,1]－>0;ABEL語(yǔ)言常用語(yǔ)句

TRUTH_TABLE([en,A,B]－>Y)[0,.X.,.X.]－>0;[1,0,0]－>0;[1,0,1]－>1;[1,1,0]－>1;[1,1,1]－>0;enABY0XX01000101111011110真值表例：truth_table([a,b,c]:>q)0:>1;1:>0;2:>1;3:>0;4:>0;5:>0;6:>0;7:>1;例：TRUTH_TABLE([A,B]:>[Q1,Q0]->Y)[0,0]:>[0,1]->1;[0,1]:>[1,0]->0;[1,0]:>[1,1]->1;[1,1]:>[0,0]->1;等同於：

TRUTH_TABLE

([A,B]:>[Q1,Q0]->Y)0:>1->1;1:>2->0;2:>3->1;3:>0->1;STATE_DIAGRAM

狀態(tài)寄存器

STATE狀態(tài)運(yùn)算式:[方程];[方程];…

轉(zhuǎn)移語(yǔ)句;

轉(zhuǎn)移語(yǔ)句可以為IF、CASE、GOTO語(yǔ)句。狀態(tài)運(yùn)算式值為當(dāng)前狀態(tài)；方程則給出當(dāng)前狀態(tài)輸出；轉(zhuǎn)移語(yǔ)句指出下一狀態(tài)，時(shí)鐘信號(hào)到來(lái)，狀態(tài)才發(fā)生變化。10、狀態(tài)圖語(yǔ)句：ABEL語(yǔ)言常用語(yǔ)句modulestatemaclock,resetpin;P1,P0pinistype'reg,buffer';statema=[P1,P0];

stateA=[0,0];stateB=[1,0];

stateC=[1,1];stateD=[0,1];equations[P1,P0].clk=clock;[P1,P0].ar=reset;state_diagram

statemastatestateA:goto

stateB;statestateB:goto

stateC;statestateC:goto

stateD;statestateD:goto

stateA;end12、IFTHENELSE語(yǔ)句：IF運(yùn)算式

THEN狀態(tài)運(yùn)算式1[ELSE狀態(tài)運(yùn)算式2];

ABEL語(yǔ)言常用語(yǔ)句STATE_DIAGRAM[Q3,Q1,Q0] STATES0:IFUP==0THENS1ELSES5; STATES1:IFUP==0THENS2ELSES0; STATES2:IFUP==0THENS1ELSES1;僅用於狀態(tài)機(jī)設(shè)計(jì)13、IFTHEN……ELSEIF語(yǔ)句：ABEL語(yǔ)言常用語(yǔ)句STATE_DIAGRAM[Q3,Q1,Q0] STATES0: IFCONTROL==0THENS0

ELSEIFCONTROL==1THENS1

ELSEIFCONTROL==2THENS5

ELSES0 STATES1:……

……僅用於狀態(tài)機(jī)設(shè)計(jì)14、CASE選擇語(yǔ)句：CASE

[運(yùn)算式:狀態(tài)運(yùn)算式][運(yùn)算式:狀態(tài)運(yùn)算式]

……ENDCASE;

例：STATE_DIAGRAM[Q2,Q1,Q0] STATES0:CASE A==0:S1; A==1:S2; A==2:S3; A==3;S0;

ENDCASE;ABEL語(yǔ)言常用語(yǔ)句僅用於狀態(tài)機(jī)設(shè)計(jì)

15、GOTO語(yǔ)句：

GOTO狀態(tài)運(yùn)算式;ABEL語(yǔ)言常用語(yǔ)句STATE_DIAGRAM[Q3,Q1,Q0] STATES0:GOTOS1 STATES1:GOTOS2 STATES2:GOTOS3僅用於狀態(tài)機(jī)設(shè)計(jì)

16、WITH……ENDWITH語(yǔ)句：轉(zhuǎn)移語(yǔ)句狀態(tài)運(yùn)算式WITH

方程;[方程];……ENDWITH;ABEL語(yǔ)言常用語(yǔ)句僅用於狀態(tài)機(jī)設(shè)計(jì)STATE_DIAGRAM[Q3,Q1,Q0] STATES0:IFUP==0THENS1ELSES5

WITHC_UP=1;

ENDWITH; STATES1:IFUP==0THENS2ELSES0 ;交通燈

設(shè)計(jì)MODULEJTD CP PIN; R,G,YPINISTYPE’COM’; S1,S0NODEISTYPE’REG’; S=[S1,S0]; S0=^B00;S1=^B01;S2=^B10;EQUATIONSS.CLK=CP;STATE_DIAGRAMS

STATES0:R=1;G=0;Y=0GOTOS1;

STATES1:R=0;G=1;Y=0GOTOS2;

STATES2:R=0;G=0;Y=1GOTOS0;ENDRYG17.TEST_VECTORS測(cè)試向量語(yǔ)句：

TEST_VECTORS

(輸入向量->輸出向量)

[輸入信號(hào)值->輸出信號(hào)值;]

……例：

TEST_VECTORS([A,B]－>[Y0,Y1])0－>.X.;1－>.X.;[1,0]－>.X.;[1,1]－>.X.;ABEL語(yǔ)言常用語(yǔ)句二、真值表設(shè)計(jì)法

1、純組合邏輯電路型輸入信號(hào)的值便可決定輸出信號(hào)的邏輯值格式：

MODULE模組名 （輸入引腳定義） （輸出引腳定義） （……） TRUTH_TABLE(輸入向量->輸出向量)

（……）

END

->表示輸入輸出關(guān)係為組合型。

例：設(shè)計(jì)一個(gè)BCD七段解碼器MODULEBCD_DECODERD3,D2,D1,D0 PIN;A,B,C,D,E,F,G PINISTYPE’COM’;DATA=[D3,D2,D1,D0];LED=[A,B,C,D,E,F,G];TRUTH_TABLE(DATA->LED) 0->^B1111110; 1->^B0110000; 2->^B1101101; 3->^B1111001; 4->^B0110011; 5->^B1011011; 6->^B1011111; 7->^B1110000; 8->^B1111111; 9->^B1111