Хаханов, В.И.; Емельянов, И.В.; Любарский, М.М.; Чумаченко, С.В.; Литвинова, Е.И.; Тамер Бани Амер
(Электронное моделирование, 2017)
Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа ...