Methods and Algorithms for Scalable Verification of Asynchronous Designs