Cuong Chau

A Hierarchical Approach to Self-Timed Circuit Verification

Marly Roncken, Matt Kaufmann, Warren A. Hunt, 2019, 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).