Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Дрекслер, Рольф$<.>)
Общее количество найденных документов : 1
1.
621.398
Д 734

    Дрекслер, Рольф.
    Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств [Текст] [Текст] / Р. Дрекслер // Автоматика и телемеханика. - 2004. - N 6. - Библиогр.: с. 156-157 (30 назв. ) . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
аппаратные средства -- процедуры формальной верификации -- информация многобитового уровня -- формальная верификация -- многобитовые уровни
Аннотация: Вводятся основные понятия формальной верификации на уровне межрегистровых передач (МРП) и дается краткий обзор существующих методов ее реализации.


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