Abstract
In this paper, we propose a verification methodology for System-On-Chip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze and formalize the specification. The specification and implementation validation can be performed systematically by introducing UML. We applied our method to a Mobile Media Processors SoC. We improved the quality of ΞΆ the specification written in informal natural language through UML modeling techniques. The test scenarios and coverage metrics for implementation are derived from the UML model systematically. The result shows that our proposal is effective for eliminating errors from both specification and implementation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Semiconductor Industry Association, International Technology Roadmap for Semiconductors: 1999 edn. International SEMATECH, Austin, Texas (1999)
Jacobson, I.: Object-Oriented Software Engineering A Use Case Driven Approach. Addison-Wesley Toppan, Reading (1995)
Rumaugh, J., Blaha, M., Lorensen, W., Eddy, F.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)
Baudoin, C., Hollowell, G.: Realizing the Object-Oriented Lifecycle. Prentice Hall, Upper Saddle River (1996)
OMG home page, http://www.omg.org/
Standard VHDL Language Reference Manual, IEEE Std. 1076-1987 (1998)
Thomas, D.E., Moorby, P.R.: The Verilog Hardware Description Language, 2nd edn. Kluwer Academic Publishers, Dordrecht (1994)
Standard for VHDL Register Transfer Level Synthesis, IEEE Std. 1076-6-1999 (1999)
SystemC OSCI, http://www.systemc.org
Gajski, D., Zhu, J., Domer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Dordrecht (2000)
Abdi, S., Peng, J., Yu, H., Shin, D., Gerstlauer, A., Doemer, R., Gajski, D.: System-on-Chip Environment: SCE Version 2.2.0 Beta Tutorial. TR 03-41 (December 2003)
Zhu, Q., Matsuda, A., Kuwamura, S., Nakata, T., Shoji, M.: An object-oriented design process for System-on-Chip using UML. In: Proc. of the 15th Int. Symposium on System Synthesis (ISSS 2002), Kyoto, Japan, October 1-4, pp. 249β254 (2002)
Component Wrapper Language, http://www.labs.fujitsu.com/en/techinfo/cwl/index.htm
Lieverse, P., Stefanov, T., van der Wolf, P., Deprettere, E.: System Level Design with Spade: an M-JPEG Case Study. In: IEEE/ACM International Conference on Computer Aided Design ICCAD 2001, November 2001, pp. 26β32 (2001)
Press Release of Fujitsu Microelectronics America Inc., http://www.fma.fujitsu.com/newsArt.asp?code=033004b
Object Management Group, OMG Unified Modeling Language Specification 1.3 (2001)
Larman, C.: Applying UML and Patterns: an introduction to object-oriented analysis and design. Prentice Hall Jpan, Englewood Cliffs (1998)
Dustin, E., Rashka, J., Paul, J.: Automated Software Testing: Introduction, Management, and Performance. Addison-Wesley, Reading (2002)
CWL2HDL, http://www.labs.fujitsu.com/en/techinfo/cwl/download_tools.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Β© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, Q., Nakata, T., Mine, M., Kuroki, K., Endo, Y., Hasegawa, T. (2005). System-on-Chip Verification Process Using UML. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds) UML Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31797-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-31797-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25081-4
Online ISBN: 978-3-540-31797-5
eBook Packages: Computer ScienceComputer Science (R0)