Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа использованы векторные логические операции and, or, not, xor, а также операция встречного сдвига частей кубитной формы функциональности. Приведены примеры комбинационных схем для верификации и сравнительного анализа производительности базовых и предложенных методов. Описана структура встроенного процессора, выполняющего операции взятия производных, синтеза тестов, дедуктивного моделирования неисправностей для оценки качества проверяющих входных наборов и диагностирования. Предложенные технологии ориетированы на их имплементацию в виде облачного сервиса или IP инфраструктуры в архитектурах SoC.

  Повний текст PDF - 204.992 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"