Значение Ieee 1801 в оптимизации мощности для реконфигурируемых вычислительных систем

Почему управление питанием определяет будущее реконфигурируемых вычислений

Перестраиваемые вычислительные системы — от программируемых на полевых условиях воротных массивов (FPGA) до крупнозернистых реконфигурируемых массивов (CGRA) — перешли от нишевых ускорителей к основным вычислительным платформам. Их способность адаптировать аппаратные трубопроводы к конкретным рабочим нагрузкам обеспечивает повышение производительности, которое не может соответствовать фиксированным архитектурам. Тем не менее эта гибкость несет в себе крутые затраты на энергию. По мере того, как узлы процессов сокращаются, а плотность ворот растет, плотность мощности в реконфигурируемых тканях стала ограничением проектирования первого порядка. Без дисциплинированного управления мощностью сами преимущества реконфигурируемости — скорость, адаптивность, параллелизм — подрываются тепловым дросселированием, разрядкой батареи или непомерными эксплуатационными расходами.

Для реконфигурируемых систем, где динамическое масштабирование напряжения, определение мощности и многовольтные домены имеют важное значение, IEEE 1801 является не просто удобством - это основа современного оптимизированного по мощности дизайна. В этой статье рассматривается значение IEEE 1801 в оптимизации мощности для реконфигурируемых вычислений, охватывающих его технические основы, практические воздействия и развивающуюся роль в архитектурах следующего поколения.

Что такое IEEE 1801? Объяснен единый формат власти

IEEE 1801, обычно называемый UPF, определяет стандартизированный синтаксис и семантику для описания требований к управлению мощностью в цифровых проектах. Впервые одобренный в 2007 году и впоследствии пересмотренный (1801-2009, 1801-2013, 1801-2015, 1801-2018), стандарт устраняет фундаментальный разрыв в традиционных языках описания аппаратного обеспечения, таких как VHDL и Verilog: они моделируют логику и время, но не имеют собственного механизма для выражения намерения мощности. UPF заполняет эту пустоту, позволяя дизайнерам определять области мощности, уровни напряжения, стратегии удержания, ячейки изоляции, сдвигатели уровней и переключатели питания декларативно, отдельно от функционального RTL.

Спецификация UPF обычно включает в себя:

• Домены питания — логические группировки элементов конструкции, которые имеют общее напряжение питания или состояние мощности.
• Сети снабжения — определения источников напряжения, портов и соединений, распределяющих мощность.
• Способы питания — режимы работы (например, активный, сон, удержание, выключение) и связанные с ними ограничения напряжения и тока.
• Ячейки управления питанием — спецификации для ячеек изоляции, сдвигателей уровней, регистров удержания и переключателей питания, реализующих переходы состояний.
• Ограничения и правила проверки — условия для правильного поведения с низким энергопотреблением, такие как стратегия изоляции и секвенирование удержания состояния.

Поскольку UPF - это формат, а не инструмент, он инструментально-агностичен. Дизайнеры пишут один файл намерения мощности, который вытекает из исследования архитектуры через синтез, место-и-маршрут и вывеску. Эта переносимость имеет решающее значение в гетерогенной экосистеме EDA, используемой реконфигурируемыми вычислительными командами, где инструменты нескольких поставщиков (Synopsys, Cadence, Siemens EDA) должны взаимодействовать по одной спецификации мощности.

Эволюция IEEE 1801 в ландшафте EDA

До того, как UPF набрала обороты, намерение мощности часто фиксировалось в специальных скриптах, командах Tcl, специфичных для инструментов, или электронных таблицах. Эти подходы были подвержены ошибкам, их трудно проверять и невозможно повторно использовать в итерациях дизайна. Общий формат мощности (CPF) от Si2 предлагал раннюю альтернативу, но принятие UPF IEEE принесло формальную стандартизацию, широкую отраслевую поддержку и согласование с более крупной экосистемой автоматизации проектирования. Сегодня IEEE 1801 является доминирующим стандартом для проектирования с низким энергопотреблением как в ASIC, так и в FPGA, и его роль расширилась, чтобы охватить передовые методы, такие как многовольтные библиотеки, адаптивные искажения тела и интерфейсы оценки мощности для ускорителей машинного обучения.

Power Challenge в реконфигурируемых вычислительных системах

Перенастраиваемые вычислительные системы представляют собой уникальный набор задач оптимизации мощности, которые отличают их от ASIC с фиксированной функцией или процессоров общего назначения:

