Design, Automation & Test in Europe Conference & Exhibition (2005)
Mar. 7, 2005 to Mar. 11, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2005.186
Qiang Zhu , Fujitsu Laboratories LTD., Japan
Ryosuke Oishi , Fujitsu Laboratories LTD., Japan
Takashi Hasegawa , Fujitsu Limited, Japan
Tsuneo Nakata , Fujitsu Laboratories LTD., Japan
In this paper, we proposed 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 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.
R. Oishi, Q. Zhu, T. Nakata and T. Hasegawa, "Integrating UML into SoC Design Process," Design, Automation & Test in Europe Conference & Exhibition(DATE), Munich, Germany Germany, 2005, pp. 836-837.