Mahdi Mosaffa

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Delay Insensitive

Power Consumption

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Mahdi Mosaffa, Siamak Mohammadi, Saeed Safari
Statistical analysis of asynchronous pipelines in presence of process variation using formal models. Integr. 55 (2016)
Mohammad Mirzaei, Mahdi Mosaffa, Siamak Mohammadi
Variation-aware approaches with power improvement in digital circuits. Integr. 48 (2015)
Mohammad Yousef Zarei, Mahdi Mosaffa, Siamak Mohammadi
High-Speed, Low-Power Quasi Delay Insensitive Handshake Circuits Based on FinFET Technology. VLSI Design (2014)
Mohammad Mirzaei, Mahdi Mosaffa, Siamak Mohammadi, Jelena Trajkovic
Power and Variability Improvement of an Asynchronous Router Using Stacking and Dual-Vth Approaches. DSD (2013)
Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Fataneh Jafari, Mahdi Mosaffa, Siamak Mohammadi
Designing Robust Asynchronous Circuits Based on FinFET Technology. DSD (2011)
Fataneh Jafari, Mahdi Mosaffa, Siamak Mohammadi
On the Potentials of FinFETs for Asynchronous Circuit Design. ISVLSI (2011)
Mahdi Mosaffa, Fataneh Jafari, Siamak Mohammadi
Designing robust threshold gates against soft errors. Microelectron. J. 42 (11) (2011)