Computer Aided Logical Design with Emphasis on VLSI
Solutions Manual and Software available. --The publisher, John Wiley & Sons