Design Systems for VLSI Circuits by Antognetti, Paolo