Sequential Circuit Design Using Synthesis and Optimization | AMiner