Infotronique 2ème année Module MA3: Composants des systèmes temps réelr

Transcription

1 Infotronique 2ème année Module MA3: Composants des systèmes temps réelr 1) Méthodologie de conception 2) Outils de conception 3) La simulation et la vérification 1

2 Objectif Développement de système basé sur des composants de type FPGA Comment décrire le système? Mettre en place les différentes étapes de conception Maîtriser les différents outils de la chaîne de développement Maîtriser la simulation, la vérification fonctionnelle et temporelle du système 2

3 Partitionnement 3

4 FPGA? 1) Avantages/Inconvénients par rapport aux DSP et ASIC 2) Les différentes technologies existantes (Cf. cours J.Miteran) 3) Les différentes possibilités de description 4

5 Démarche 1) Top-Down Décomposé le système a développé en tâches de moins en moins complexes 2) Down-Top Codés les composants Associés les composants 5

6 Max => O1 Min => O2 6

7 7

8 Validation Simulation Validation Simulation Différentes méthodes de description & association des composants 8

9 Les possibilités de description 1) Schématique 2) Littérale VHDL (variante altera AHDL) Verilog Abel 9

10 Description schématique La réalisation de circuits se fait à base de cellules standards (portes logiques précaractérisées). On décrit la structure d'un circuit à l'aide de connexions sur des cellules de base à partir d'une librairie. 10

11 Description schématique Il existe deux types de cellules dans la librairie Xilinx accessibles par le core-generator: les soft-macros qui sont implantées en fonction des flips-flops et des générateurs de fonctions disponibles, les hard-macros qui sont préroutées et utilisent complètement les CLB qu'elles occupent ou utilisent des blocs spécifiques (multiplieurs, bloc mémoires). 11

12 Description schématique La saisie de schéma à partir de cellules de base permet un développement " bas niveau " qui rend difficile la réalisation de circuits complexes où chaque changement ou amélioration remet en cause toute la description. spécifications de " haut niveau " tel que le VHDL (VHSIC Hardware Description Language avec VHSIC : Very High Speed Integrated Circuits) soit en français langage de description de matériel traitant des circuits intégrés à très grande vitesse. 12

13 Description littérale type VHDL A partir de la démarche Down-Top blocs de base proche ressources matérielles blocs " haut niveau " associés en ensemble. Le langage VHDL autorise deux niveaux de description (Cf cours M.Paindavoine): le niveau structurel décrit le câblage des composants élémentaires ou RTL (Register To Logic), le niveau comportemental décrit le fonctionnement par des blocs programmes appelés Processus qui échangent des données au moyen de signaux comprenant des instructions séquentielles. 13

14 Etapes du flot de conception Compilation du code VHDL ou Verilog (ou vérifcation schématique) Synthèse Placement Routage (P & R) Configuration 14

15 Etapes du flot de conception Synthèse si code fonctionnel!!!!! = > Pas instructions comme wait! 15

16 Etapes du flot de conception Etapes 1 & 2 : Synthèse & Simulation 16

17 Edition/Synthèse 1) Création des modèles VHDL (éditeur de texte). Il s agit de créer des modèles VHDL synthétisables au niveau RTL (Register To Logic). Les fonctions complexes sont décrites de manière comportementale. La synthèse permet à partir d'une spécification VHDL, la génération d'une architecture au niveau transfert de registre RTL (register transfert level) qui permet l'ordonnancement et l'allocation de ressources sans une représentation physique, compilable par un outil de synthèse logique. Cette étape est réalisable à condition de se limiter à un sous ensemble du langage VHDL qui soit strictement synthétisable. équations logiques 17

