Логический ресинтез для повышения отказоустойчивости комбинационных схем при одиночных сбоях
Аннотация
Дата поступления статьи: 08.11.2023В статье рассматриваются методы защиты логических элементов комбинационных схем от одиночных отказов. До недавнего времени проблема создания микроэлектронных устройств, устойчивых к единичным отказам в логических элементах, была актуальна преимущественно в военной и космической промышленности. В этих областях предъявляются повышенные требования к отказоустойчивости схем из-за воздействия внешних дестабилизирующих факторов. Такими факторами могут быть тяжелые заряженные частицы, влияющие на работу логических элементов и вызывающие их единичные отказы. В связи с масштабированием полупроводниковых устройств меняются технологические стандарты проектирования и изготовления интегральных схем, и проблема отказоустойчивости становится актуальной и для устройств гражданского рынка. В статье предложена методика ресинтеза уязвимых участков логических комбинационных схем. Для оценки устойчивости предлагается использовать логические ограничения, полученные методом резолюций.
Ключевые слова: ресинтез, комбинационные схемы, надежность, логические корреляции, метод резолюций
.