Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowYang SunThe Chinese University of Hong KongPresentationsResearch ManuscriptMassively Parallel AIG ResubstitutionEDARTL/Logic Level and High-level Synthesis