DocumentCode
2589872
Title
Integrating UML into SoC design process
Author
Zhu, Qiang ; Oishi, Ryosuke ; Hasegawa, Takashi ; Nakata, Tsuneo
Author_Institution
Fujitsu Labs. Ltd., Japan
fYear
2005
fDate
7-11 March 2005
Firstpage
836
Abstract
In this paper, we propose a method for integrating UML model into the current SoC design process. UML is introduced as a formal model of specification for SoC design. The consistency and completeness of the specification is validated based on the formal UML model. The implementation is validated by a systematic derivation of test scenarios from the UML model. The method has been applied to the design of a new media-processing chip for mobile devices. The application of the method shows that it is not only effective for finding logical errors in the implementation, but also eliminates errors due to inconsistency and incompleteness of the specification.
Keywords
Unified Modeling Language; formal specification; hardware-software codesign; mobile computing; system-on-chip; SoC design process; UML; formal specification; incompleteness; inconsistency; logical errors; media-processing chip; mobile devices; specification completeness; specification consistency; Automatic testing; Design automation; Europe; Process design; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe, 2005. Proceedings
ISSN
1530-1591
Print_ISBN
0-7695-2288-2
Type
conf
DOI
10.1109/DATE.2005.186
Filename
1395685
Link To Document