Logic Synthesis Using Synopsys