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
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;
Conference_Titel :
ASIC, 2001. Proceedings. 4th International Conference on
Conference_Location :
Shanghai
Print_ISBN :
0-7803-6677-8
DOI :
10.1109/ICASIC.2001.982678