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