По вашему запросу найдено документов: 32038
Страница 1 из 3204
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФконъюнктивная нормальная форма
Аппаратная реализация алгоритмов решения задачи о выполнимости КНФконъюнктивная нормальная форма
Masking circuit faults and Trojan circuit injections using sat solversконъюнктивная нормальная форма
Автоматизация выполнения и оформления лабораторных работ по дисциплине ПТЦА. Минимизация и реализация комбинационных схем с одним выходом
Обнаружение робастно тестируемых неисправностей задержек путейэквивалентная нормальная форма
Построение всех тестовых наборов, обнаруживающих константные неисправности литер ЭНФэквивалентная нормальная форма
Observability estimation of a state variable when the LOS technique is appliedэквивалентная нормальная форма
Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемыдизъюнктивная нормальная форма
СПЕЦИАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ НЕДООПРЕДЕЛЕННЫХ ЧАСТИЧНЫХ БУЛЕВЫХ
ФУНКЦИЙ
// Ученые записки КФУ. Физико-математические науки 2009 N2 представлений булевых функций: совершенная дизъюнктивная
нормальная форма (сднф), совершенная конъюнктивная
Страница 1 из 3204
Фасеты
Партнеры
Индексация
