Probabilistic methods for self-correcting hardware design

Описаны некоторые подходы к распространению метода самокоррекции программ, основанного на свойстве «случайной самосокращаемости» (random self-reducibility), на задачи проектирования аппаратной части вычислительных систем. Данная концепция может быть использована для проектирования как цифровой, так и аналоговой аппаратуры. Расширение метода основано на использовании случайных выборок, полиномиальной интерполяции и теории самокорректирующихся кодов. В частности, предлагается использовать известные методы реконструкции числовых функций для коррекции ошибок, вызываемых неисправностями, остающимися в аппаратуре после производственного контроля. Предлагаемый подход может дополнять известные методы тестирования цифровых и аналоговых приборов посредством использования равновероятной выборки операций и верификации результатов их выполнения, обеспечивая приемлемый уровень (небольшую долю) неправильных результатов.