BHDL, ou B/HDL pour B H ardware D escription L anguage, 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 collaborat...