UPF-based formal verification of low power techniques in modern processors R Sharafinejad, B Alizadeh, M Fujita 2015 IEEE 33rd VLSI Test Symposium (VTS), 1-6, 2015 | 15 | 2015 |
Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation B Alizadeh, SR Sharafinejad IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019 | 14 | 2019 |
Automatic Correction of Dynamic Power Management Architecture in Modern Processors R Sharafinejad, B Alizadeh, Z Navabi IEEE Transactions on Very Large Scale Integration (TVLSI) Systems 26 (2 …, 2018 | 2 | 2018 |
Single Channel Source Separation Using Non-Gaussian NMF and Modified Hilbert Spectrum R Sharafinejad, M Eshghi, H Alizadeh International Journal of Soft Computing and Soft Engineering (JSCSE) 5 (1), 1-12, 2015 | 2 | 2015 |
Formal Verification of Non-Functional Strategies of System-Level Power Management Architecture in Modern Processors R Sharafinejad, B Alizadeh, T Nikoubin 2020 IEEE 14th Dallas Circuits and Systems Conference (DCAS), 1-6, 2020 | 1 | 2020 |
Formal Verification of System-Level Power Management Architecture in Modern Processors R Sharafinejad, B Alizadeh Journal of Iranian Association of Electrical and Electronics Engineers 18 (4 …, 2021 | | 2021 |
Single-channel audio source separation using adaptive EEMD and local margin spectrum SR Sharafinezhad, M Eshghi, H Alizadeh 20th Iranian Conference on Electrical Engineering (ICEE2012), 1403-1408, 2012 | | 2012 |
Image Denoising Using Adaptive Ensemble Empirical Mode Decomposition SR Sharafinezhad, H Alizadeh, M Eshghi 7th Iranian Conference on Machine Vision and Image Processing (MVIP2011), 1-1, 2011 | | 2011 |