• Накладные расходы на маршрутизацию — FPGA потребляют значительную статичную и динамическую мощность просто из-за программируемого межсоединения, которое может составлять 60-80% от общей мощности вымирания. IEEE 1801 помогает управлять этим, позволяя тонкозернистую передачу мощности неиспользованных ресурсов маршрутизации.
• Утечка памяти конфигурации — FPGA на основе SRAM используют ячейки памяти конфигурации, которые непрерывно пропускают ток. UPF определяет стратегии удержания, которые минимизируют утечку при сохранении состояния в режимах с низким энергопотреблением.
• Динамическая адаптация рабочей нагрузки — В отличие от фиксированных чипов, реконфигурируемые ткани могут быть частично переконфигурированы во время выполнения. IEEE 1801 поддерживает политику динамического напряжения и частотного масштабирования (DVFS), которые выравнивают потребление энергии с текущей вычислительной нагрузкой.
• Многовольтовая сложность домена — Современные реконфигурируемые устройства делят ткань на десятки островов напряжения, каждый из которых способен к независимым энергетическим состояниям. UPF обеспечивает формальную структуру для моделирования этих доменов без двусмысленности.
• Тепловое соединение — Высокое логическое использование в одном регионе может создавать горячие точки, которые влияют на соседние перестраиваемые блоки. Таблицы состояния мощности IEEE 1801 питают инструменты термического анализа, позволяя управлять мощностью с учетом температуры.

Эти сложности означают, что оптимизация мощности в реконфигурируемых системах не может быть запоздалой мыслью. Она должна быть встроена в поток проектирования от концепции к реализации. IEEE 1801 предоставляет язык и методологию, чтобы сделать это возможным.

Как IEEE 1801 позволяет оптимизировать мощность: ключевые механизмы

Стандарт поддерживает несколько перекрывающихся рычагов для снижения мощности. Понимание этих механизмов необходимо для любой инженерной команды, проектирующей энергоэффективные перестраиваемые системы.

Моделирование силового намерения на уровне архитектуры

UPF позволяет проектировщикам определять архитектуру мощности до завершения RTL. Для перенастраиваемой системы это означает указание того, какие логические блоки принадлежат к какой области мощности, какие уровни напряжения доступны и как блоки переходят между состояниями. Раннее моделирование намерения мощности позволяет планировать этаж: высокоактивные вычислительные домены могут быть размещены рядом с регуляторами напряжения, чтобы уменьшить падение ИК, в то время как домены удержания с низким утечкой могут быть расположены в более холодных регионах. Это архитектурное предвидение уменьшает итеративные повторные вращения и ускоряет время выхода на рынок.

Автоматическая вставка ячеек управления питанием

Одним из наиболее практических вкладов UPF является автоматический вывод и вставка ячеек управления питанием. Когда конструкция указывает, что домен можно отключить, инструменты синтеза автоматически вставляют ячейки изоляции на границах домена, чтобы предотвратить плавающие входы от достижения активной логики. Переключатели уровней вставляются всякий раз, когда сигналы пересекаются между доменами напряжения. Регистры удержания заменяют стандартные шлепанцы в доменах, которые должны сохранять состояние во время сна. Эта автоматизация устраняет ручные ошибки и обеспечивает согласованность между намерением питания и реализацией.

Единая проверка власти и функций

Верификация - это то, где UPF обеспечивает огромную ценность для реконфигурируемых систем. Традиционная функциональная проверка рассматривает мощность как отдельную проблему, часто тестируемую только на системном уровне. IEEE 1801 позволяет симуляцию состояния мощности, где логический симулятор моделирует переходы состояния мощности и проверяет, что правила изоляции, удержания и секвенирования правильно реализованы. Для реконфигурируемых конструкций, которые поддерживают частичную реконфигурацию, верификации на основе UPF могут проверять переключение питания во время реконфигурации во время выполнения. Инструменты, использующие UPF, также могут генерировать формальные утверждения, которые доказывают, что состояния мощности достижимы и что никакая последовательность переключения не нарушает временные или напряженные ограничения.

Конструктивность по всему потоку

Возможно, самая большая сила IEEE 1801 - это его роль как единого источника истины для намерения мощности. Тот же файл UPF, используемый в исследовании архитектуры, питает синтез, формальную верификацию, статический анализ времени и оценку мощности. Когда вносятся изменения в стратегию определения мощности или напряжения питания, обновление последовательно распространяется через весь поток. В реконфигурируемых вычислительных проектах, которые могут включать сотни инженеров и несколько проектных центров, эта согласованность предотвращает дорогостоящие несоответствия между функцией RTL и поведением мощности.

Интеграция с оценкой мощности и термическим анализом

