Computer-aided design of VLSI circuits and systems (Jai Pr., 1985)