• DocumentCode
    2228536
  • Title

    A debug sub-system for embedded-system co-verification

  • Author

    Jianhua, Liu ; Ming, Zhu ; Jinian, Bian ; Hongxi, Xue

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    777
  • Lastpage
    780
  • Abstract
    With the development of VLSI, embedded system is growing sharply. A new methodology, Co-design, appeared to meet needs of embedded system designing. System designers require good EDA tools, which support Co-design methodology. Debug is an important part of design process, so we improved a debug subsystem to fit Co-design. Different from traditional software debug tools, the new debug system was designed to reflect the real and comprehensive status of an embedded system. To achieve this goal, we add a little circuit to original system. The circuit will control the debug process, and collect information that designer focuses. The information covers software and hardware information. All errors, including errors across boundary between software and hardware, will be detected. This debug sub-system have implemented on a co-verification platform. The platform based on a FPGA emulator, so the debug sub-system can be implemented and reconfigured very quickly
  • Keywords
    VLSI; circuit CAD; field programmable gate arrays; formal verification; hardware-software codesign; integrated circuit design; logic CAD; program debugging; EDA; FPGA emulator; VLSI; co-design; co-verification; embedded system design; errors; software debug; Circuits; Computer errors; Electronic design automation and methodology; Embedded software; Embedded system; Hardware; Process design; Software debugging; Software tools; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    ASIC, 2001. Proceedings. 4th International Conference on
  • Conference_Location
    Shanghai
  • Print_ISBN
    0-7803-6677-8
  • Type

    conf

  • DOI
    10.1109/ICASIC.2001.982678
  • Filename
    982678