UPF обеспечивает крючки в инструментах оценки мощности, которые вычисляют динамическую мощность и мощность утечки на каждом этапе проектирования. Для перенастраиваемых систем эти оценки приводят к принятию решений о выборе пакета, конструкции радиатора и управлении вентилятором. В сочетании с тепловым моделированием таблицы состояния мощности в UPF позволяют проектировщикам моделировать температурные профили при различных рабочих нагрузках и политике управления мощностью. Эта интеграция имеет решающее значение для надежности: перенастраиваемые устройства в центрах обработки данных или периферийных развертываниях должны поддерживать высокую производительность без превышения температурных ограничений перехода.

Влияние на реконфигурируемые вычислительные приложения

Принятие IEEE 1801 оказывает ощутимое влияние на основные области применения реконфигурируемых вычислений.

Портативные и аккумуляторные устройства

FPGA, используемые в системах мобильного зрения, программно-определяемых радиостанциях и авионике дронов, должны обеспечивать высокую пропускную способность при максимизации времени автономной работы. С UPF эти конструкции могут реализовывать агрессивное энергозависимое питание: процессор сигнала изображения выключается при отсутствии захвата кадра, радиодекодер спит между пакетными всплесками, а контроллер конфигурации сохраняет состояние в режиме низкой утечки. Результатом может быть снижение мощности в режиме ожидания на 50-70% по сравнению с плоской конструкцией мощности. IEEE 1801 делает этот уровень детализации тяготеющим для команд, которые не являются специалистами по управлению питанием.

Центр обработки данных и облачное ускорение

В гипермасштабируемых центрах обработки данных реконфигурируемые ускорители (такие как экземпляры AWS F1 или Microsoft Catapult) работают 24/7, потребляя мегаватты мощности. UPF позволяет этим системам реализовывать состояния мощности на ускоритель, которые соответствуют шаблонам работы облака. Когда сетевая функция на основе FPGA простаивает, ее домен мощности может перейти в режим удержания в течение микросекунд, экономя киловатт-часы на миллионах устройств. IEEE 1801 также поддерживает совместное управление мощностью между реконфигурируемой тканью и центральным процессором, позволяя координировать политику DVFS, которая минимизирует общую мощность стоек без ущерба для задержки хвоста.

Автомобильная и функциональная безопасность

Автоматические перенастраиваемые системы должны удовлетворять требованиям функциональной безопасности ISO 26262 наряду с целями в области электропитания. IEEE 1801 помогает обеспечить проверенную архитектуру мощности, которая может быть проверена в соответствии с целями безопасности. Например, спецификация UPF может гарантировать, что последовательность определения мощности для трубопровода обработки LiDAR никогда не отключает мощность от диагностической логики. Формальные возможности проверки, построенные на UPF, обеспечивают доказательства для случаев безопасности, снижая риск сертификации. В то же время оптимизация мощности, обеспечиваемая UPF, помогает гибридным и электрическим транспортным средствам расширять диапазон движения за счет снижения энергии, потребляемой передовыми системами помощи водителю.

Высокопроизводительные вычисления и научные исследования

Научные нагрузки — молекулярная динамика, моделирование погоды, геномный анализ — работают на реконфигурируемых кластерах, которые раздвигают границы как производительности, так и мощности. IEEE 1801 позволяет исследователям создавать пользовательские стратегии управления мощностью для алгоритмических моделей. Например, цепочка фильтров FIR в лучеформере радиотелескопа может быть разделена на области напряжения, которые соответствуют частотным диапазонам; когда полоса не нужна, ее домен питается вниз. Этот уровень оптимизации, включенный UPF, может снизить энергию на результат на 30-40% по сравнению со статичными назначениями напряжения.

Реальные случаи использования и принятие отрасли

В то время как многие организации рассматривают использование UPF как проприетарное, несколько заметных реализаций подчеркивают влияние стандарта на реконфигурируемые вычисления.

Ведущие поставщики FPGA, включая AMD Xilinx и Intel Altera, поддерживают UPF в рамках своих потоков проектирования с низким энергопотреблением. Например, набор инструментов Vivado от Xilinx принимает файлы UPF для определения доменов питания для устройств UltraScale +. Дизайн-команды, использующие UPF на устройствах Xilinx FPGA, сообщили о достижении до 60% снижения утечки за счет энергозатрат и 20% динамической экономии энергии за счет одновременного переключения и предотвращения споров. Intel Quartus Prime Pro Edition аналогично поддерживает UPF для устройств Stratix 10 и Agilex, позволяя дизайнерам указывать несколько доменов мощности в ткани и управлять ими через стандарт.

