• DocumentCode
    500907
  • Title

    Exploiting “Architecture for Verification” to streamline the verification process

  • Author

    Whipp, Dave

  • Author_Institution
    NVIDIA, Santa Clara, CA, USA
  • fYear
    2009
  • fDate
    26-31 July 2009
  • Firstpage
    212
  • Lastpage
    215
  • Abstract
    A typical hardware development flow starts the verification process concurrently with RTL, but the overall schedule becomes limited by the effort required to complete all the necessary verification tasks. Being the limiting factor, verification schedules become unpredictable, often resulting in slippage of the tapeout dates. This paper looks at ways to restructure the flow to complete a significant part of this effort during the architectural phase of the project, prior to the start of RTL. This front-loading of the schedule allows a smaller verification team to complete the process with a tighter schedule.
  • Keywords
    formal verification; tapeout dates; verification process; verification schedules; Costs; Debugging; Hardware; Job shop scheduling; Manufacturing processes; Permission; Switches; Testing; Timing; Writing; ESL; executable specification; verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2009. DAC '09. 46th ACM/IEEE
  • Conference_Location
    San Francisco, CA
  • ISSN
    0738-100X
  • Print_ISBN
    978-1-6055-8497-3
  • Type

    conf

  • Filename
    5227165