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

Базы данных


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

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

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


Найти похожие
2.
621.398
Ч-464

    Черемисинова, Л. Д.
    Формальная верификация логических описаний с функциональной неопределенностью на основе логарифмического кодирования условий [Текст] / Л. Д. Черемисинова // Автоматика и телемеханика. - 2012. - № 7. - С. 139-153 : ил. - Библиогр.: с. 153 (13 назв.) . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
Кл.слова (ненормированные):
комбинационные схемы -- многовыходные интервалы -- логарифмическое кодирование -- логические описания -- булевы функции -- формальная верификация -- функциональная неопределенность -- верификация -- кодирование условий -- конъюнктивные нормальные формы
Аннотация: Рассматривается задача проверки реализуемости описания с функциональной неопределенностью, представленного системой частично определенных булевых функций, заданной комбинационной схемой.


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