A Method for Improving the Efficiency of Simulating Large Electronic Circuits. - H. Song; Dileep A. Divekar; L. Mills; P. Wang (ISCAS, 1993)