Eugene Goldberg Kanupriya Gulati Sunil P. Khatri Toggle Equivalence Preserving (TEP) Logic Optimization. 271-279 2007 DSD http://dx.doi.org/10.1109/DSD.2007.4341480 conf/dsd/2007 db/conf/dsd/dsd2007.html#GoldbergGK07