1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Информационные технологии»
  5. Выпуск 2017 г. Том 23. № 5
ACES Tables: средадля создания ииспользованиятабличныхспецификаций системна кристалле Печенко И. С.Венгер О. В.Плоткин Д. А.2017 год

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

Заказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Печенко, И. С. ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле = ACES Tables: a Framework for Greation and Usage of SoC Architectural Specifications in Table Form / И. С. Печенко, О. В. Венгер, Д. А. Плоткин. - (Прикладные информационные технологии). - Текст : непосредственный // Информационные технологии. - 2017. - Т. 23, № 5. - С. 388-393. - Библиогр.: с. 393 (18 назв.). - ISSN 1684-6400.
Аннотация: Ввиду сложности современных систем на кристалле крайне важными этапами их проектирования становятся анализ и верификация. Зачастую верификация систем начинается сравнительно поздно, после создания RTL-кода. Однако в последнее время ведется активная разработка методов создания архитектурных спецификаций систем на кристалле, которые могут быть использованы для анализа и верификации этих систем, что позволит начинать верификацию намного раньше. Описывается один из таких методов, предоставляющий возможность создания структурных спецификаций систем на кристалле в табличном виде.
Год издания: 2017
Авторы: Печенко И. С. , Венгер О. В. , Плоткин Д. А.
Источник: Информационные технологии
Выпуск: Т. 23, № 5
Номера страниц: 388-393
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

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

Модели данных дляархитектурныхспецификаций системна кристалле Печенко И. С.Петров А. Б.2017 год

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

  • Печенко И. С. и др.
  • 2017 год
Методология созданиясистемыавтоматизированногопроектированиякарьеров сиспользованиемметодов объектно… Букейханова С. С.Лисенков А. А.Куандыков А. А.2017 год

Методология создания системы автоматизированного проектирования карьеров с использованием методов…

  • Букейханова С. С. и др.
  • 2017 год
UML-профиль дляметамодельно-ориентированногопроектированияпрограммныхприложений баз данных Олейник П. П.Гурьянов В. И.2016 год

UML-профиль для метамодельно-ориентированного проектирования программных приложений баз данных

  • Олейник П. П. и др.
  • 2016 год
Обзор инструментовдля валидацииXML-документов спомощью правилконтроля, описанныхна объектном языкеограничений … Никифоров Д. А.Корж Д. В.Сиваков Р. Л.2017 год

Обзор инструментов для валидации XML-документов с помощью правил контроля, описанных на объектном…

  • Никифоров Д. А. и др.
  • 2017 год
Информационнаясистемапроектированияпредприятий Хабаров В. В.Шуталева Н. С.Костин В. И.2018 год

Информационная система проектирования предприятий

  • Хабаров В. В. и др.
  • 2018 год
Инструментальныйподход к организациисбора данных вхранилище системподдержки принятиярешений Акимкина Э. Э.2017 год

Инструментальный подход к организации сбора данных в хранилище систем поддержки принятия решений

  • Акимкина Э. Э.
  • 2017 год
Алгоритмизацияпараллельныхвычислений вдинамической моделиманипуляционныхсистем роботов Крахмалев О. Н.2020 год

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

  • Крахмалев О. Н.
  • 2020 год
Модели и методыпостроения системыOLAP дляобъектно-ориентированных баз данных Фисун Н. Т.Горбань Г. В.2014 год

Модели и методы построения системы OLAP для объектно-ориентированных баз данных

  • Фисун Н. Т. и др.
  • 2014 год

Показать ещё

ИнтеграцияSQL-ориентированныхСУБД и NoSQL-системна уровне объектногоотображения Посконин А. В.2015 год

Интеграция SQL-ориентированных СУБД и NoSQL-систем на уровне объектного отображения

  • Посконин А. В.
  • 2015 год

Разработка структуры информационной системы поддержки проектирования сверхбольших интегральных…

  • Дрозд О. В. и др.
  • 2016 год
Использованиетехнологий созданиястереоскопическихизображений причисленноммоделировании сложныхфизических систем… Чирцов А. С.Козуненко Д. А.2018 год

Использование технологий создания стереоскопических изображений при численном моделировании…

  • Чирцов А. С. и др.
  • 2018 год
Архитектураинтегрированныхавтоматизированныхпроизводственныхсистем Капитанов А. В.Феофанов А. Н.Попов А. П.2014 год

Архитектура интегрированных автоматизированных производственных систем

  • Капитанов А. В. и др.
  • 2014 год

Алгоритмы и структуры данных (CDIO)

  • Царев Роман Юрьевич и др.
  • 2016 год
Способ организацииданных для хранениярезультатов испытанийэлектротехническихизделий Бочкарев С. В.Попов Д. А.2016 год

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

  • Бочкарев С. В. и др.
  • 2016 год
Повышениеинтеграционнойспособностиавтоматизированныхсистем испытанийэлектротехническихизделий Бочкарев С. В.Попов Д. А.2015 год

Повышение интеграционной способности автоматизированных систем испытаний электротехнических изделий

  • Бочкарев С. В. и др.
  • 2015 год
Модель предметнойобласти для базыданных схемныхкомпонентовсхемотехнической САПР Гридин В. Н.Анисимов В. И.Ларистов А. И.2013 год

Модель предметной области для базы данных схемных компонентов схемотехнической САПР

  • Гридин В. Н. и др.
  • 2013 год