Title :
Leveraging model representations for system level design tools
Author :
Lapalme, James ; Aboulhamid, El Mostapha ; Nicolescu, Gabriela
Author_Institution :
Montreal Univ., Que., Canada
Abstract :
New sophisticated EDA tools and methodologies are needed to make products viable in the marketplace by simplifying and reducing the different design stages. They are based on representations that have to be clean, complete and easy to manipulate. The needed key features are standardization, metadata programming, reflectivity and introspection. This work proposes a methodology based on .Net framework presenting all these features and allowing simpler specification, synthesis, validation and the creation of tools that cost less and take less time to build/customize. We present the simulator of ESys.Net as a case study. ESys.Net is an existing .Net based platform for system design.
Keywords :
electronic design automation; formal specification; formal verification; meta data; network operating systems; .Net framework; EDA tool; ESys.Net; formal specification; metadata programming; system level design tool; Costs; Design optimization; Electronic design automation and methodology; Modeling; Productivity; Reflectivity; Standardization; System analysis and design; System-level design; Time to market;
Conference_Titel :
Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
Print_ISBN :
0-7695-2361-7
DOI :
10.1109/RSP.2005.28
