Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=табличная спецификация<.>)
Общее количество найденных документов : 1
1.


    Печенко, И. С. (научный сотрудник).
    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
УДК
^a004.91
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Обработка и создание документов
Кл.слова (ненормированные):
ACES Tables -- архитектурная спецификация -- верификация -- импорт данных -- объектно-ориентированные подходы -- проектирование -- табличная спецификация -- экспорт данных
Аннотация: Ввиду сложности современных систем на кристалле крайне важными этапами их проектирования становятся анализ и верификация. Зачастую верификация систем начинается сравнительно поздно, после создания RTL-кода. Однако в последнее время ведется активная разработка методов создания архитектурных спецификаций систем на кристалле, которые могут быть использованы для анализа и верификации этих систем, что позволит начинать верификацию намного раньше. Описывается один из таких методов, предоставляющий возможность создания структурных спецификаций систем на кристалле в табличном виде.


Доп.точки доступа:
Венгер, О. В. (старший научный сотрудник); Плоткин, Д. А. (научный сотрудник)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)