Paper and Tutorial Presentation Template and Information

February 22-24, 2006Guidelines for creating a formal verification testplanThere is no substitute for thinking!Harry Foster - Mentor Graphics CorpLawrence Loh - Jasper Design AutomationBahman Rabii - GoogleVigyan Singhal - Oski Technology1Agenda• Observation• Verification Testplanning Process• Seven Steps of Formal Testplanning• AHB-I2C ExampleHarry Foster, 2006 2Observation• Successful verification is not ad hoc in nature– Success depends on methodical verification planning combined with systematic verification processes. • The key to success is the verification testplan. Harry Foster, 2006 3Verification Testplan• A project’s functional verification testplan is the specification for the verification process. – Developing this testplan usually involves the entire engineering team• architects, designers, and verification engineers• In general, the verification testplan defines exactly – what functionality will be verified, – how it will be verified• the verification strategy and resource allocation– when the verification process is complete• metrics for measuring progress or completion criteriaHarry Foster, 2006 4FV for bug hunting or assurance?Bug hunting AssuranceMany RTL assertions One comprehensive specPushbutton tools Semi-automated toolsSuccess: # bugs found Success: ckt meets specTestplan critical!Bugs RateAssuranceBug huntingTimeRev 0 RTL TapeoutHarry Foster, 2006 5Agenda• Observation• Verification Testplanning ...