Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen. Equivalence checking of hierarchical combinational circuits. In 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999, Pafos, Cyprus, September 5-8, 1999. pages 355-360, IEEE, 1999. [doi]
Abstract is missing.