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