COMPUTER AIDED LOGICAL DESIGN WITH EMPHASIS ON VLSI - HILL, F.J.; PETERSON, G.R. (JOHN WILEY, 2002)