BHDL

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 c…