Dale E. Hocevar Rajeev Arora Uttiya Dasgupta Sattam Dasgupta Nagaraj Subramanyam Sham Kashyap A Usable Circuit Optimizer for Designers. 290-293 1990 ICCAD db/conf/iccad/iccad1990.html#HocevarADDSK90