​
Login / Signup
Ashiq A. Sakib
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 10
Top Topics
Asynchronous Circuits
Tunnel Diode
Formal Models
Delay Insensitive
Top Venues
MWSCAS
IEEE Access
ICECS
NEWCAS
</>
Publications
</>
Danylo Khodosevych
,
Alexander C. Bodoh
,
Ashiq A. Sakib
,
Scott C. Smith
Combining Relaxation With NCL_X for Enhanced Optimization of Asynchronous Null Convention Logic Circuits.
IEEE Access
11 (2023)
Mithun Datta
,
Alexander C. Bodoh
,
Ashiq A. Sakib
Error Resilient Sleep Convention Logic Asynchronous Circuit Design.
NEWCAS
(2023)
Alexander C. Bodoh
,
Ashiq A. Sakib
Comparative Analysis of CNTFET and CMOS based NCL Asynchronous Circuits: A Study of Scaling Trends.
UEMCON
(2022)
Danylo Khodosevych
,
Ashiq A. Sakib
Evolution of NULL Convention Logic Based Asynchronous Paradigm: An Overview and Outlook.
IEEE Access
10 (2022)
Ashiq A. Sakib
,
Scott C. Smith
Implementation of Static NCL Threshold Gates Using Emerging CNTFET Technology.
ICECS
(2020)
Ashiq A. Sakib
,
Abir A. Akib
,
Scott C. Smith
Implementation of FinFET Based Static NCL Threshold Gates: An Analysis of Design Choice.
MWSCAS
(2020)
Mousam Hossain
,
Ashiq A. Sakib
,
Sudarshan K. Srinivasan
,
Scott C. Smith
An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits.
ISCAS
(2019)
Ashiq A. Sakib
,
Scott C. Smith
,
Sudarshan K. Srinivasan
Formal Modeling and Verification of PCHB Asynchronous Circuits.
IEEE Trans. Very Large Scale Integr. Syst.
27 (12) (2019)
Ashiq A. Sakib
,
Scott C. Smith
,
Sudarshan K. Srinivasan
An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits.
MWSCAS
(2018)
Ashiq A. Sakib
,
Scott C. Smith
,
Sudarshan K. Srinivasan
Formal modeling and verification for pre-charge half buffer gates and circuits.
MWSCAS
(2017)