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

modifier