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
Link To Document