Nguyen, T. T.; LE-HUU, K.-N.; Bui, T. H.; Dinh-Duc, A.-V. A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool. ECTI-CIT Transactions 2016, 9, 64-73.