Hyungwon Kim John P. Hayes 290-306 2001 20 IEEE Trans. on CAD of Integrated Circuits and Systems 2 http://doi.ieeecomputersociety.org/10.1109/43.908472 db/journals/tcad/tcad20.html#KimH01