ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ

ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ

Рассматривается задача верификации логических схем, реализующих системы частично определенных булевых функций. Описываются VHDL-модели различных форм задания таких систем. Предлагается программа для решения рассматриваемой задачи на основе совместного использования троичного параллельного моделирова...

Cur síos iomlán

Sonraí bibleagrafaíochta
Formáid:	Alt
Teanga:	Russian
Foilsithe / Cruthaithe:	National Academy of Sciences of Belarus, the United Institute of Informatics Problems 2018-04-01
Sraith:	Informatika
Rochtain ar líne:	https://inf.grid.by/jour/article/view/354

Míreanna comhchosúla

ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-03-01)

ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ
Foilsithe / Cruthaithe: (2018-07-01)

ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ
Foilsithe / Cruthaithe: (2018-11-01)

ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ
Foilsithe / Cruthaithe: (2018-11-01)

ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-05-01)

КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
Foilsithe / Cruthaithe: (2018-12-01)

МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-10-01)

МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-10-01)

ДЕКОМПОЗИЦИЯ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ ПО ЗАДАННЫМ ВХОДНЫМ ФУНКЦИЯМ
Foilsithe / Cruthaithe: (2019-01-01)

Математическая логика: построение логических схем из логических элементов в Maple
de réir: Оленев, А.А., et al.
Foilsithe / Cruthaithe: (2021-11-01)

РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2019-01-01)

СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ
Foilsithe / Cruthaithe: (2018-12-01)

РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-11-01)

О распознавании сложности аппроксимации булевых функций.
de réir: Н.Н. Кузюрин, et al.
Foilsithe / Cruthaithe: (2004-01-01)

О РЕАЛИЗАЦИИ УСТРОЙСТВ ПРОВЕРКИ СИММЕТРИЧНОСТИ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-11-01)

ОПТИМИЗАЦИЯ СКОБОЧНЫХ ПРЕДСТАВЛЕНИЙ БУЛЕВЫХ ФУНКЦИЙ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ
Foilsithe / Cruthaithe: (2018-04-01)

О ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2019-02-01)

ОБ ОДНОЭЛЕМЕНТНОЙ ФУНКЦИОНАЛЬНОЙ ПОЛНОТЕ В АЛГЕБРЕ БУЛЕВЫХ ФУНКЦИЙ
de réir: Горюшкин, А.П., et al.
Foilsithe / Cruthaithe: (2011-12-01)

МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ
Foilsithe / Cruthaithe: (2018-12-01)

Метод определения функциональной зависимости рабочих выходов логических комбинационных схем от проявления монотонных ошибок
de réir: Ruslan Abdullaev
Foilsithe / Cruthaithe: (2022-07-01)

О НЕКОТОРЫХ СВОЙСТВАХ КОЭФФИЦИЕНТОВ ЧИСЛОВОЙ НОРМАЛЬНОЙ ФОРМЫ БУЛЕВЫХ ФУНКЦИЙ
de réir: М. Л. Буряков
Foilsithe / Cruthaithe: (2008-06-01)

Оптимизация структуры переменнозначных логических функций при добавлении новых продукционных правил
de réir: Димитриченко, Д.П.
Foilsithe / Cruthaithe: (2022-09-01)

РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ
Foilsithe / Cruthaithe: (2018-12-01)

О СИЛЬНОЙ УСТОЙЧИВОСТИ РЕШЕНИЙ ВЕКТОРНОЙ ЗАДАЧИ МИНИМИЗАЦИИ ПОРОГОВЫХ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2019-01-01)

СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ
Foilsithe / Cruthaithe: (2018-12-01)

ДЕКОМПОЗИЦИЯ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ ПО ИХ ЗАДАНИЮ В ВИДЕ КОМПАКТНЫХ ТАБЛИЦ
Foilsithe / Cruthaithe: (2019-02-01)

ПОСТРОЕНИЕ VHDL-МОДЕЛЕЙ СХЕМ ДЛЯ ВЫЧИСЛЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ
Foilsithe / Cruthaithe: (2019-03-01)

Верификация компиляторов – систематический подход.
de réir: С.В. Зеленов, et al.
Foilsithe / Cruthaithe: (2007-01-01)

АНАЛИЗ ПРОЦЕССОВ И АППАРАТОВ, РЕАЛИЗУЮЩИХ ТЕХНОЛОГИЧЕСКИЕ СТАДИИ ПРОИЗВОДСТВА ПИВА
de réir: Евгения Владимировна Кравцова, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Об однолистных функциях, реализующих локальный экстремум двух функционалов в классе S
de réir: Гушкалова А. Г.
Foilsithe / Cruthaithe: (2006-01-01)

РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ
Foilsithe / Cruthaithe: (2019-03-01)

АЛГОРИТМ ПОКРЫТИЯ РАЗРЕЖЕННЫХ БУЛЕВЫХ МАТРИЦ
Foilsithe / Cruthaithe: (2018-11-01)

Сходимость и устойчивость разностных схем для одной системы нелинейных уравнений шредингеровского типа
de réir: M. Radziunas
Foilsithe / Cruthaithe: (1996-12-01)

МОРФОФУНКЦИОНАЛЬНЫЕ СИСТЕМЫ, ОБЕСПЕЧИВАЮЩИЕ ФУНКЦИИ СОКРАЩЕНИЯ И РЕГУЛЯЦИИ ДЕЯТЕЛЬНОСТИ СКЕЛЕТНО-МЫШЕЧНОЙ СИСТЕМЫ ОРГАНИЗМА
de réir: USM ADMIN
Foilsithe / Cruthaithe: (2011-12-01)

Functions of the System of Commercial Insurance Функции системы коммерческого страхования
de réir: Shakura Olga A.
Foilsithe / Cruthaithe: (2013-07-01)

Морфологическая верификация легочных гранулематозов во фтизиатрической практике
Foilsithe / Cruthaithe: (2015-06-01)

Контроль логических выводов в семантических базах данных
Foilsithe / Cruthaithe: (2009-06-01)

Контроль логических выводов в семантических базах данных
Foilsithe / Cruthaithe: (2009-06-01)

Повышение эффективности установки с водографитовым реактором при частичных нагрузках
Foilsithe / Cruthaithe: (2009-06-01)

Повышение эффективности установки с водографитовым реактором при частичных нагрузках
Foilsithe / Cruthaithe: (2009-06-01)