BHDL
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de  |
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
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 Méthode B); Elle a été initialement élaboré au cours d'une collaboration INRETS/ESTAS et l'Université Technologique 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é répris par une société (Keesda) pour une méthode ayant des objectifs similaires.
