Nguyen, T.T., LE-HUU, K.-N., Bui, T.H. and Dinh-Duc, A.-V. 2016. A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD tool. ECTI Transactions on Computer and Information Technology (ECTI-CIT). 9, 1 (Apr. 2016), 64–73. DOI:https://doi.org/10.37936/ecti-cit.201591.54405.