Aller au contenu

BHDL

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 16 septembre 2020 à 17:43 et modifiée en dernier par Groumphy (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

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