The Magazine of the IEIE (전자공학회지)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

단일칩시스템 설계검증을 위한 가상프로토타이핑

  • Published : 2003.09.01

⟨ Previous Next ⟩

Abstract

여러기능들이 복합적으로 통합되고 있는 단일칩시스템을 설계하는데 있어 소프트웨어와 하드웨어를 가능한 일찍 통합하여 검증하는 것이 무엇보다 중요하다. 이러한 조기 통합검증에 필요한 것이 가상프로토타입(Virtual-Prototype) 이다. 본 고에서는 IP(Intellectual Property) 와 단일칩시스템(SoC : System-on-a-Chip) 설계 및 검증에서 가상프로토타입의 필요성과 역할 그리고 이에 관련된 기술들에 대해 정리하고, 프로세싱 코어가 있는 단일칩시스템을 SystemC로 가상프로토타이핑한 사례를 통해 그 유용성을 설명한다.

Keywords

References

  1. Behavioral Synthesis Digital System Disign Using the Synopsys Behavioral Compiler D.W.Knapp
  2. Understanding Behavioral Synthesis: A Practical Guide to High-Level Design J.P.Elliott
  3. IEEE Std 1364-2001, IEEE Standard for Verilog Hardware Description Language Verilog
  4. IEEE Std 1076-2002, IEEE Standard VHDL Language Reference Manual VHDL
  5. e Language Reference Manual Verisity
  6. OpenVera
  7. TestBuilder
  8. SystemC Verification Library OSCI
  9. Mentor Graphics, Co-modeling 10,000 times faster than your current software simulator
  10. Standard Co-Emulation Modeling Interface (SCE-MI) Reference Manual SCE-MI
  11. iPROVE: A Block Design and Verification Platform Ando,Ki
  12. Surviving the SOC Revolution: A Guide to Platform-Based Design H.Chang;L.Cooke;M.Hunt;G.Martin;A.McNelly;L.Todd
  13. CASTLE project at German National Research Center for Information Technology
  14. Chinook project at University of Washington
  15. COSYMA project at Technical University of Braunschweig
  16. LYCOS project at Technical University of Denmark
  17. MEIJE project at INRIA
  18. PeaCE project at Seoul National University
  19. Police project at University of California at Berkeley
  20. Ptolemy project at University of California at Berkeley
  21. Vulcan project at Stanford University
  22. ARM Architecture Reference Manual(2nd Ed.) D.Seal
  23. AMBA Specification(Rev. 2.0) ARM Ltd.
  24. SystemC 2.0. 1 Language Reference Manual(Rev. 1.0) OSCI
  25. RVARMulator, RealView Developer Suite-Instruction Set Simulators
  26. Cycle-Accurate Co-Emulation with SystemC Ando,Ki
  27. iSAVE User Manual Dynalith Systems
  28. μCLinux
  29. AT91 ARM Thumb Microcontrollers Atmel Corporation
  30. Debugging with GDB the GNU source-level debugger R.Stallman;R.Pesch
  31. The ARMulator, Application Note 32, ARM DAI 0032E ARM Limited
  32. ARM Software Development Toolkit User Guide ARM Limited
  33. Hardware/Software Co-Design Principles and Practice J.Staunstrup;W.Wolf
  34. Hardware-Software Co-design of Embedded Systems The POLIS Approach F.Balarin(et al.)
  35. SystemC Methodologies and Applications W.Muller;W.Rosenstiel
  36. System Design with SystemC T.Grotker;S.Liao;G.Martin;S.Swan
  37. System-on-chip Methodologies & Design Languages P.J.Ashenden;J.P.Mermet;R.Seepold
  38. System-on-a-chip Verification Methodology and Techniques P.Rashinkar;P.Paterson;L.Singh