Xuejun Du Gary D. Hachtel Bill Lin A. Richard Newton 28-38 1991 10 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.62789 db/journals/tcad/tcad10.html#DuHLN91