Le langage ABEL

Résumé du document

Le langage ABEL permet de traduire le comportement de fonctions logiques combinatoires et séquentielles. Le fichier source généré par ce langage (Nomfich. ABL) est utilisé par les logiciels de mise en oeuvre des composants logiques programmables.

Extraits

[...] 56 = [ ON.OFF, ON. ON, ON, ON, 57 = [ ON. ON. ON.OFF.OFF.OFF.OFF]; 58 ON, ON. ON, ON, ON, 59 = [ ON. ON. ON. [...]

[...] OFF]; 4 ON. OFF, OFF, ON, ON, OFF, OFF]; 5 OFF. ON, OFF, OFF. ON, OFF, OFF]; 6 OFF. ON. OFF. OFF. OFF, OFF, OFF]; 7 OFF, OFF, OFF, ON, ON, ON, 8 OFF, OFF, OFF, OFF, OFF, OFF, OFF]; 9 OFF, OFF, OFF, OFF, ON, OFF, OFF]; test_vectors [ OFF, OFF, OFF, OFF, OFF, OFF, ON, OFF, OFF, ON, ON, ON, [ OFF, OFF, ON. OFF, OFF, ON, OFF]; [ OFF, OFF, OFF, OFF, ON, ON, OFF]; [ ON, OFF, OFF, ON, ON, OFF, OFF]; [ OFF, ON, OFF, OFF, ON, OFF, OFF]; [ OFF, ON, OFF, OFF, OFF, OFF, OFF]; [ OFF, OFF, OFF. [...]

[...] allow this. intérim states are provided between what is otherwise a one-hot encoding for states State 1 through Detect. Reset = Initial = Statela= [ Statel = [ State2a= State2 = [ State3a=[0,0,l,l,0,0]; State3 = [ State4a= [ State4 = [ Détecta=[ Detect = [ state_diagram Qstate.pin->Qstate state Reset : if ( ! Valid) then Initial else Reset; state Initial: if (Valid) then if (Data) then State la else Reset; else Initial; state State la: if Valid) then State 1 else State la; state State 1 : if (Valid) then if (Data) then State2a else Reset; else State state State2a: if Valid) then Stàte2 else State2a; "Wait until strobe goes low state State2: if (Valid) then if(!Data)thenState3a"0 else Reset; else State2: state State3a: if Valid) then State3 else State3a; "Wait until strobe goes low state State3 : if (Valid) then if (Data) then State4a else Reset; else State3; state State4a: if Valid) then State4 else State4a; "Wait until strobe goes low state State4: if (Valid) then if Data) then Détecta else Reset; else State4; state Détecta: if Valid) then Detect else Détecta; "Wait until strobe goes low state Detect: DetectFlag = 1 ; if (Valid) then Reset "Wait for next bit (will be skipped) else Detect; test_vectors( [Data, Valid] Qstate,DetectFlag] ) [ 0.0 x . [...]

[...] x. "Initializationséquence . .x .x. [ 0.0 .x .x. ]->[Initial, .x. "Now we're ready . .x .x. "Got a 1 State [ 1.1 x . x. "Got another 1 [ 1.0 State [ 1.0 . .x .x. "Oops. [...]

[...] "Got another 1 State .x .x. "Got a 0 State .x .x. "Got a 1 State .x .x. "Gota Detect [.x ]->[Reset "Back to Reset on next Valid end EX4 module cnt36bit tide '36-bit counter described using @CARRY' Reset,Clock pin; Hold.Load pin; D D0 pin; Q Q0 pin istype 'reg,buffer' ; Data = Count=[Q équations @CARRY Count. CLK = Clock; Count. CLR = Reset; Count (Count.FB + & IHold & ILoad # Count.FB & Hold & ILoad # Data & Load; test_vectors ([Clock,Reset,Hold,Load, Data ]->Count) [ .c .x. [...]