Статический анализ модели подсистемы питания цифровой аппаратуры

Статический анализ модели подсистемы питания цифровой аппаратуры

Егиазарян А.В. (ИСП РАН, Москва, Россия; МФТИ, Московская. обл., Россия)
Чуркин Я.А. (ИСП РАН, Москва, Россия)
Чернявских И.И. (ИСП РАН, Москва, Россия; НИУ ВШЭ, Москва, Россия)
Коцыняк А.М. (ИСП РАН, Москва, Россия)
Китаев К.Н. (МФТИ, Московская. обл., Россия)
Бучацкий Р.А. (ИСП РАН, Москва, Россия)
Камкин А.С. (ИСП РАН, Москва, Россия; МФТИ, Московская. обл., Россия; МГУ, Москва, Россия; РЭУ, Москва, Россия)
Коршунов А.В. (МИЭТ, Москва, Россия)
Переверзев А.Л. (МИЭТ, Москва, Россия)

Аннотация

Традиционные языки описания аппаратуры Verilog/SystemVerilog и VHDL не предоставляют средства для эффективного описания структуры и режимов работы подсистемы питания. Для решения этой проблемы в стандарте IEEE 1801 был представлен формат Unified Power Format (UPF), позволяющий формализовать структуру и правила управления питанием в цифровых системах. Однако, большинство современных САПР, поддерживающих интерпретацию UPF-описаний, являются коммерческими и нередко имеют отклонения от стандарта. При этом некоммерческие инструменты значительно отстают от коммерческих аналогов в степени поддержки конструкций формата и редко включают средства анализа корректности описания подсистемы питания. В работе представлен инструмент для интерпретации UPF-описания и статического анализа модели подсистемы питания, который обеспечивает полную поддержку стандарта IEEE 1801-2018.

Ключевые слова

подсистема питания; формат описания подсистемы питания UPF; командный язык инструментов Tcl; статический анализ; язык описания аппаратуры; язык описания аппаратуры Verilog; язык описания аппаратуры SystemVerilog; интегральная схема; система автоматизации

Издание

Труды Института системного программирования РАН, том 38, вып. 3, часть 1, 2026, стр. 45-70.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(3)-3

Для цитирования

Егиазарян А.В., Чуркин Я.А., Чернявских И.И., Коцыняк А.М. Китаев К.Н., Бучацкий Р.А., Камкин А.С., Коршунов А.В., Переверзев А.Л. Статический анализ модели подсистемы питания цифровой аппаратуры. Труды Института системного программирования РАН, том 38, вып. 3, часть 1, 2026, стр. 45-70. DOI: 10.15514/ISPRAS-2026-38(3)-3.

Полный текст статьи в формате pdf Вернуться к содержанию тома