Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowSorna InianCadence Design Systems, Inc.PresentationsNetworkingWork-in-Progress PosterOut of The Box Techniques for Data Path Verification6:00pm - 7:00pm PDT Monday, June 23 Level 2 LobbyDES5: Emerging Device and Interconnect TechnologiesEngineering 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