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
Link To Document