Haiqiong Yao, Hao Zheng 0001, Chris J. Myers. State space reductions for scalable verification of asynchronous designs. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 17-24, IEEE, 2010. [doi]
Abstract is missing.