Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowPrakash NarainReal IntentPresentationsExhibitor ForumStatic Sign-Off Methodologies: Liberating Functional Verification from Boolean Shackles1:45pm - 2:15pm PDT Monday, June 23 Exhibitor Forum, Level 1 Exhibit HallDAC Pavilion PanelCooley's DAC Troublemaker Panel3:00pm - 4:00pm PDT Monday, June 23 DAC Pavilion, Level 2 Exhibit Hall