Title :
Integrated ISS and FPGA SoC HW/SW Co-verification environment design
Author :
Zhang, Xunying ; Hui, Fei ; Wang, Qiang ; Shen, Xubang
Author_Institution :
Xian Microelectron. Technol. Inst., Xian
Abstract :
This paper developed an integrated ISS and FPGA SoC co-verification platform named MLCV, introduced the overall structure and principle of MLCV, and described each component´s function of MLCV. Processor is modeled by an ISS that interface with the source-level debugger. The peripherals are implemented in the FPGA board. Communication between ISS and FPGA is encapsulated by a co- verification wrapper. To synchronize the bus operation, the on-chip bus protocol is implemented in FPGA. As a bus master, the ISS´s peripheral access information is generated by the co-verification wrapper. SoC architecture supported by MLCV is limited by the on- chip bus protocol.
Keywords :
field programmable gate arrays; formal verification; instruction sets; logic CAD; system-on-chip; FPGA SoC HW/SW co-verification environment design; MLCV; co-verification wrapper; instruction-set simulator; integrated ISS; Access protocols; Computer architecture; Costs; Emulation; Field programmable gate arrays; Hardware design languages; Microelectronics; Software prototyping; System-on-a-chip; Virtual prototyping; FPGA; GDB; HW/SW Co-verification; ISS;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2008. CSCWD 2008. 12th International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-4244-1650-9
Electronic_ISBN :
978-1-4244-1651-6
DOI :
10.1109/CSCWD.2008.4537128