A Scalable Formal Framework for the Verification and Vulnerability Analysis of Redundancy-Based Error-Resilient Null Convention Logic Asynchronous Circuits. - Mazumder, Dipayan; Datta, Mithun; Bodoh, Alexander C.; Sakib, Ashiq A. (Journal of Low Power Electronics & Applications, 2024)