• DocumentCode
    3073807
  • Title

    A Real-Time Interactive Verification System for ASIC Design

  • Author

    Su, Linlin ; Zhang, Xiaolin

  • Author_Institution
    Sch. of Electron. & Inf. Eng., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China
  • Volume
    1
  • fYear
    2009
  • fDate
    10-11 July 2009
  • Firstpage
    431
  • Lastpage
    434
  • Abstract
    The verification takes over 70% of the whole workload in design of digital chips, especially the chips for communications. Practically, the FPGA verification is common used because the simulation verification is low-efficient. But it is not a perfect substitute for the simulation verification. So the method to improve the efficiency of the simulation should be investigated. The verification system proposed in this paper has been used in the verification work of the chips of the Dual-system navigation receiverpsilas baseband circuit. The verification methods in the system reduce the debug time, which are separating the part of the verification process to avoid the repetition and providing the real-time interactive interface to the designer.
  • Keywords
    application specific integrated circuits; field programmable gate arrays; formal verification; real-time systems; ASIC design; FPGA verification; application specific integrated circuits; digital chips; dual system navigation receiver baseband circuit; field programmable gate arrays; real-time interactive verification; simulation verification; Application specific integrated circuits; Baseband; Circuit faults; Circuit simulation; Design engineering; Field programmable gate arrays; Hardware design languages; Navigation; Real time systems; Testing; ASIC verification; real-time inteactive interface; simulation system;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Engineering, 2009. ICIE '09. WASE International Conference on
  • Conference_Location
    Taiyuan, Shanxi
  • Print_ISBN
    978-0-7695-3679-8
  • Type

    conf

  • DOI
    10.1109/ICIE.2009.268
  • Filename
    5211273