Sharafinejad R, Alizadeh B. Formal Verification of System-Level Power Management Architecture in Modern Processors. Journal of Iranian Association of Electrical and Electronics Engineers 2021; 18 (4) :185-196 URL: http://jiaeee.com/article-1-930-en.html