Библиографическое описание:Печенко, И. С. Модели данных для архитектурных спецификаций систем на кристалле = Data models for SoC specification creation and usage / И. С. Печенко, А. Б. Петров. - (Системы автоматизированного проектирования). - Текст : непосредственный // Информационные технологии. - 2017. - Т. 23, № 7. - С. 536-542. - Библиогр.: с. 542 (26 назв.). - ISSN 1684-6400.
Аннотация:Сложность проектирования современных систем на кристалле постоянно растет, что влечет за собой рост важности анализа и верификации таких систем. Возникает потребность в подходе, который бы упростил переход от архитектурных спецификаций к высокоуровневым моделям системы, использующимся для верификации. Работа представляет наиболее подходящие модели данных для создания спецификаций в рамках такого подхода, а также общую схему процесса работы со спецификациями.
