Equivalence checking of combinational circuits using Boolean expression diagrams.

Henrik Hulgaard Poul Frederick Williams Henrik Reif Andersen Equivalence checking of combinational circuits using Boolean expression diagrams. 903-917 1999 18 IEEE Trans. on CAD of Integrated Circuits and Systems 7 http://doi.ieeecomputersociety.org/10.1109/43.771175 db/journals/tcad/tcad18.html#HulgaardWA99