BHDL
Apparence
Sigles de 2 caractères |
Sigles de 3 caractères |
► Sigles de 4 caractères |
Sigles de 5 caractères |
Sigles de 6 caractères |
Sigles de 7 caractères |
Sigles de 8 caractères |
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.