This tutorial introduces various methodologies employed by design community in managing design and verification complexity using hierarchical static verification techniques. The tutorial covers various aspects of hierarchical verification methodologies discussing advantages, disadvantages and various trade off to be considered in employing these methodologies for static verification signoff. A number of verification flows including top and block level flows and various combinations of flows are presented. Expert Users will also present their case studies and learnings as a part of the presentation.
--Speakers marked with (*) will be unable to attend--