• DocumentCode
    1703054
  • 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
  • fYear
    2008
  • Firstpage
    1071
  • Lastpage
    1075
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/CSCWD.2008.4537128
  • Filename
    4537128