BHDL
- BHDL
-
BHDL, ou B/HDL pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques.
Cette méthode s'appuie sur la méthode formelle de développement logiciel B ; elle a été initialement élaborée au cours d'une collaboration INRETS/ESTAS et l'Université de Technologie de Compiègne (UTC-Heudiasyc). Les travaux sont maintenant poursuivis avec l'aide du Laboratoire d'Informatique Fondamentale de Lille (LIFL).
Le nom BHDL est apparu dès 1999 lors des travaux évoqués ci-dessus. Néanmoins, ultérieurement ce même nom a été repris par une société de la région grenobloise, KeesDA, pour une méthode ayant des objectifs similaires.
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article BHDL de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Bhdl — (ou B/HDL) pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques. Comme son nom l indique, cette méthode s appuie sur la méthode formelle de développement logiciel B (cf… … Wikipédia en Français
Maya Singh Saini — Historical painting of a Sikh Ghorcharra or cavalryman. Maya Singh Saini participated as a Ghorcharra in the Anglo Sikh wars. After the defeat of Sikhs he became an insurgent against the English occupation. He was finally arrested and… … Wikipedia
Saini — Infobox caste caste name= Saini or Shaursaini/Shoorseni classification= Yaduvanshi (Shoorseni) Kshatriya subdivisions= (none) populated states=Punjab (India), Haryana, Himachal Pradesh Jammu Kashmirlanguages= Mainly Punjabi and its dialects like… … Wikipedia
Liste Des Sigles De Quatre Lettres — {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZ … Wikipédia en Français
Liste de sigles de quatre lettres — Cette liste est incomplète ou mal ordonnée. Votre aide est la bienvenue ! Sigles d’une seule lettre Sigles de deux lettres Sigles de trois lettres Sigles de quatre lettres Sigles de cinq lettres Sigles de six lettre … Wikipédia en Français
Liste de toutes les combinaisons de quatre lettres — Liste des sigles de quatre lettres {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZ … Wikipédia en Français
Liste des sigles de quatre lettres — {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZ … Wikipédia en Français
Liver X Receptor — Les Liver X receptors ou récepteur aux oxystérols (LXRβ et LXRα) sont des protéines de la superfamille des récepteurs nucléaires liant naturellement les oxystérols et régulant le métabolisme du cholestérol et des lipides dans l organisme ainsi… … Wikipédia en Français
Liver X receptor — α Ajouter une image Caractéristiques générales Nom approuvé Récepteur aux oxystérols Autres noms ou symbole NR1H3 Locus 11[1] Fonction … Wikipédia en Français
Liver x receptor — Les Liver X receptors ou récepteur aux oxystérols (LXRβ et LXRα) sont des protéines de la superfamille des récepteurs nucléaires liant naturellement les oxystérols et régulant le métabolisme du cholestérol et des lipides dans l organisme ainsi… … Wikipédia en Français
Portail de l’électricité et de l’électronique
Portail de l’informatique
