Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Алгоритм логического синтеза сбоеустойчивых схем в технологическом базисе
Авторы
	Тельпухов Д.В.
	Надоленко В.В.
Год публикации
	2021
DOI
	10.31114/2078-7707-2021-4-52-58
УДК
	621.3.049.771.14
Аннотация
	данная работа посвящена разработке алгоритма синтеза комбинационных логических схем в заданном технологическом базисе с оптимизацией по параметру сбоеустойчивости. Входными данными для алгоритма являются схема в формате AIG и библиотека элементов, выходными – синтезированное Verilog описание схемы. В качестве показателя надежности предлагается использовать одну из нескольких метрик различной степени точности, учитывающих вероятность логического маскирования. В основе предложенного алгоритма лежит классический алгоритм покрытия дерева, адаптированный под оптимизацию предложенных метрик сбоеустойчивости. Учет возможных путей распространения сигналов по схеме для различных покрытий дерева позволяет быстро и точно оценивать целевую функцию, что является ключевым фактором работоспособности алгоритма. Тестирование проводилось на схемах из набора ISCAS’85. AIG для данных схем были получены при помощи инструмента ABC. Также была протестирована эффективность алгоритма сбоеустойчивого ресинтеза на схемах, полученных в ходе данного исследования.
Ключевые слова
	случайные сбои, покрытие дерева, логический синтез, ресинтез, сбоеустойчивость, наблюдаемость, ODC
Ссылка на статью
	Тельпухов Д.В., Надоленко В.В. Алгоритм логического синтеза сбоеустойчивых схем в технологическом базисе // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 4. С. 52-58. doi:10.31114/2078-7707-2021-4-52-58
Адрес статьи
	http://www.mes-conference.ru/data/year2021/pdf/D034.pdf