La logique programmable avec le langage Abel

Résumé du document

Les composants logiques programmables prennent une part de plus en plus importante dans la conception des systèmes logiques, et remplacent progressivement les circuits logiques classiques. Les PALs (Programmable Logic Array ) de première génération sont en générale des composants de faible intégration, programmable par fusibles.

Les composants modernes sont maintenant en majorité reprogrammables, comme les GAL (Generic Array Logic) réduisant ainsi considérablement les coûts de conception. C'est ce type de circuit que nous allons étudier et en particulier le GAL22V10 (...)

Extraits

[...] ELSE pour des branchements multiples mais on peut également utiliser CASE . ENDCASE. Il est important de vérifier dans ce cas que tous les cas sont couverts. On peut associer des actions aux transitions en faisant suivre le nouvel état de WITH equationl; equation2; . ENDWITH. Exemple STATE_DIAGRAM [Q2,Q1,QO] STATE IF x THEN A ELSE STATE CASE ; x&y ; ; ENDCASE; STATE IF THEN A ELSE STATE GOTO STATE GOTO Vecteurs de test TEST VECTORS ([entrées] [sorties] ) "déclaration des signaux [valeurs_entrées] [valeurs_sorties] " vecteurs de test . [...]

[...] pour la valeur de sortie, le simulateur détermine la valeur réelle et l'affiche, sinon la valeur déterminée est comparée à la valeur indiquée dans valeurs_sorties et un message d'erreur est émis si il y a une différence. Exemple équations count.clk=clock; count :=(count + & ! clear ; TEST VECTORS clock , clear ] ->[count] ) [ .C 0 "remise à zéro; la valeur calculée de count sera comparée à 0 [ .C 1 "comptage [ .C J 2 "comptage ou la valeur .X. sera calculée clock , clear ] ->[count] ) [ .C ] .X. "remise à zéro [ .C ] .X. "comptage [ .C ] .X. [...]

[...] Nous utiliserons un circuit programmables 'in-situ' ne nécessitant pas de programmateur spécialisé, le Isp22V10 (In-system programmable) de chez LATTICE. Le langage Nous vous présentons sous forme de résumé le langage de programmation ABEL Structure d'un fichier module nom titre déclaration déclaration de composant affectation des broches d'entrées sortie constantes macros équations tables de vérité diagrammes d'état vecteur de test end nom Les déclarations Déclaration du composant : nom DEVICE 'type_de_PLD ' ; Déclaration des broches d'entrées-sorties : iol,io PIN numéro, numéro ; "'numéro de broche I3,I2,I1 PIN 3,4,5 ; "entrées A3,A2,A1 PIN ISTYPE 'COM' ; "sorties combinatoires Q2,Q1,OO PIN ISTYPE 'REG' ; "sorties à registre Déclaration des constantes : .X. [...]

[...] Nous l'utiliserons essentiellement durant les TPs pour la réalisation d'automates. Sur les 28 broches sont réservées pour la programmation, de plus on a ignoré encore 4 broches pour pouvoir adapter ce circuit sur les supports à 20 broches des maquettes de câblage. Les composants de plus forte intégration seront présentés en deuxième année sous forme d'une étude plus complète. La programmation de ces composants passe généralement par une description textuelle des équations associées. Il existe différents langages de programmation : ABEL, Orcad/PLD, PALASM, CUPL . [...]

[...] reg_in=[A2,Al,AO] out=[0, Les signaux logiques sont exprimés comme 0 ou valeur indifférente .X. (binaire), (octal) , (hexadécimal). exemple : out = ~hff ; X = & EN ; A0]=64 ; Descriptions des équations La description est précédée du mot clé équations Une suite d'affectation logiques sortie = expression ; (combinatoire) sortie : = expression ; (sortie à registre, sur front montant du dock) exemple: -Additionneur 1 bit S "Somme CO= " Retenue -Compteur 3 bits avec remise à zéro : (count est défini auparavant par count=[Q2,Ql,QO], et reset comme signal d'entrée ) WHEN reset THEN count ; ELSE count :=count+l ; Dot extension associée au registre .clk (horloge) .oe (output-enable): .aclr (clear asynchrone) .clr (clear syncrone) count. [...]