GHDL
Cet article est une ébauche concernant l’informatique, l’électronique et un logiciel libre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
GHDL ou GNU VHDL est un logiciel libre de synthèse logique, vérification et simulation de programme développé ou transcompilé dans le langage de description de matériel (HDL) VHDL. Il a été écrit en langage Ada par Tristan Gingold[2]. Il permet de compiler via le langage C, en langage machine sur le système du développeur afin d'avoir une simulation efficace, et sans nécessité l'investissement dans un FPGA, GTKWave, peut être utilisé pour la visualisation et l'analyse d'onde temporelle extraite des logs[3],[4].
Il est notamment supporté pour la simulation de GRLIB[5] pour LEON3 (architecture SPARC) et NOEL-V (architecture RISC-V), les processeurs spatiaux endurcis développés par l'agence spatiale européenne, et utilisé dans l'équipement de ses satellites artificiels.
Caractéristiques modifier
L'environnement de développement multiplateforme et open source en Java, FSMProcess, l'utilise pour la simulation, permettant ainsi un prototypage rapide[6].
La version 1.0 est sortie en 2021, et supporte les normes IEEE de VHDL 1987, 1993 et 2002, ainsi que partiellement 2008[2].
GCC et LLVM peuvent être utilisés pour la compilation de la simulation.
Les formats de log de simulation supportés sont GHW, VCD (lu par GTKWave) et FST.
Cocotb un environnement de cosimulation de testbench écrit en Python peut également être utilisé simultanément avec la simulation générée par GHDL[7].
Il peut travailler avec Yosys via le plugin ghdl-yosys-plugin[8].
Libre Gates est un framework se basant sur GHDL pour l'analyse statique et dynamique des portes logiques cartographiées au niveau des circuits, que ce soit pour du FPGA ou de l'ASIC[9]
Annexes modifier
Notes et références modifier
- « Release 4.1.0 », (consulté le )
- Martoni, « Sortie de GHDL version 1.0.0 », sur Linuxfr,
- (en) Martin Strubel, « Using GHDL for interactive simulation under Linux », sur FPGA Related,
- « Introduction au langage VHDL », sur Developpez.com
- CAES 2021, p. 28.
- Vandeportaele 2017.
- Muñoz-Quijada, Sanz et Guzman-Miranda 2000.
- (en) « Open Source Formal Verification in VHDL », sur Wishful Coding,
- (en) Yann Guidon, « Libre Gates », sur Hackaday.io
Bibliographie modifier
(en) CAES, GRLIB IP Library User’s Manual, (lire en ligne)- (en) Taha, Bilal Iqbal et Abdul Wasay Mudasser, « Design and Development of Soft Core Microprocessor using Open-Source EDA tools », Journal of Xi'an University of Architecture & Technology, Xi'an University of Architecture and Technology (en), vol. XII, no V, , p. 2409-2414 (ISSN 1006-7930, lire en ligne)
- (es) Paucar Chicaiza, Estefanía, Interfaz gráfica para GHDL (VHDL IDE), E.T.S. de Ingenieros Informáticos (UPM), (E.T.S. de Ingenieros Informáticos (UPM))
- Yann Guiidon, « GHDL et les chaînes de caractères : application à getenv() », GNU/Linux magazine, Éditions Diamond, no 131, (présentation en ligne)
- Pascal Giard, Jean-Francois Boland et Jean Belzile, « CORBA communication backplane for design and verification », 2008 1st Microsystems and Nanoelectronics Research Conference, no 1, (DOI 10.1109/MNRC.2008.4683393, lire en ligne)
- (en) Bertrand Vandeportaele, « A Finite State Machine modeling language and the associated tools allowing fast prototyping for FPGA devices », IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics (ECMSM), (DOI 10.1109/ECMSM.2017.7945900, lire en ligne)
- (en) Maria Muñoz-Quijada, Luis Sanz et Hipolito Guzman-Miranda, « A Virtual Device for Simulation-Based Fault Injection », Electronics, vol. 9, no 12, , p. 1989 (DOI 10.3390/ELECTRONICS9121989, lire en ligne)
Lien externe modifier
(en) Site officiel
