Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 32382

Страница 1 из 3239

Обнаружение робастно тестируемых неисправностей задержек путей
Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна
эквивалентная нормальная форма
Построение всех тестовых наборов, обнаруживающих константные неисправности литер ЭНФ
Броч, Михаил Ильич
эквивалентная нормальная форма
Observability estimation of a state variable when the LOS technique is applied
Melnikov, A. V.
эквивалентная нормальная форма
Обнаружение ложных путей в комбинационной схеме
Матросова, Анжела Юрьевна, Кудин, Дмитрий Владимирович, Николаева, Екатерина Александровна
эквивалентная нормальная форма
Selection of the flip-flops for partial enhanced scan techniques
Melnikov, A. V., Mukhamedov, R. V., Ostanin, S. A., Singh, V., Matrosova, Anjela Yu.
эквивалентная нормальная форма
Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Сингх, В.
эквивалентная нормальная форма
Обнаружение ложных путей в последовательностных схемах
Андреева, Валентина Валерьевна, Чернышов, Семен Владимирович, Рожкова, Светлана Владимировна, Кудин, Дмитрий Владимирович, Матросова, Анжела Юрьевна
эквивалентная нормальная форма
Поиск конъюнкций ЭНФ и инверсии ЭНФ для комбинационных цифровых схем
Мелюх, Илья Васильевич
эквивалентная нормальная форма
Булева разность и обнаружение неисправностей задержек пути
Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна
эквивалентная нормальная форма
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ
Кидярова, Галина Владимировна
конъюнктивная нормальная форма

Страница 1 из 3239

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core