XML Persian Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

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
College of Engineering, Universtiy of Tehran, Tehran, Iran
Abstract:   (1415 Views)
As the complexity of low-power designs grows, more efficient and automated tools are needed to functionally verify them. Simultaneous verification of both the design functionality and the consistency of power management controllers with the low-level power intent is a big challenge. This paper presents a method which attempts to resolve such a problem for complicated processors with tens of power domains. In order to ensure that the functionality of the processor after inserting power management controllers does not change, an efficient equivalence checking is performed between the low-power implementation model and its specification model. However, this kind of verification is not sufficient due to non-functional behavior of system-level power management strategies. Therefore, the proposed method checks the consistency between PMU and UPF by high-level power rules which are extracted from UPF. The experimental results show that the proposed method helps the designers not only to create a correct high-level power management controller but also to identify the low-power functional bugs in their designs.
Full-Text [PDF 989 kb]   (512 Downloads)    
Type of Article: Research | Subject: Electronic
Received: 2019/06/22 | Accepted: 2020/07/20 | Published: 2021/10/14

Add your comments about this article : Your username or Email:
CAPTCHA

Send email to the article author


Rights and permissions
Creative Commons License This Journal is an open access Journal Licensed under the Creative Commons Attribution-NonCommercial 4.0 International License. (CC BY NC 4.0)

© 2024 CC BY-NC 4.0 | Journal of Iranian Association of Electrical and Electronics Engineers

Designed & Developed by : Yektaweb