درستی سنجی صوری معماری مدیریت توان در سطح سیستم برای پردازنده های مدرن

مراجع و منابع این مقاله:

• IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic ...
• O. Mbarek, A. Pegatoquet, and M. Auguin, "Using unified power ...
• M. Siro, D. Macko, and K. Jelemenská, "PMS۲UPF: An automated ...
• A. Hazra, S. Goyal, P. Dasgupta, and A. Pal, "Formal ...
• A. Hazra, R. Mukherjee, P. Dasgupta, A. Pal, K. M. ...
• C. C.-H. Hsu and C. H.-P. Wen, "Speeding up power ...
• C.-P. Lu and I. H.-R. Jiang, "Fast low power rule ...
• C. Eisner, A. Nahir, and K. Yorav, "Functional verification of ...
• A. M. Gharehbaghi and M. Fujita, "Specification and formal verification ...
• R. Sharafinejad, B. Alizadeh, and M. Fujita, "UPF-based formal verification ...
• S. Mandal, A. B. Da Costa, A. Hazra, P. Dasgupta, ...
• D. Macko, K. Jelemenská, and P. Čičák, "Verification of Power-Management ...
• R. Sharafinejad, B. Alizadeh, and Z. Navabi, "Automatic Correction of ...
• JasperGold Low-Power Verification App. [Online]. Available: https://www.cadence.com/jasper-gold-verificationplatform/low-power-verification-app.html[۱۵] Synopsys Low Power ...
• J. R. Burch and D. L. Dill, "Automatic verification of ...
• MIPS۳۲ architecture. [Online]. Available: http://www.imgtec.com/mips/mips۳۲-architecture.asp[۱۹] J. Gaisler, E. Catovic, M. ...
• K. Marcinek and W. A. Pleskacz, "ELEON۳LP–Superscalar and low-power enhancements ...
• IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic ...
• O. Mbarek, A. Pegatoquet, and M. Auguin, "Using unified power ...
• M. Siro, D. Macko, and K. Jelemenská, "PMS۲UPF: An automated ...
• A. Hazra, S. Goyal, P. Dasgupta, and A. Pal, "Formal ...
• A. Hazra, R. Mukherjee, P. Dasgupta, A. Pal, K. M. ...
• C. C.-H. Hsu and C. H.-P. Wen, "Speeding up power ...
• C.-P. Lu and I. H.-R. Jiang, "Fast low power rule ...
• C. Eisner, A. Nahir, and K. Yorav, "Functional verification of ...
• A. M. Gharehbaghi and M. Fujita, "Specification and formal verification ...
• R. Sharafinejad, B. Alizadeh, and M. Fujita, "UPF-based formal verification ...
• S. Mandal, A. B. Da Costa, A. Hazra, P. Dasgupta, ...
• D. Macko, K. Jelemenská, and P. Čičák, "Verification of Power-Management ...
• R. Sharafinejad, B. Alizadeh, and Z. Navabi, "Automatic Correction of ...
• JasperGold Low-Power Verification App. [Online]. Available: https://www.cadence.com/jasper-gold-verificationplatform/low-power-verification-app.html[۱۵] Synopsys Low Power ...
• J. R. Burch and D. L. Dill, "Automatic verification of ...
• MIPS۳۲ architecture. [Online]. Available: http://www.imgtec.com/mips/mips۳۲-architecture.asp[۱۹] J. Gaisler, E. Catovic, M. ...
• K. Marcinek and W. A. Pleskacz, "ELEON۳LP–Superscalar and low-power enhancements ...
نمایش کامل مراجع