Title :
A UML-based Environment for System Design Space Exploration
Author :
Apvrille, Ludovic ; Muhammad, Waseem ; Ameur-Boulifa, Rabéa ; Coudert, Sophie ; Pacalet, Renaud
Abstract :
The increasing complexity of System-on-Chip (SoC) and time-to-market constraints raise new methodological issues. To address these issues, this paper introduces a UML-based SoC modeling approach mixing simulation and formal verification techniques. A UML profile called DIPLODOCUS has been specified. Transformation rules were defined for generating from UML models either a SystemC model or a formal specification given in LOTOS. Thus, relying on SystemC or LOTOS tools the profile allows fast simulation or formal verification techniques to be used over the UML modeling. A toolkit supporting this profile has been implemented. The overall approach is experimented for the design of a telecommunication system.
Keywords :
Unified Modeling Language; circuit CAD; circuit complexity; formal specification; formal verification; system-on-chip; DIPLODOCUS; LOTOS; SoC modeling approach mixing simulation; SystemC model; UML modeling; formal specification; formal verification techniques; system design space exploration; system-on-chip; time-to-market constraints; Formal specifications; Formal verification; Hardware; High level languages; Mathematical model; Software systems; Space exploration; System-on-a-chip; Time to market; Unified modeling language;
Conference_Titel :
Electronics, Circuits and Systems, 2006. ICECS '06. 13th IEEE International Conference on
Conference_Location :
Nice
Print_ISBN :
1-4244-0395-2
Electronic_ISBN :
1-4244-0395-2
DOI :
10.1109/ICECS.2006.379694
