Модели данных для архитектурных спецификаций систем на кристалле

Печенко И. С.; Петров А. Б.

База данных: Каталог библиотеки СФУ (П 317)

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

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

Год издания: 2017

Авторы: Печенко И. С. , Петров А. Б.

Источник: Информационные технологии

Выпуск: Т. 23, № 7

Номера страниц: 536-542

Количество экземпляров:

Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Показать дополнительные сведения

ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле

Печенко И. С. и др.
2017 год

Способы представления спецификаций вычислительных систем: проблемы и возможности машинной обработки

Печенко И. С.
2016 год

Анализ нечетких данных для оптимизации химико-технологических систем

Гермашев И. В. и др.
2018 год

Иерархия подходов к верификации данных при контроле добычи и разработки

Андрианова А. М. и др.
2017 год

Разработка нового алгоритма шифрования данных с симметричным ключом

Умаров Ш. А. и др.
2016 год

На страже данных

Яськов Илья
2017 год

Система типов для потоков пространственно-временных данных в виде расширенной сигнатуры…

Матерухин А. В.
2017 год

Автоматизированная обработка данных воздушно-депрессионной съемки для построения корректной…

Казаков Б. П. и др.
2016 год

Система динамической визуализации больших массивов данных сложных физических экспериментов

Коровин А. С. и др.
2016 год

Анализ нереляционных систем управления базами данных для организации и управления предприятиями в…

Часовских В. П. и др.
2023 год

Сбор данных по применению систем буровых растворов при бурении скважин

Капитонов Владимир Алексеевич
2020 год

Проблема анализа больших веб-данных и использование технологии Data Mining для обработки и поиска…

Мулюкова Ксения Валериановна и др.
2019 год

Способ обезличивания персональных данных

Саксонов Е. А.
2021 год

Сетевая технология проектирования асинхронной вычислительной системы на общем решающем поле с…

Барский А. Б. и др.
2018 год

Системная интерпретация ключевых категорий концептуальных моделей баз данных

Родионов А. Н.
2016 год

Формирование онтологий и моделей данных – этапы создания информационных систем

Черников Б. В.
2015 год

Библиотечно-издательский комплекс СФУ

Модели данных для архитектурных спецификаций систем на кристалле
статья из журнала

Похожие публикации