Events

Speaker

David Whipp
Stop Writing Assertions!  Creating Efficient Verification Methodologies - ppt (3.9M)

A Verification Methodology defines how engineers interact with a company's tools and processes. This presentation explores the design of methodologies using principles borrowed from user-interface (HCI) design, and examines workflow efficiencies that help limit the scope of verification to just those activities that are best done during verification

Bio:

• Dave has spent 15 years doing verification and modeling since graduating from UMIST in 1993.
• He began his career working on an early SoC methodology at one of the first ARM licensees; since then he has worked on verification of DSPs, microcontrollers and network processors at various companies.
• For the past 5 years he has worked as a Verification Architect at NVIDIA, focusing on unit level simulation environments and transaction level modeling with assertions.
• David also works as Track Chair for the Functional Verification track at DesignCon
• View David Whipp's presented papers from the past few years here.
• Transaction Assertions in an Interface Definition Language: (with slides) from DesignCon 2008.