Enhanced TED: A New Data Structure for RTL Verification. - Pejman Lotfi-Kamran; Mehran Massoumi; Mohammad Mirzaei; Zainalabedin Navabi (VLSI Design, 2008)

Coverage Driven High-Level Test Generation Using a Polynomial Model of Sequential Circuits. - Bijan Alizadeh; Mohammad Mirzaei; Masahiro Fujita (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Power and Variability Improvement of an Asynchronous Router Using Stacking and Dual-Vth Approaches. - Mohammad Mirzaei; Mahdi Mosaffa; Siamak Mohammadi; Jelena Trajkovic (DSD, 2013)

A New Approach for Automatic Test Pattern Generation in Register Transfer Level Circuits. - Mohammad Mirzaei; Mahmoud Tabandeh; Bijan Alizadeh; Zainalabedin Navabi (IEEE Des. Test, 2013)

Variation-aware approaches with power improvement in digital circuits. - Mohammad Mirzaei; Mahdi Mosaffa; Siamak Mohammadi (Integr., 2015)

A theory of flow network typings and its optimization problems - Mohammad Mirzaei (2016)

Elastic buffer evaluation for link pipelining under process variation. - Seyed Mohamad Taghi Adl; Mohammad Mirzaei; Siamak Mohammadi (IET Circuits Devices Syst., 2018)

Process variation-aware approximate full adders for imprecision-tolerant applications. - Mohammad Mirzaei; Siamak Mohammadi (Comput. Electr. Eng., 2020)

A Novel Highly-Efficient Inexact Full Adder Cell for Motion and Edge Detection Systems of Image Processing in CNFET Technology. - Yavar Safaei Mehrabani; Samaneh Goldani Gigasari; Mohammad Mirzaei; Hamidreza Uoosefian (ACM J. Emerg. Technol. Comput. Syst., 2022)

Aphid-Ant Mutualism: A novel nature-inspired​ metaheuristic algorithm for solving optimization problems. - Nava Eslami; Samaneh Yazdani; Mohammad Mirzaei; Esmaeil Hadavandi (Math. Comput. Simul., 2022)

CCMBO: a covariance-based clustered monarch butterfly algorithm for optimization problems. - Samaneh Yazdani; Esmaeil Hadavandi; Mohammad Mirzaei (Memetic Comput., 2022)

A modified binary version of aphid-ant mutualism for feature selection: a COVID-19 case study. - Nava Eslami; Samaneh Yazdani; Mohammad Mirzaei; Esmaeil Hadavandi (J. Comput. Des. Eng., 2023)