Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowGuangyu HuThe Hong Kong University of Science and TechnologyPresentationsResearch ManuscriptLegend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking11:06am - 11:18am PDT Wednesday, July 29 Mtg Room 202ABEDAEDA2. Design Verification and Validation
