Dr. Ashiq Sakib joined Florida Poly as an assistant professor in the Department of
Electrical and Computer Engineering in August 2019. His research focuses on advanced
digital systems design, which spans over asynchronous logic design and optimization,
low-power designs, resilience, and formal verification. His research projects have
received federal and non-federal funding from agencies like National Science Foundation
(NSF) and Southeastern Center for Electrical Engineering Education (SCEEE).
Sakib has taught several core and concentration courses ranging from freshmen to graduate
level, such as Foundational Lessons in Applications of MathEmatics (FLAME), Digital
Logic Design, Digital Electronics, Computer Architecture and Organization, Embedded
OS, and Embedded Control at Florida Poly since fall 2019.
Before joining Florida Poly, Sakib worked as a research assistant and teaching assistant
in the department of Electrical and Computer Engineering at North Dakota State University
from 2014-2019. He also served as a guest lecturer for multiple undergraduate- and
graduate-level courses at NDSU.
Sakib is an associate editor of the Journal of Circuits, Systems, and Computers (JSC).
He has also served as a reviewer for multiple reputed journals (IEEE, MDPI, Elsevier,
JSC, etc.), and for reputed technical IEEE/ACM conferences, such as ACM/IEEE DAC,
IEEE ISVLSI, IEEE MWSCAS, IEEE ISCAS, Asia Pacific Conference on Circuits and Systems
(APCCAS), etc.
Recipient of the Computer and Information Science and Engineering Research Initiation
Initiative (CRII) award ($175,000), National Science Foundation.
Recipient of the Research Initiation Grant, Southeastern Center for Electrical Engineering
Education.
2021 Ablaze Award for Exemplary Services to Others, Florida Polytechnic University.
Love of Learning award by the honor society of Phi Kappa Phi, 2018.
NSF Travel Award to participate in the Student Activities program, IEEE-VTS’17 conference
held in Las Vegas, 2017 (1 of 10 recipients).
Ph.D. in Electrical and Computer Engineering, North Dakota State University, 2019
B.Tech. in Electronics and Communication Engineering, Institute of Engineering and
Management (IEM), West Bengal University of Technology (WBUT), 2013
Asynchronous Logic Design
Advanced Digital Design
Embedded Systems
Formal Verification
Low-Power Design
Associate Editor, Journal of Circuits, Systems, and Computers, 2021-current
Member, Technical Program Committee, IEEE IEMTRONICS 2020, 2021, 2022
Faculty Adviser, Mu-Omega Chapter of IEEE-HKN at Florida Poly 2020-present.
Member, Institute of Electrical and Electronics Engineers (IEEE)| IEEE Circuits and
Systems (IEEE-CAS) Society| Association for Computing Machinery (ACM)| The honor Society
of Phi-Kappa Phi| IEEE-HKN
A. A. Sakib, S. Le, S. C. Smith, and S. K. Srinivasan, "Formal verification of NCL circuits," (Materials, Circuits & Devices, 2019), Asynchronous Circuit Applications, Chap.
15, pp. 309-338, DOI:10.1049/PBCS061E_ch15, IET Digital Library.
A. A. Sakib, S. C. Smith and S. K. Srinivasan, "Formal Modeling and Verification of
PCHB Asynchronous Circuits," in IEEE Transactions on Very Large-Scale Integration
(VLSI) Systems, vol. 27, no. 12, pp. 2911-2924, Dec. 2019, doi: 10.1109/TVLSI.2019.2937087.
A. A. Sakib, "Soft Error Tolerant Quasi-Delay Insensitive Asynchronous Circuits: Advancements
and Challenges," 2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and
Systems Design (SBCCI), Campinas, Brazil, 2021, pp. 1-6, doi: 10.1109/SBCCI53441.2021.9530001.
A. C. Bodoh and A. A. Sakib, "Comparative Analysis of CNTFET and CMOS based NCL Asynchronous
Circuits: A Study of Scaling Trends," 2022 IEEE 13th Annual Ubiquitous Computing,
Electronics & Mobile Communication Conference (UEMCON), New York, NY, NY, USA, 2022,
pp. 0407-0412, doi: 10.1109/UEMCON54665.2022.9965723.
A. A. Sakib and S. C. Smith, "Implementation of Static NCL Threshold Gates Using Emerging
CNTFET Technology," 2020 27th IEEE International Conference on Electronics, Circuits
and Systems (ICECS), Glasgow, UK, 2020, pp. 1-4, doi: 10.1109/ICECS49266.2020.9294823.
A. A. Sakib, A. A. Akib and S. C. Smith, "Implementation of FinFET Based Static NCL
Threshold Gates: An Analysis of Design Choice," 2020 IEEE 63rd International Midwest
Symposium on Circuits and Systems (MWSCAS), Springfield, MA, USA, 2020, pp. 37-40,
doi: 10.1109/MWSCAS48704.2020.9184629.
A. A. Sakib, S. C. Smith and S. K. Srinivasan, "Formal modeling and verification for
pre-charge half buffer gates and circuits," 2017 IEEE 60th International Midwest Symposium
on Circuits and Systems (MWSCAS), Boston, MA, USA, 2017, pp. 519-522, doi: 10.1109/MWSCAS.2017.8052974.
A. A. Sakib, S. C. Smith and S. K. Srinivasan, "An Equivalence Verification Methodology
for Combinational Asynchronous PCHB Circuits," 2018 IEEE 61st International Midwest
Symposium on Circuits and Systems (MWSCAS), Windsor, ON, Canada, 2018, pp. 767-770,
doi: 10.1109/MWSCAS.2018.8624068.
M. Hossain, A. A. Sakib, S. K. Srinivasan and S. C. Smith, "An Equivalence Verification
Methodology for Asynchronous Sleep Convention Logic Circuits," 2019 IEEE International
Symposium on Circuits and Systems (ISCAS), Sapporo, Japan, 2019, pp. 1-5, doi: 10.1109/ISCAS.2019.8702098.