Model based formal design for MVB system

Electronic circuits design is extremely important in information processing or communication systems. Classical design method of electronic circuit is manual programming. The cost of design and test is usually expensive, especially for large scale or complicated circuits. In this paper, hardware circuit is designed by formal method. Behavior of the circuit is described by multiple extended hierarchical finite automata(EHFA) that execute in parallel. The correctness of the system can be verified by simulation. Then, the formal model is converted into VHDL automatically. Finally get the real circuit. The advantages of the method make it easier to simulate functional design and verify critical performance. As a practical application, the Multifunction Vehicle Bus (MVB) circuit is codesigned, which illustrate the practicality of this method.