Automated extraction of SPICE circuit models from symbolic gate matrix layout with pruning. - R. D. Freeman; S. M. Kang; C. G. Lin-Hendel; M. L. Newby (DAC, 1986)