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