Abstract
Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов
Highlights
ВведениеПри работе современных микроэлектронных систем автоматики не исключены сбои, которые не должны приводить к нарушениям ответственных технологических процессов
Fault detection in combinational circuits based on self-dual complement to constant-weight code
A new method of combinational circuits concurrent checking is considered based on Boolean complement of the working functions of the diagnosis object to the constant-weight code words with parallel checkout of the bits functions belonging to the self-dual functions class of the Boolean logic
Summary
При работе современных микроэлектронных систем автоматики не исключены сбои, которые не должны приводить к нарушениям ответственных технологических процессов. В данные мероприятия входят периодическое тестирование, резервирование, функциональное диагностирование, контроль выполнения функций и т.д. Своевременное определение неверно функционирующего объекта в составе устройства или целой системы позволяет блокировать результаты его вычислений и не использовать их при принятии управляющих решений. При функциональном диагностировании часто осуществляется косвенный контроль возникающих неисправностей по результатам вычислений значений рабочих функций [2 – 6]. При организации систем функционального контроля объект диагностирования снабжается техническими средствами диагностирования, позволяющими осуществить проверку правильности вычисления значений его рабочих функций. Соответствие формируемых кодовых векторов, включающих в себя разряды рабочих функций объекта диагностирования и разряды специальных контрольных функций, проверяется тестером [9]. Существует и другой подход при синтезе технических средств диагностирования, связанный с проверкой соответствия значений формируемых рабочих функций некоторому заранее выбранному классу функций алгебры логики [10]. Данная статья посвящена изложению метода синтеза технических средств диагностирования для логических комбинационных схем на основе модифицированной структурной схемы логического дополнения до равновесных кодов с параллельным контролем принадлежности функций к классу самодвойственных функций
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Proceedings of the Institute for System Programming of the RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.