Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowClarice OliveiraCadence Design Systems, Inc.PresentationsEngineering PresentationFormal signoff for Cross-Module Design logic: A novel approach to manage formal scope in increasingly complex systems2:15pm - 2:30pm PDT Tuesday, June 24 2010, Level 2Front-End Design
