Formal verification of digital systems by automatic reduction of data paths. - Macii, Enrico; Plessier, Bernard; Somenzi, Fabio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)