Chun-Hong Shih, Yi-Hsiang Lai, Jie-Hong Roland Jiang. SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 442-449, ACM, 2015. [doi]
Abstract is missing.