{"id":1650,"date":"2021-02-06T12:52:35","date_gmt":"2021-02-06T11:52:35","guid":{"rendered":"http:\/\/www.fabienm.eu\/flf\/?p=1650"},"modified":"2021-02-06T12:52:36","modified_gmt":"2021-02-06T11:52:36","slug":"sortie-de-ghdl-version-1-0-0","status":"publish","type":"post","link":"http:\/\/www.fabienm.eu\/flf\/sortie-de-ghdl-version-1-0-0\/","title":{"rendered":"Sortie de GHDL version 1.0.0"},"content":{"rendered":"\n<p><strong><a href=\"https:\/\/linuxfr.org\/news\/sortie-de-ghdl-version-1-0-0\">[D\u00e9p\u00eache initialement parue sur LinuxFR]<\/a><\/strong><\/p>\n\n\n\n<p><a href=\"https:\/\/github.com\/ghdl\/ghdl\">GHDL<\/a> est un logiciel \u00e9crit en <a href=\"https:\/\/fr.wikipedia.org\/wiki\/Ada_(langage)\">ADA<\/a> permettant de faire l&rsquo;analyse, la compilation, la simulation ainsi que la synth\u00e8se du VHDL. Le <a href=\"https:\/\/fr.wikipedia.org\/wiki\/VHDL\">VHDL<\/a>, quant \u00e0 lui, est un langage de description mat\u00e9riel tr\u00e8s utilis\u00e9 dans le d\u00e9veloppement sur FPGA ou ASIC. <a href=\"https:\/\/linuxfr.org\/news\/ghdl-un-front-end-vhdl-pour-gcc\">\u00c0 l&rsquo;origine<\/a>, GHDL est un \u00ab\u202fside-project\u202f\u00bb de <a href=\"https:\/\/connect.ed-diamond.com\/GNU-Linux-Magazine\/GLMF-127\/Rencontre-avec-Tristan-Gingold-l-auteur-de-GHDL\">Tristan Gingold<\/a> lui permettant de se faire la main avec ADA.<\/p>\n\n\n\n<p>GHDL est devenu l&rsquo;outil indispensable pour faire de la simulation VHDL aujourd&rsquo;hui. Apr\u00e8s presque 20 ans de d\u00e9veloppement, voici que sort en version 1.0.0 le logiciel de simulation VHDL nomm\u00e9 GHDL. En prime, GHDL s&rsquo;offre un nouveau logo:<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img decoding=\"async\" src=\"https:\/\/img.linuxfr.org\/img\/68747470733a2f2f7261772e67697468756275736572636f6e74656e742e636f6d2f6768646c2f6768646c2f6d61737465722f646f632f5f7374617469632f6c6f676f2e706e67\/logo.png\" alt=\"logo GHDL\" title=\"Source : https:\/\/raw.githubusercontent.com\/ghdl\/ghdl\/master\/doc\/_static\/logo.png\"\/><\/figure>\n\n\n\n<p>Peu d&rsquo;informations ont filtr\u00e9 sur cette sortie pour le moment. On peut soup\u00e7onner que ce soit une sortie anniversaire pour marquer les 20 ans du logiciel. Il n&rsquo;en reste pas moins que GHDL est devenu un maillon indispensable dans l&rsquo;\u00e9cosyst\u00e8me opensource du monde FPGA et des ASIC.<\/p>\n\n\n\n<p>Cette version 1.0.0 supporte d\u00e9sormais compl\u00e8tement les standards 1987, 1993 et 2002 du langage d\u00e9fini par <a href=\"https:\/\/standards.ieee.org\/search-results.html?q=VHDL%201076\">l&rsquo;IEEE<\/a>. Le support de VHDL 2008 est not\u00e9 comme partiel pour le moment.<\/p>\n\n\n\n<p>Depuis quelques ann\u00e9es, le d\u00e9veloppement du projet s&rsquo;est acc\u00e9l\u00e9r\u00e9 et supporte de mieux en mieux les projets tierces comme <a href=\"https:\/\/linuxfr.org\/news\/sortie-de-yosys-open-synthesis-suite-0-8\">Yosys<\/a> bien s\u00fbr mais \u00e9galement <a href=\"https:\/\/linuxfr.org\/news\/cocotb-1-4-0-la-maturite\">CocoTB<\/a> pour les testbenchs \u00e9crit en Python ainsi que les standards de v\u00e9rification comme UVVM, OSVVM, VUnit issues du standard d&rsquo;<a href=\"https:\/\/accellera.org\/downloads\/standards\/uvm\">accelera<\/a>.<\/p>\n\n\n\n<p>Un support partiel d&rsquo;un langage de PSL (Properties Specification Language) est \u00e9galement inclus. Il permet de d\u00e9crire les propri\u00e9t\u00e9s du syst\u00e8me pour faire de la <a href=\"http:\/\/pepijndevos.nl\/2019\/08\/15\/open-source-formal-verification-in-vhdl.html\">v\u00e9rification formelle<\/a>.<\/p>\n\n\n\n<p>Et surtout, il est possible de faire de la Synth\u00e8se. Certes, l&rsquo;extension ghdl-yosys-plugin est encore en d\u00e9veloppement, mais l&rsquo;exemple TapTempo <a href=\"https:\/\/linuxfr.org\/news\/portage-de-taptempo-en-vhdl#toc-ghdl--yosys-la-lune-de-miel\">l&rsquo;a montr\u00e9<\/a> : Il est tout \u00e0 fait possible de faire de la synth\u00e8se VHDL avec.<\/p>\n\n\n\n<p>Cette version mature est surtout une occasion de mettre en valeur cet outil indispensable dans le monde du d\u00e9veloppement num\u00e9rique (<a href=\"https:\/\/www.reddit.com\/r\/FPGA\/comments\/b1qiru\/definition_of_gateware\/\">gateware<\/a>).<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Aller plus loin<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/linuxfr.org\/redirect\/107836\">T\u00e9l\u00e9charger la release sur github<\/a> (6 clics)<\/li><li><a href=\"https:\/\/linuxfr.org\/redirect\/107840\">L&rsquo;extension ghdl-yosys-plugin permettant de faire de la synth\u00e8se VHDL<\/a> (3 clics)<\/li><li><a href=\"https:\/\/linuxfr.org\/redirect\/107841\">Exemple d&rsquo;utilisation de GHDL pour la verification formelle<\/a> (3 clics)<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>[D\u00e9p\u00eache initialement parue sur LinuxFR] GHDL est un logiciel \u00e9crit en ADA permettant de faire l&rsquo;analyse, la compilation, la simulation ainsi que la synth\u00e8se du VHDL. Le VHDL, quant \u00e0 lui, est un langage de description mat\u00e9riel tr\u00e8s utilis\u00e9 dans le d\u00e9veloppement sur FPGA ou ASIC. \u00c0 l&rsquo;origine, GHDL est un \u00ab\u202fside-project\u202f\u00bb de Tristan Gingold &hellip; <a href=\"http:\/\/www.fabienm.eu\/flf\/sortie-de-ghdl-version-1-0-0\/\" class=\"more-link\">Continuer la lecture de <span class=\"screen-reader-text\">Sortie de GHDL version 1.0.0<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","footnotes":""},"categories":[22,10,3,24,9,11],"tags":[59,60],"class_list":["post-1650","post","type-post","status-publish","format-standard","hentry","category-blog","category-ghdl","category-langages","category-materiel","category-outils","category-vhdl","tag-ghdl","tag-vhdl"],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false,"post-thumbnail":false},"uagb_author_info":{"display_name":"Fabien Marteau","author_link":"http:\/\/www.fabienm.eu\/flf\/author\/admin\/"},"uagb_comment_info":1,"uagb_excerpt":"[D\u00e9p\u00eache initialement parue sur LinuxFR] GHDL est un logiciel \u00e9crit en ADA permettant de faire l&rsquo;analyse, la compilation, la simulation ainsi que la synth\u00e8se du VHDL. Le VHDL, quant \u00e0 lui, est un langage de description mat\u00e9riel tr\u00e8s utilis\u00e9 dans le d\u00e9veloppement sur FPGA ou ASIC. \u00c0 l&rsquo;origine, GHDL est un \u00ab\u202fside-project\u202f\u00bb de Tristan Gingold\u2026","_links":{"self":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/1650","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/comments?post=1650"}],"version-history":[{"count":1,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/1650\/revisions"}],"predecessor-version":[{"id":1651,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/1650\/revisions\/1651"}],"wp:attachment":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/media?parent=1650"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/categories?post=1650"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/tags?post=1650"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}