Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowAnunay BajajCadence Design Systems, Inc.PresentationsEngineering PosterFormal meets Simulation: Accelerate Verification closure using Multiplatform technologies5:00pm - 6:00pm PDT Tuesday, June 24 Engineering Posters, Level 2 Exhibit Hall