Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа

Третьяков, Дмитрий Александрович; Останин, Сергей Александрович

Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа

Третьяков, Дмитрий Александрович, Останин, Сергей Александрович

Дата публикации: 2017

Дата публикации в реестре: 2020-03-03T18:58:31Z

Ключевые слова:
проверяющие тесты, ROBDD-графы, булевы функции, логические схемы, CUDD, пакет решающих диаграмм

Тип: статьи в сборниках

Источник: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 8-10

Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа

Связанные документы (рекомендация CORE)

Партнеры

Индексация