Functional Verification-University Instructors' Reference

Welcome!

This site has been developed for inter-university and industry collaboration on classes for functional verification. Functional verification has become a major bottleneck in the design of ASICs and custom chips, systems, and servers. Universities are now focusing on teaching the concepts, methods, and technology needed to effectively verify today's complex silicon designs.

Site Sections

Each of the sections on this web site can be reached via the tabs at the top of the page.

Lectures: This section contains slides and teaching materials used by collaborating professors and industry partners.

Labs: This section contains information about the class labs, projects, and exercises.

Tools: Verification requires a wide variety of tools. This section contains information and documentation on the tools used by the classes.

Contacts: This section contains a list of collaborating industry and university partners.

Links: This section contains links to other functional verification sites as well as EDA industry links.

DAC02 Slides: This section contains material from DAC workshop presentations (Now available without passwd protection)



For comments or more information about this site, please contact:
Vijaykrishnan Narayanan vijay@cse.psu.edu -or- Bruce Wile bwile@us.ibm.com