Исследование и разработка методов автоматизации проектирования сбоеустойчивых схем на основе логического ресинтеза Проект РФФИ- №18-07-00626-а

Основные задачи проекта 1) Разработка методов предварительной оценки площади результатов логического ресинтеза, ориентированного на повышение сбоеустойчивости комбинационных схем. 2) Разработка методов оценки вероятности одинарных и множественных (двойных, тройных и т.д.) ошибок на выходе комбинационной схемы для определения параметров корректирующей схемы. 3) Разработка алгоритма повышения сбоеустойчивости комбинационных схем на основе R-спектрального кода. 4) Оценка эффективности предложенного подхода, сравнение с широко используемыми методами на основе кодов Хэмминга, Голея, Хсяо в рамках решения задачи парирования сбоев. 5) Адаптация разработанных ранее и разработка новых алгоритмов логического ресинтеза на транзисторном уровне к задаче проектирования схем кодирования и декодирования. 6) Разработка программных средств синтеза сбоеустойчивых схем на основе разработанных методов и алгоритмов.