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