Design Systems for VLSI Circuits door De Micheli, Giovanni