Computer aids for VLSI design - Rubin, Steven M (Addison-Wesley, 1987)
Includes index.