Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowLei ChenHuaweiPresentationsResearch ManuscriptELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring4:30pm - 4:45pm PDT Tuesday, June 24 3006, Level 3EDAEDA5: RTL/Logic Level and High-level SynthesisResearch ManuscriptsmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding11:30am - 11:45am PDT Wednesday, June 25 3004, Level 3EDAEDA5: RTL/Logic Level and High-level SynthesisResearch ManuscriptEDGE: DBMS-Empowered Boolean Decomposition for GIG Synthesis4:00pm - 4:15pm PDT Tuesday, June 24 3006, Level 3EDAEDA5: RTL/Logic Level and High-level Synthesis