A Progressive Automatic Logic Synthesis Method for Timing-Limited SoC Design | IEEE Conference Publication | IEEE Xplore