System-on-chip verification process using UML

被引:0
|
作者
Zhu, Q
Nakata, T
Mine, M
Kuroki, K
Endo, Y
Hasegawa, T
机构
[1] Fujitsu Labs Ltd, Nakahara Ku, Kawasaki, Kanagawa 2118588, Japan
[2] Fujitsu Cadtech Ltd, KouHouKu Ku, Yokosuka, Kanagawa 2220033, Japan
[3] Fujitsu Ltd, Nakahara Ku, Kawasaki, Kanagawa 2118588, Japan
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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 tau 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.
引用
收藏
页码:138 / 149
页数:12
相关论文
共 50 条
  • [1] An object-oriented design process for system-on-chip using UML
    Zhu, Q
    Matsuda, A
    Kuwamura, S
    Nakata, T
    Shoji, M
    [J]. ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2002, : 249 - 254
  • [2] System-on-chip validation using UML and CWL
    Zhu, Q
    Oishi, R
    Hasegawa, T
    Nakata, T
    [J]. INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 92 - 97
  • [3] A UML for a multiprocessor system-on-chip
    Bique, Stephen
    [J]. WMSCI 2006: 10TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS, 2006, : 218 - 223
  • [4] Using UML activities for System-on-Chip design and synthesis
    Schattkowsky, Tim
    Hausmann, Jan Hendrik
    Engels, Gregor
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 737 - 752
  • [5] High level system-on-chip design using UML and SystemC
    Correa, Blanca Alicia
    Eusse, Juan Fernando
    Munera, Danny
    Aedo, Jose Edinson
    Velez, Juan Fernando
    [J]. CERMA 2007: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS, 2007, : 740 - 745
  • [6] Formal verification of a system-on-chip using computation slicing
    Sen, A
    Bhadra, J
    Garg, VK
    Abraham, JA
    [J]. INTERNATIONAL TEST CONFERENCE 2004, PROCEEDINGS, 2004, : 810 - 819
  • [7] A pragmatic perspective on UML for system-on-chip design
    Indrusiak, Leandro Soares
    [J]. NORCHIP 2005, PROCEEDINGS, 2005, : 169 - 171
  • [8] The use of UML sequence diagram for system-on-chip system level transaction-based functional verification
    Yu, JinShan
    Li, Tun
    Tan, QingPing
    [J]. WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 6173 - +
  • [9] Exploiting concurrency in system-on-chip verification
    Xu, Justin
    Lim, Cheng-Chew
    [J]. 2006 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS, 2006, : 836 - +
  • [10] Using System-on-Chip Boards for the Deployment of Controller for Verification and Prototyping
    Jamal, Adeel
    Griepentrog, Gerd
    [J]. 2022 24TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'22 ECCE EUROPE), 2022,