Title: Logic Synthesis Using Synopsys(r)