BHDL

BHDL is method of correct design of digital circuit. It combines the advantages of VHDL, the well-known language of circuit design, with the power of B method that guarantees the correct design (w.r.t. a formal specification). This allows avoiding the design test since it is ”correct by proven construction”. ==Relation between VHDL and B metho...
Found on http://en.wikipedia.org/wiki/BHDL
No exact match found