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 :
بازگشت