Title :
An Innovative Embedded Logic Analyzer Based SoC Verification Platform
Author :
Lu, Chao ; Chen, Zhaoqian ; Wang, Lingli ; Zhou, Xiaofang
Author_Institution :
Dept. of Microelectron., Fudan Univ., Shanghai
Abstract :
This paper describes an innovative hardware/software co-verification platform, based on an embedded logic analyzer (ELA) in FPGA emulator, for system-on-a-chip. With the general-purpose ELA, the platform is rich in reusability, which reduces the expense of SOC verification. By offering the interface, image of design under test (DUT) and virtual channel, the platform plays the role as glue, which integrates different verification methods together. External verification tools as well as software develop environment can be involved in the platform. Behavior model written in C language and assertion-based verification (ABV) are also supported in this verification platform. To improve the verification efficiency, the platform can capture different amount of sampling signals dynamically in different situations using application-specific verification program. This platform characterizes high efficiency, flexibility and portability with low cost
Keywords :
C language; embedded systems; field programmable gate arrays; formal verification; hardware-software codesign; logic analysers; system-on-chip; C language; assertion-based verification; design under test; embedded logic analyzer; field programmable gate arrays; hardware/software co-verification; system-on-chip; virtual channel; Embedded software; Emulation; Field programmable gate arrays; Logic design; Logic testing; Performance analysis; Random access memory; Sampling methods; Software tools; System-on-a-chip;
Conference_Titel :
Solid-State and Integrated Circuit Technology, 2006. ICSICT '06. 8th International Conference on
Conference_Location :
Shanghai
Print_ISBN :
1-4244-0160-7
Electronic_ISBN :
1-4244-0161-5
DOI :
10.1109/ICSICT.2006.306494