18 Résultats de la synthèse library ieee; use ieee.std_logic_1164.all; architecture arch_adap2to2 of ADAP2TO2 is begin entity ADAP2TO2 is port( process (CLK) I1:in std_logic_vector (31 downto 0); I2:in std_logic_vector (31 downto 0); O1: out std_logic_vector (31 downto 0); O2: out std_logic_vector (31 downto 0); CLK: in std_logic; SEL: in std_logic ); END ADAP2TO2; Begin if (CLK'event and CLK='1') then if (SEL = '0') then O1 <= I1; O2<= I2; else O1 <= I2; O2 <= I1; end if; end if; end process; end arch_adap2to2; 18

19 if (CLK'event and CLK='1') then if (SEL = '0') then O1 <= I1; O2<= I2; else O1 <= I2; O2 <= I1; end if; Ensemble de composants décrits et associés en VHDL (port map sur composants de base) end if; 19

20 Résultats de la synthèse Device utilization summary: Selected Device : 2s300eft256-6 Number of Slices: 37 out of % Number of Slice Flip Flops: 64 out of % Number of 4 input LUTs: 64 out of % Number of bonded IOBs: 129 out of % Number of GCLKs: 1 out of 4 25% 20

21 Simulation fonctionnelle 2) La simulation fonctionnelle ne tient pas compte des capacités de liaison dues au routage entre les différentes cellules. Elle permet donc de vérifier uniquement la validité du circuit par rapport au cahier des charges d'un point de vue fonctionnel et non d'un point de vue temporel. 21

22 Etapes du flot de conception Etape 3 : Projection 22

23 CLB des FPGA Composants de library VHDL => CLBs 23

24 Projection 3) La projection Translate Mapping 24

25 Etapes du flot de conception Etape 4 : Place & routage 25

26 Placement routage 4) L'étape suivante consiste à attribuer les cellules (CLB) du circuit à chaque équation délivrée par la projection et à définir les connexions. L'algorithme de placement place physiquement les différentes cellules et les chemins d'interconnexion dessinés entre les cellules afin de faciliter le routage. Des directives jointes à la netlist permettent une bonne répartition des cellules 26

27 27

28 Placement routage A partir de la description du système => des délais précis (fichier SDF) peuvent décrire le système réalisé 28

29 Ajout de contraintes Placement des entrées/sorties Placement des macro-blocks (multiplieurs, blocks mémoires ) Outil : Floorplanner Description littérale (fichier de type UCF) 29

30 Example de fichier UCF NET "clk" TNM_NET = "clk_raw"; TIMESPEC "TS_clk" = PERIOD "clk" 100 MHz HIGH 50 %; NET "clk" LOC = "AA12"; # 100 MHz osc OFFSET = IN 5 ns BEFORE "clk"; OFFSET = OUT 5 ns AFTER "clk"; NET "I1<0>" LOC = "B6"; NET "I1<1>" LOC = "A5"; NET "I1<2>" LOC = "B5"; NET "I1<3>" LOC = "A4"; #Commentaires!!! # Loc the DLL and GBUF is optional in this design #INST "clk_comp_clkdll_1" LOC = DLL0; #INST "clk_comp_clk0_bufg_1" LOC = GCLKBUF1; #INST "clk_comp_clkdv_bufg_1" LOC = GCLKBUF0; #NET "sw_input<*>" pullup; 30

31 Etapes du flot de conception Etape 5 : Simulation après placement routage (back-annoted) 31

32 Simulation temporelle 5) Simulation temporelle après placement et routage (Modelsim) => back annotated. Il s agit ici de simuler un modèle VHDL avec les informations de délais extraites du modèle obtenu. : => les longueurs d'interconnexion et les délais de propagation au partionnement et au routage. L outil Modelsim permet d utiliser un modèle de test VHDL avec un composant à tester décrit en langage Verilog 32

33 Intérêts simulation Back-annoted Simulation réalise Association avec des descriptions de composants extérieurs (SRAM, SDRAM) si l on possède les modèles avec description fonctionnelles (VHDL + SDF) 33

34 Etapes du flot de conception Etape 6 : Configuration 34

