Enrico Macii Bernard Plessier Fabio Somenzi 1136-1156 1997 16 IEEE Trans. on CAD of Integrated Circuits and Systems 10 http://doi.ieeecomputersociety.org/10.1109/43.662676 db/journals/tcad/tcad16.html#MaciiPS97