Cet article est une ébauche concernant l’informatique, l’électronique et un logiciel libre.
Yosys est une suite logicielle de Synthèse logique (en anglais RTL synthesis), permettant donc de convertir un circuit logique de sa description dans un langage de description de matériel (HDL), tel que Verilog ou VHDL, vers un flux binaire (anglais : bitstream) au format Register Transfer Level (RTL), utilisable par un circuit programmable de type FPGA. Il effectue également les tâches de vérification formelle[2]. Il a été créé par Claire Wolf[3].
Fonctionnalités
[modifier | modifier le code]- Gérer la majeure partie de Verilog-2005
- Convertir depuis BLIF / EDIF/ BTOR / SMT-LIB / simple RTL Verilog vers Verilog
- Faire de la vérification formelle en vérifiant les propriétés et les équivalences.
- Cartographier pour les ASIC (au format Liberty File Format)
- Cartographier pour les FPGA des séries Xilinx 7 et Lattice iCE40, différentes cartes GoWin[5]. Le constructeur CologneChip (pour le GateMate) utilise celui-ci comme cartographier et synthétiseur par défaut[6], ainsi que Renesas pour son ForgeFPGA[7].
- Servir de fondation ou de frontal pour des flux personnalisés.
Il peut également traiter le VHDL, grâce au plugin pour GHDL appelé ghdl-yosys-plugin[8].
D'autres FPGA peuvent également être cartographiés avec un support à des stades plus ou moins avancés tels que certains d'Achronix (Speedster22i), Altera (maintenant filiale d'Intel), Anlogic, GreenPAK4, la série LittleBee de Gowin, les ECP5 de Lattice, ainsi que les FPGA de MicroChip/Microsemi (SmartFusion2 et IGLOO2)[9],[10].
L'outil d'optimisation du routage est NextNPR, utilisant des méthodes indépendantes à l'architecture cible, les architectures décrites ci-dessus y sont considérées comme stable, à l'exception des séries Cyclone V, Lattice MachXO2 et d'un backend générique pour des architectures personnalisées[10].
Il permet également de créer des schémas du design en s'aidant de Graphviz. Le logiciel pour le web, DigitalJS, utilise cette possibilité de Verilog, pour la simulation en HTML, via le convertisseur yosys2digitaljs[11],[12].
Différents co-projets lui sont liés, tels que VlogHammer un tester de régression Verilog et YosysJS, un port de Yosys en Javascript à l'aide d'Emscripten, afin de produire des éducatifs sur le Web.
Le langage HDL Amaranth supporte à le backend Apicula de Yosys, et la suite de développement officielle de Gowin pour les FPGA de Gowin[5].
Formats RTL supportés
[modifier | modifier le code]Il peut produire un flux binaire au format Blif (Berkeley Logic Interchange Format). Il existe des outils pour convertir entre les différents formats de bitstream[13].
Au sein du projet, différents outils permettent d'ouvrir les spécifications des flux binaires de différents FPGA, par ingénierie inverse. Le premier FPGA géré ainsi c'est le ICE40 de Lattice[3],[14]. Au sein de Yosys, concernant les FPGA de Lattice plus généralement, le project IceStorm est dédié à cette à l'ingénierie invers pour les ICE40, le projet Trellis pour les ECP5 et le projet Oxide pour les Nexus[15]. Le Projets Treillis qui travaille sur les MachXO2 de Lattice considère leur support comme expérimental[10].
Différents FPGA de Xilinx sont également pris en charge, tel que les Spartan 6, Virtex 7, et Series 7. Il y avait également un support partiel en décembre 2019 de Spartan 3, Virtex 2, 4, et 5[16].
En 2020, le fabricant allemand Cologne Chip AG annonce supporter Yosys comme outil pour la synthèse RTL de leurs FPGA[17]. Le fork servant à l'implémentation de ces FPGA dans celui-ci est disponible sur Github[18].
Le projet Apicula (ou Apycula), au sein du projet YosysHQ, vise à créer, par ingénierie inverse, des outils ouverts pour la génération du flux binaire des FPGA de Gowin[19],[15]. Apicula supporte les séries gw1n1, gw1n9, gw1n4, gw1ns2 et gw1ns4. Le Gw1nSR-4C depuis le 15 décembre 2021[20].
Le support des FPGA Cyclone V, considéré comme expérimental est développé par le projet Mistral[10].
En novembre 2021, Renesas sort une famille de FPGA appelée ForgeFPGA, et propose d'utiliser Yosys comme outil officiel de synthèse RTL[21].
Autres outils libres de synthèse logique
[modifier | modifier le code]- Coriolis du laboratoire LIP6
- GHDL un simulateur et compilateur VHDL
- SymbiFlow, qui se veut un outil plus global pour gérer les différents outils de génération.
- OpenLane, sous licence Apache 2.0, et plus globalement OpenROAD sont des piles permettent de transformer le RTL en GDS pour la gravure d'ASIC[22],[23]
Programmation du FPGA
[modifier | modifier le code]- OpenFPGALoader est un outil permettant de programmer le FPGA, c'est-à-dire d'envoyer le flux binaire à sa mémoire interne pour un utilisation unique ou à sa mémoire flash pour qu'il le conserve après redémarrage du circuit comportant le FPGA.
Simulation
[modifier | modifier le code]- Verilator, logiciel de vérification et simulation, compilant en le code HDL (Verilog et SystemVerilog) pour la simulation en langage machine, sur le poste de travail. L'utilisation de SystemVerilog permet d'utiliser différentes bibliothèques système pour simuler certains composants attaché au FPGA.
Annexes
[modifier | modifier le code]Notes et références
[modifier | modifier le code]- ↑ « Release 0.58 », (consulté le )
- Martoni, « Sortie de Yosys Open Synthesis Suite 0.8 », sur Linuxfr, .
- (en) Clifford Wolf, « Verilog Synthesis and more with Yosys », sur Media.ccc.de,
- ↑ (en) « About », sur Yosys
- (en) « Gowin », sur Amaranth-lang.org
- ↑ https://www.colognechip.com/docs/ug1002-toolchain-install-latest.pdf
- ↑ « Renesas introduces sub 50 cents FPGA family with free Yosys-based development tools », sur CNX Software, 22 novemrbe 2021
- ↑ (en) « Open Source Formal Verification in VHDL », sur Wishful Coding,
- ↑ (en) « Documentation »
- (en) « nextpnr -- a portable FPGA place and route tool », sur compte YosysHQ sur Github
- ↑ Al Williams, « Visualizing Verilog Simulation », sur Hackaday,
- ↑ (en) « DigitalJS », sur DigitalJS.Tilk.eu
- ↑ « Placement & Routage de Cordic », sur Soc.lip6.fr
- ↑ (en) Elliot Williams, « 32C3: A Free And Open Source Verilog-to-Bitstream Flow For ICE40 FPGAs », sur Hackaday,
- (en) « Projet description - YoWASP nextpnr packages », sur Pypi.org
- ↑ (en) Al Williams, « Yosys Fronts For Xilinx ISE »,
- ↑ (de) Michael Eckstein, « Interview: Deutsches FPGA mit eingebauter Overdrive-Funktion », sur Elektronik Praxis,
- ↑ (en) Cologne Chip AG, « yosys – Yosys Open SYnthesis Suite », sur GitHub
- ↑ de Vos, Kirchhoff et Ziener 2020.
- ↑ (en) « Add support for GW1NSR-4C », sur Apicula sur Github,
- ↑ (en) « Renesas introduces sub 50 cents FPGA family with free Yosys-based development tools », sur CNX-Software,
- ↑ (en) Nick Flaherty, « RISC-V chip designed with open source tools », sur EE News Europe,
- ↑ (en) « OpenLane Documentation », sur openlane.readthedocs.io (consulté le ).
Bibliographie
[modifier | modifier le code]- (en) David Shah; Eddie Hung; Clifford Wolf; Serge Bazanski; Dan Gisselquist; Miodrag Milanovic, « Yosys+nextpnr: An Open Source Framework from Verilog to Bitstream for Commercial FPGAs », IEEE Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE, (DOI 10.1109/FCCM.2019.00010)
- (en) Pepijn de Vos, Michael Kirchhoff et Daniel Ziener, « A Complete Open Source Design Flow for Gowin FPGAs », International Conference on Field-Programmable Technology (ICFPT), , p. 182-189 (DOI 10.1109/ICFPT51103.2020.00033)
- (ru) А.Строгонов et П.Городков, « Реализация Verilog-проектов в базисе ПЛИС Intel FPGA с использованием инструмента синтеза YOSYS », Электроника, vol. 166, no 6, , p. 100-106 (ISSN 1992-4178, DOI 10.22184/1992-4178.2017.166.6.100.106, lire en ligne)
- (ru) А.Строгонов et П.Городков, « Реализация VERILOG-проектов в базисе заказных БИС и ПЛИС с использованием инструмента синтеза Yosys », Электроника, vol. 165, no 5, , p. 98-109 (ISSN 1992-4178, DOI 10.22184/1992-4178.2017.165.5.98.109, lire en ligne)
Articles connexes
[modifier | modifier le code]- SPICE (logiciel) — simulateur de circuits
- GHDL — Simulateur VHDL
- Verilator — Simulateur Verilog
Liens externes
[modifier | modifier le code]- (en) Site officiel
