Chung-Kuan Cheng David N. Deutsch Craig Shohara Mark Taparauskas Mark Bubien 115-127 1992 11 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.108624 db/journals/tcad/tcad11.html#ChengDSTB92