Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowXinheng LiShanghai Tech UniversityPresentationsResearch ManuscriptKnowing The Spec to Explore The Design via Transformed Bayesian OptimizationEDARTL/Logic Level and High-level Synthesis