Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland. A Hierarchical Approach to Self-Timed Circuit Verification. In 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019. pages 105-113, IEEE, 2019. [doi]
Abstract is missing.