Oriol Roig, Jordi Cortadella, Enric Pastor. Hierarchical gate-level verification of speed-independent circuits. In Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK. pages 128-137, IEEE Computer Society, 1995. [doi]
Abstract is missing.