Formal Codesign and Implementation for Multifunction Vehicle Bus Circuits

Classical hardware development approaches for critical embedded systems are inefficient. Extensive resources must be committed before traditional hardware development can commence. Thus, an efficient method for circuit development is urgently required. In this paper, a computer-aided formal developm...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on vehicular technology Vol. 68; no. 6; pp. 5221 - 5235
Main Authors Qi, Ji, Lo, Kueiming
Format Journal Article
LanguageEnglish
Published New York IEEE 01.06.2019
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Algorithms
Automata
Bus interconnections
CAD
Circuit design
Clocks
Co-design
code optimization
Computational modeling
Computer aided design
Computer models
Embedded systems
extended timed automata
Formal codesign
Hardware
Hardware description languages
Hardware design languages
Integrated circuit modeling
Modelling
MVB circuit
Optimization
Programming languages
Semantics
Online AccessGet full text

Cover

More Information
Summary:Classical hardware development approaches for critical embedded systems are inefficient. Extensive resources must be committed before traditional hardware development can commence. Thus, an efficient method for circuit development is urgently required. In this paper, a computer-aided formal development method for a multifunction vehicle bus (MVB) is addressed. First, a formal modeling language is defined and its semantics are analyzed. Then, in terms of the modeling language, a formal computer-aided-design method is proposed for the design of complex MVB circuits. Core modules are modeled by extended timed automata. After the functionality of the model has been verified, the formal model is automatically converted into the hardware description language (HDL) code. Furthermore, code optimization algorithms are proposed to enhance the quality of the generated HDL code. Finally, the optimal formal MVB is designed and implemented as a circuit.
ISSN:0018-9545
1939-9359
DOI:10.1109/TVT.2019.2912001