Logic Synthesis Using Synopsys(R) door Taher Abbasi