Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowRan ZhaoCadence Design Systems, Inc.PresentationsEngineering PosterAdvancing CDC Formal Verification in Low-Power SoCs Using Power Intent and Smart Waiver Techniques5:00pm - 6:00pm PDT Monday, July 27 DAC Pavilion, Exhibit FloorAIChipletDesignEDAQuantumSecuritySystems