Рассматриваются методы и средства построения самопроверяемых дискретных устройств и на их основе самопроверяемых избыточных структур, обеспечивающих отказоустойчивость систем. Анализируются формальные методы построения самопроверяемых схем встроенного контроля для дискретных устройств и избыточных кодов. Приводятся типовые структуры самопроверяемых блоков ЭВМ: регистров, счетчиков, сумматоров, дешифраторов, запоминающих устройств.
Для инженерно-технических работников, занимающихся разработкой ЭВМ. Это и многое другое вы найдете в книге Самопроверяемые устройства и отказоустойчивые системы (Е. С. Согомонян, Е. В. Слабаков)