• DocumentCode
    453642
  • Title

    New methods of FPGA co-verification for system on chip (SoC)

  • Author

    Yi-fan, Lin ; Xiao-yang, Zeng ; Min, Wu ; Jun, Chen ; Rencheng, Bao

  • Author_Institution
    State Key Lab. of ASIC & Syst., Fudan Univ., Shanghai
  • Volume
    1
  • fYear
    2005
  • fDate
    24-0 Oct. 2005
  • Firstpage
    169
  • Lastpage
    172
  • Abstract
    With the rapid development on the software-hardware co-verification of SoC, FPGA verification has become more and more critical for VLSI design, and it requires much more portion of time within the life circle of chip development. The time spent on the FPGA verification should be reduced to achieve a more efficient time-to-market for the IC product. Therefore, several strategies using both dynamic and static methods to execute this verification are proposed in this paper. By using a variety of techniques such as software static breakpoint monitoring and interrupt vectors remapping, the software verification is accelerated. A bus analyzer is adopted to provide real-time bus monitoring with a vivid evaluation of the system performance. In this paper, experiments show that above methods have greatly enhanced the efficiency and speed of the FPGA co-verification process
  • Keywords
    field programmable gate arrays; formal verification; hardware-software codesign; integrated circuit design; system-on-chip; FPGA co-verification process; SoC; VLSI design; bus analyzer; dynamic methods; real-time bus monitoring; software verification; software-hardware co-verification; static methods; system on chip; Acceleration; Chip scale packaging; Field programmable gate arrays; Monitoring; Performance analysis; Real time systems; System performance; System-on-a-chip; Time to market; Very large scale integration; Bus Monitoring; Co-Verification; Interrupt Vectors Remapping; SoC; Software Monitoring;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    ASIC, 2005. ASICON 2005. 6th International Conference On
  • Conference_Location
    Shanghai
  • Print_ISBN
    0-7803-9210-8
  • Type

    conf

  • DOI
    10.1109/ICASIC.2005.1611289
  • Filename
    1611289