В исследовательском сообществе IEEE 1801 был использован для создания реконфигурируемых ускорителей нейронных сетей, которые адаптируют свое энергопотребление к точности и редкости данных вывода. В статье 2023 года Международного симпозиума по электронике и дизайну с низким энергопотреблением IEEE продемонстрировал CGRA, основанный на UPF, который динамически перенастраивает острова напряжения на основе классификации рабочей нагрузки в реальном времени, достигая 45% более низкой энергии при выходе изо-показателя по сравнению с исходным уровнем фиксированной мощности. В другом документе семинара ACM / IEEE [FLT: 3] описана методология на основе UPF для вставки переключателя питания в частично реконфигурируемых регионах, уменьшая усилия по проектированию на 15 человеко-недель за проект.

За пределами научных кругов такие компании, как Flex Logix и QuickLogic, включили в свой встроенный FPGA IP UPF-подобные силовые намерения. Эти продукты позволяют разработчикам SoC встраивать реконфигурируемую логику вместе с ядрами с фиксированной функцией, с управлением мощностью, определенным через единую спецификацию UPF, которая охватывает обе области. Результатом является унифицированная архитектура мощности, которая рассматривает реконфигурируемую и фиксированную логику как одноранговые, что позволяет оптимизировать на системном уровне, что было бы невозможно, если бы каждый блок использовал отдельную методологию с низким энергопотреблением.

Проблемы и ограничения при развертывании ИЭЭО 1801

Несмотря на свои сильные стороны, IEEE 1801 не является серебряной пулей.Практикующие сталкиваются с рядом проблем при применении UPF к реконфигурируемым вычислительным системам.

• Кривая обучения — UPF — это специализированный язык, требующий предварительного обучения. Команды, новые для маломощного дизайна, часто борются с такими понятиями, как функции набора питания, квалификаторы удержания и таблицы состояния мощности. Поддержка инструментов для отладки файлов UPF все еще развивается.
• Система взаимодействия инструментов — В то время как UPF является стандартом IEEE, поставщики EDA реализуют подмножества и расширения, которые не всегда полностью совместимы. Файл UPF, который работает без проблем в синтезе Synopsys, может потребовать корректировок для моделирования Cadence или Siemens STA. Это может создать трение в потоках с несколькими поставщиками.
• Частично реконфигурируемая сложность — Реконфигурируемые системы, поддерживающие динамическую частичную реконфигурацию, добавляют слой сложности, который UPF не полностью устраняет. Таблицы состояния мощности стандарта предполагают конечный набор статических конфигураций, но частичная реконфигурация вводит комбинаторные возможности активных и неактивных областей. Расширение UPF для покрытия этого более естественно является областью текущих исследований.
• Накладные расходы на проверку — Исчерпывающая проверка всех переходов состояния мощности в реконфигурируемой системе может быть вычислительно дорогостоящей. Для устройств с 20+ доменами мощности количество допустимых комбинаций состояний может превышать 106, что делает случайное моделирование и формальные методы сложными. Иерархическое намерение мощности и абстракция необходимы, но могут маскировать угловые случаи.

Эти проблемы решаются рабочей группой IEEE 1801, которая продолжает совершенствовать стандарт на основе обратной связи с промышленностью. В пересмотренном варианте 2018 года была введена более чистая поддержка иерархических целей власти и улучшенное согласование с утверждениями SystemVerilog, облегчая некоторые болевые точки проверки.

Будущие направления: IEEE 1801 и реконфигурируемые вычисления следующего поколения

Траектория реконфигурируемых вычислений — к большим матрицам, более тонкой реконфигурации и более тесной интеграции с машинным обучением — потребует соответствующих достижений в стандартах управления питанием. IEEE 1801 хорошо позиционируется для развития в нескольких ключевых направлениях.

Машинное обучение - управляемая оптимизация мощности

Будущие изменения UPF могут включать в себя конструкции для двигателей энергетической политики на основе машинного обучения. Вместо статических переходов состояния мощности UPF может указывать агенты обучения, которые наблюдают показатели рабочей нагрузки (использование, температура, задержка) и выбирают состояния мощности в режиме реального времени. Это позволит перенастраиваемым системам автоматически обнаруживать оптимальные стратегии управления мощностью без ручной настройки. Ранняя работа в IEEE MICRO 2024 исследовала эту концепцию, используя намерение мощности UPF в качестве модели вознаграждения для агентов обучения подкрепления, которые контролируют острова напряжения в CGRA.

Кросс-слойная оптимизация мощности

