Logic Synthesis Using Synopsys(R) by Taher Abbasi