Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowSunan ZouPeking UniversityPresentationsResearch ManuscriptPONO: Power Optimization with Near Optimal SMT-based Sub-circuit GenerationEDARTL/Logic Level and High-level Synthesis