Publications

Publications

< back to publications

Desiderata for the specification and design of electronic systems

Author(s): G. Nicolescu, G. Svarstad, W. Cesario, L. Gauthier, D. Lyonnard, S. Yoo, P. Coste, A. A. Jerraya

Journal: Technique et Science Informatiques (TSI)

Volume: 21

Issue: 3

Pages: 291-314

The evolution of electronic systems requires the use of new specification languages, joining together the necessary concepts for specification, validation and refinement for the design of circuits and integrated systems. Consequently, as a result of studies achieved in this domain several languages are now proposed. Unfortunately, any of these languages supports all the requirements for the conception of electronic systems. This paper presents fundamental concepts used throughout the design flow, in order to analyze the strengths and weaknesses of existing languages. After we analyze the solutions proposed currently for electronic system specification, we propose a specification model for synthesis and electronic systems design.