35 Configuration 6) Configuration du FPGA. Il s agit placer le FPGA dans la configuration souhaitée. Cette configuration est effectuée soit par transfert d un fichier binaire (Bitstream) directement au FPGA (via ex câble JTAG), soit par l intermédiaire d une PROM à la mise sous tension du système. 35

36 Rappel Compilation du code VHDL ou Verilog (ou vérification schématique) Synthèse Placement Routage (P&R) Configuration 36

37 Outils de développement 1) Edition vi, nedit, Emacs, (voir ModelSim, ISE ) 2) Synthèse ISE (5.1 -> 6.3), outil pour composants Xilinx Leonardo, outil pour composants Altera Synopsys DC Symplify 37

38 Outils de développement 3) P & R ISE (5.1 -> 6.3), outil pour composants Xilinx Quatrus II, outil pour composants Altera Cadence 4) Simulation ModelSim (5.8) 38

39 library ieee; use ieee.std_logic_1164.all; Flot de conception sur example simple entity MUXD is port( IN0:in std_logic; IN1:in std_logic; CLK: in std_logic; SEL: in std_logic; Z: out std_logic ); END MUXD; architecture arch_muxd of MUXD is begin process (CLK) begin if (CLK'event and CLK='1') then if (SEL = '0') then Z <= IN0; else Z <= IN1; end if; end if; end process; end arch_muxd; IN0 IN1 CLK SEL MUX2TO2 Z 39

40 Edition/Compilation/Simulation 1) Démo de emacs avec package VHDL 2) Description de l outil ModelSim 3) Compilation/Synthèse sous ModelSim 4) Simulation sous ModelSim 5) Support 40

41 Démo ISE : Placement routage/configuration 1) Rapports 2) Floorplanner 3) Contraintes 4) Configuration 41

42 Techniques de simulation et de vérification 1) Scripts (tcl) 2) Testbenches Composant sans entrées/sorties chargés de donner les vecteurs de test 42

43 Réalisation de scripts Utilisation du language Tcl Forcer un signal : force Lancer simulation : run 43

44 Réalisation de testbenches 1) Définir les signaux pour connecter les composants internes (et externes ) 2) Définir un temps de simulation 3) Définir des variables pour utiliser des fichiers de données 4) Ouverture et fermeture de fichiers de données 5) Vérification des résultats 6) Mise en place de testbenches plus complexes Fonction/procédures Process en parallèle 44

45 Réalisation de testbenches 1) Définir les signaux pour connecter les composants internes (et externes ) 2) Affectation des entrées/sorties 45

46 Réalisation de testbenches 2) Définir des variables pour utiliser des fichiers de données FILE data : text; variable sample : line; variable I1_var, I2_var :std_logic_vector (31 downto 0); variable O1_var,O2_var :std_logic_vector (31 downto 0); variable SEL_var: std_logic; 46

47 Réalisation de testbenches 3) Définir un temps de simulation constant TCLK_COP : time := 15 ns; constant TCLKL : time := 15 ns; CLK <= '0'; wait for 10 ns; CLK <= '1'; wait for 10 ns; wait for (2000*TCLK_COP); wait until CLK_COP'event and CLK_COP = '1'; Instructions non synthétisables => pour simulation seulement 47

48 Réalisation de testbenches 4) Ouverture et fermeture de fichiers de données file_open (data,"adap2to2.dat", read_mode); while not endfile(data) loop readline (data,sample); read (sample,i1_var); read (sample,i2_var); read (sample,sel_var); read (sample,o1_var); read (sample,o2_var); end loop; file_close (data); 48

49 Réalisation de testbenches 5) Vérification des résultats assert O1 = O1_var report "Out1 is incorrect" severity error; assert O2 = O2_var report "Out2 is incorrect" severity error; 49

50 Présent/Futur 50

51 Présent/Futur 1) Vers Co-processing & co-design Co-processeur associé à processeur basé sur un DSP ou processeur multi-média 2) Vers le prototypage rapide 51