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

سال انتشار: 1400
محل انتشار: فصلنامه مهندسی برق و الکترونیک ایران، دوره: 18، شماره: 4
کد COI اختصاصی: JR_JIAE-18-4_020
زبان مقاله: فارسی
تعداد مشاهده: 305

نویسندگان

College of Engineering, Universtiy of Tehran, Tehran, Iran

چکیده

همچنانکه که بر پیچیدگی طراحی های توان پایین افزوده می شود، ابزار های خودکار کارآمدتری به منظور درستی سنجی عملکرد آن ها مورد نیاز است. درستی سنجی همزمان عملکرد طراحی ها و سازگاری بخش کنترلی مدیریت توان با هدف توان پایین آن ها یکی از چالش های بزرگ است. این مقاله روشی ارائه می دهد که این مشکل را در پردازنده های مدرن توان پایین پیچیده که دارای ده ها حوزه توانی هستند، حل نماید. برای اطمینان از این که عملکرد پردازنده پس از قرار گرفتن بخش کنترل مدیریت توان تغییر نمی کند، بررسی برابری کارآمدی بین مدل پیادهسازی توان پایین و مدل مشخصه آن انجام می شود. با این حال، این نوع درستی سنجی به دلیل رفتار غیرعملکردی استراتژی های مدیریت توان در سطح سیستم کافی نیست. بنابراین، روش پیشنهادی سازگاری بین PMU و UPF را به وسیله قوانین توانی سطح بالای استخراج شده از UPF بررسی می کند. نتایج تجربی نشان می دهد که روش پیشنهادی نه تنها به طراحان کمک می کند تا یک کنترلکننده مدیریت توان سطح بالای صحیح بسازند بلکه همچنین بتوانند ایرادهای عملکردی توان پایین در طراحی شان را شناسایی کنند.

کلیدواژه ها

Formal verification, Power management architecture, System-level, low-power processor, درستی سنجی صوری, معماری مدیریت توان, سطح سیستم, پردازنده توان پایین

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.