SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis. - Chun-Hong Shih; Yi-Hsiang Lai; Jie-Hong Roland Jiang (ICCAD, 2015)

Criticality and Sensitivity Analysis for Incremental Performance Optimization of Asynchronous Pipelines. - Chun-Hong Shih; Jie-Hong R. Jiang (ASYNC, 2017)

Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits. - Cheng-Yu Shih; Chun-Hong Shih; Jie-Hong R. Jiang (DAC, 2017)