Login / Signup
Reza Sharafinejad
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 1
Top Topics
Formal Verification
Dynamic Power Management
Parallel Algorithm
Processor Array
Top Venues
VTS
IEEE Trans. Very Large Scale Integr. Syst.
</>
Publications
</>
Reza Sharafinejad
,
Bijan Alizadeh
,
Zainalabedin Navabi
Automatic Correction of Dynamic Power Management Architecture in Modern Processors.
IEEE Trans. Very Large Scale Integr. Syst.
26 (2) (2018)
Reza Sharafinejad
,
Bijan Alizadeh
,
Masahiro Fujita
UPF-based formal verification of low power techniques in modern processors.
VTS
(2015)