Перенастраиваемые системы все чаще охватывают несколько уровней абстракции: алгоритм, архитектура, передача регистров, ворота и физическое. IEEE 1801 может служить основой для межслойной оптимизации путем распространения намерения мощности вверх на системное программное обеспечение (для управления питанием на уровне ОС) и вниз на маски для изготовления (для внешнего дизайна). Этот целостный взгляд позволит принимать такие решения, как управление питанием на основе операционных систем ускорителей FPGA на основе UPF-определенных бюджетов задержки и затрат на удержание.

Устойчивость и управление энергией жизненного цикла

Поскольку экологическая устойчивость становится требованием к проектированию, IEEE 1801 может включать в себя состояния энергии, учитывающие углерод. Они позволят перенастраиваемым устройствам оптимизировать не только мгновенную мощность, но и энергию жизненного цикла и углеродный след. Например, политика UPF может запланировать агрессивное энергоснабжение в часы, когда интенсивность углерода в сети высока, и повысить производительность в непиковые возобновляемые периоды. Такие возможности сделают перенастраиваемые вычисления вкладом в устойчивую вычислительную инфраструктуру, а не источником растущего спроса на энергию.

Интеграция с архитектурами Chiplet и 3D

Перенастраиваемые системы движутся в сторону чиплетных и 3D-стекленных конструкций, где доставка мощности и управление температурой еще более сложны. IEEE 1801 уже расширяется для чиплетов через проект IEEE 1801-2025, который добавляет конструкции для междиевых доменов мощности, сквозной кремний через доставку мощности и гетерогенное управление мощностью через чиплеты. Для перенастраиваемых чиплетов - таких как базовый чиплет FPGA с несколькими специализированными вычислительными чиплетами, сложенными выше - UPF обеспечит язык для координации состояний мощности на всех уровнях.

Лучшие практики для внедрения IEEE 1801 в реконфигурируемых проектах

Для инженерных команд, работающих с реконфигурируемыми системами, принятие IEEE 1801 требует больше, чем просто написание файла UPF.

• Начать работу с целью получения энергии на ранней стадии — Не ждите завершения RTL. Определите области мощности, уровни напряжения и переходы состояния во время исследования архитектуры. Это стимулирует планирование этажей и позволяет раннюю оценку мощности.
• Использовать иерархический UPF — Для больших перенастраиваемых конструкций разложить намерение мощности на иерархические блоки, отражающие логическую иерархию. Это сохраняет управляемость спецификации и поддерживает повторное использование намерения мощности в аналогичных блоках.
• Интегрируйте проверку с первого дня — Запишите утверждения UPF на ранней стадии и запустите симуляцию с использованием энергоснабжения при каждой функциональной регрессии. Это улавливает ошибки намерения мощности, прежде чем они станут кремниевыми ошибками.
• Возможности инструментария рычага — Современные инструменты EDA могут генерировать шаблоны UPF, анализировать намерение мощности для полноты и сообщать о покрытии переходов состояния мощности.
• Сотрудничайте со стеком — Убедитесь, что системные программисты понимают состояния мощности, определенные в UPF, чтобы управление мощностью на уровне ОС могло использовать их. Для перенастраиваемых систем это часто означает раскрытие API UPF для управления состоянием мощности.

IEEE 1801 как основа энергоэффективных реконфигурируемых вычислений

Значение IEEE 1801 в оптимизации мощности для перенастраиваемых вычислительных систем невозможно переоценить. По мере того, как перенастраиваемые архитектуры становятся все более сложными и более широко развертываемыми, способность моделировать, проверять и реализовывать намерения по мощности стандартизированным образом имеет важное значение для достижения конкурентоспособной энергоэффективности. Без UPF ручное усилие и риск ошибок при проектировании с низким энергопотреблением становятся непомерными в масштабе современных FPGA и CGRA.

IEEE 1801 предоставляет методологию для рассмотрения мощности как первоклассного ограничения проектирования наряду с временем, областью и функциональностью. Для перенастраиваемых систем это означает более тонкие области мощности, более быстрое закрытие конструкции и надежную проверку мощности. Продолжающаяся эволюция стандарта - к машинному обучению, чиплетам и устойчивости - гарантирует, что он останется актуальным, поскольку перенастраиваемые вычисления будут продвигаться дальше в центры обработки данных, периферийные устройства, автомобильные платформы и научную инфраструктуру.

Инженеры и исследователи, которые инвестируют в понимание и применение IEEE 1801 сегодня, создают основу для энергоэффективных перенастраиваемых систем завтрашнего дня. Стандарт трансформирует оптимизацию мощности из реактивной задумки в проактивную, автоматизированную и измеримую дисциплину - и эта трансформация делает возможным следующее поколение адаптивных вычислений.