VLSI CAD Part I: Logic