Formal modeling and verification for pre-charge half buffer gates and circuits. - Ashiq A. Sakib; Scott C. Smith; Sudarshan K. Srinivasan (MWSCAS, 2017)

An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits. - Ashiq A. Sakib; Scott C. Smith; Sudarshan K. Srinivasan (MWSCAS, 2018)

An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits. - Mousam Hossain; Ashiq A. Sakib; Sudarshan K. Srinivasan; Scott C. Smith (ISCAS, 2019)

Formal Modeling and Verification of PCHB Asynchronous Circuits. - Ashiq A. Sakib; Scott C. Smith; Sudarshan K. Srinivasan (IEEE Trans. Very Large Scale Integr. Syst., 2019)

Implementation of Static NCL Threshold Gates Using Emerging CNTFET Technology. - Ashiq A. Sakib; Scott C. Smith (ICECS, 2020)

Implementation of FinFET Based Static NCL Threshold Gates: An Analysis of Design Choice. - Ashiq A. Sakib; Abir A. Akib; Scott C. Smith (MWSCAS, 2020)

Comparative Analysis of CNTFET and CMOS based NCL Asynchronous Circuits: A Study of Scaling Trends. - Alexander C. Bodoh; Ashiq A. Sakib (UEMCON, 2022)

Evolution of NULL Convention Logic Based Asynchronous Paradigm: An Overview and Outlook. - Danylo Khodosevych; Ashiq A. Sakib (IEEE Access, 2022)

Error Resilient Sleep Convention Logic Asynchronous Circuit Design. - Mithun Datta; Alexander C. Bodoh; Ashiq A. Sakib (NEWCAS, 2023)

Combining Relaxation With NCL_X for Enhanced Optimization of Asynchronous Null Convention Logic Circuits. - Danylo Khodosevych; Alexander C. Bodoh; Ashiq A. Sakib; Scott C. Smith (IEEE Access, 2023)

SR-NCL: An Area-/Energy Efficient Resilient NCL Architecture based on Selective Redundancy. - Hasnain A. Ziad; Alexander C. Bodoh; Ashiq A. Sakib (ISCAS, 2025)