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