Relaxation techniques for the simulation of VLSI circuits - White, Jacob K; Vincentelli, Alberto Sangiovann (Boston Kluwer academic, 1987)