Menouer Boubekeur, Michel P. Schellekens. Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits. In 14th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2007, Marrakech, Morocco, December 11-14, 2007. pages 283-286, IEEE, 2007. [doi]
Abstract is missing.