Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowYuan PuThe Chinese University of Hong KongPresentationsResearch ManuscriptNeuroSelect: Learning to Select Clauses in SAT SolversEDADesign Verification and ValidationResearch ManuscriptLesyn: Placement-aware Logic Resynthesis for Non-Integer Multiple-Cell-Height DesignsEDAPhysical Design and Verification
