VLSI circuit layout ; theory and design (IEEE Pr., 1985)