Asynchronous Design

B. Lin and S. Devadas, "Synthesis of Hazard-Free Multilevel Logic Under Multiple-Input Changes from Binary Decision Diagrams", IEEE Transactions on Computer-Aided Design, pp. 974-985, August 1995.

K. Yun, B. Lin, D. Dill and S. Devadas, "Performance-Driven Synthesis of Asynchronous Controllers", Proceedings of the International Conference on Computer-Aided Design, pp. 550-557, November 1994.