Dependency Analysis and Default Tolerance in BHDL

Most co-design verification methods depend on co-simulation of two or more types of components that are designed by different technologies during the last steps of design. Systems are getting more complex so the necessary time for simulation, detecting and correcting faults increases. BHDL project uses a formal method, B method, at the very early stage of design in order to produce a correct by design multitechnology system. Furthermore, BHDL can take in account the possibility to describe a fault scenario with a suitable correction in order to satisfy an ideal system specification