Desiderata for the specification and design of electronic systems
Gabriela Nicolescu, G. Svarstad, W. Cesário, L. Gauthier, D. Lyonnard, Sungjoo Yoo, Coste, P., A.A. Jerraya · HAL (Le Centre pour la Communication Scientifique Directe) · 2002
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.