• DocumentCode
    2849502
  • Title

    FPGA verification methodology for SiSoC based SoC design

  • Author

    Huang, Xu ; Liu, Lintao ; Li, YuJing ; Liu, LunCai ; Huang, XiaoZong

  • Author_Institution
    Sichuan Inst. of Solid State Circuits, Chongqing, China
  • fYear
    2011
  • fDate
    17-18 Nov. 2011
  • Firstpage
    1
  • Lastpage
    2
  • Abstract
    This paper proposes an efficient FPGA verification methodology for SiSoC-based SoC design. FPGA-based verification platform is an effective way to verify the SoC design, and it is becoming very important to build a prototype of the SoC design in FPGA. SiSoC is a high-performance and low-power processor. The SiSoC-based SoC design adopts AMBA bus to connect SiSoC processor to peripheral IPs and external memory system. FPGA-based verification platform can improve the time-to-market and help avoid costly re-spins by enabling early embedded software development and allowing hardware and software co-verification well ahead of chip fabrication.
  • Keywords
    field programmable gate arrays; formal verification; integrated circuit design; logic design; low-power electronics; system-on-chip; time to market; AMBA bus; FPGA verification; SiSoC based SoC design; SiSoC processor; chip fabrication; external memory system; low-power processor; peripheral IP; time-to-market; Computer architecture; Field programmable gate arrays; Hardware; Linux; Software; System-on-a-chip; FPGA; SoC; Verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electron Devices and Solid-State Circuits (EDSSC), 2011 International Conference of
  • Conference_Location
    Tianjin
  • ISSN
    Pending
  • Print_ISBN
    978-1-4577-1998-1
  • Electronic_ISBN
    Pending
  • Type

    conf

  • DOI
    10.1109/EDSSC.2011.6117612
  • Filename
    6117612