Аннотация:Актуальность и цели. Тестирование схем из функциональных элементов - это важная теоретическая задача, имеющая практические приложения к тестированию и верификации СБИС. Целью данной работы является демонстрация возможности построения для произвольной булевой функции схемы из функциональных элементов, реализующей эту функцию и допускающей короткий единичный диагностический тест при произвольных константных неисправностях на выходах элементов. Материалы и методы. При получении основных результатов использовались методы синтеза схем, основанных на разложении булевой функции в полином Жегалкина. Результаты. В статье устанавливается, что для произвольной булевой функции f, зависящей от n переменных, существует неизбыточная реализующая функцию f схема из функциональных элементов в базисе {x&y,x⊕y,1}, допускающая единичный диагностический тест константной длины при произвольных константных неисправностях на выходах элементов.
Ключевые слова:
схема из функциональных элементов, диагностический тест, произвольная константная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.
Финансовая поддержка
Работа выполнена при финансовой поддержке грантов РФФИ № 15-01-07474-а и № 16-01-00593-а и Государственного задания № 2014/601 от 06.02.2014.
Тип публикации:
Статья
УДК:519.718
Образец цитирования:
Д. С. Романов, Е. Ю. Романова, “Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2016, № 2, 87–102
\RBibitem{RomRom16}
\by Д.~С.~Романов, Е.~Ю.~Романова
\paper Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов
\jour Известия высших учебных заведений. Поволжский регион. Физико-математические науки
\yr 2016
\issue 2
\pages 87--102
\mathnet{http://mi.mathnet.ru/ivpnz247}
\crossref{https://doi.org/10.21685/2072-3040-2016-2-8}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivpnz247
https://www.mathnet.ru/rus/ivpnz/y2016/i2/p87
Эта публикация цитируется в следующих 4 статьяx:
N. E. Aleksandrova, D. S. Romanov, “Lower Bound of the Length of a Single Fault Diagnostic Test with Respect to Insertions of a Mod-2 Adder”, Comput Math Model, 32:4 (2021), 500
К. А. Попков, “Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей”, Препринты ИПМ им. М. В. Келдыша, 2019, 081, 29 с.
К. А. Попков, “Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей”, ПДМ, 2019, № 46, 38–57
К. А. Попков, “Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов”, Препринты ИПМ им. М. В. Келдыша, 2018, 033, 23 с.
Цитирование в формате AMSBIB
Обратная связь: