Санкт-Петербург: Энергоатомиздат 1992. — 224 с.: ил.
Посвящена вопросам схемотехники самопроверяемых цифровых устройств. Изложены принципы построения самопроверяемых дискретных устройств и их свойства. Рассмотрены основные цифровые схемы, методы синтеза и каталоги тестеров и дешифраторов для кодов с обнаружением ошибок. Описаны система самопроверяемых триггерных устройств и синтез самопроверяемых счетчиков, распределителей, регистров и других типовых узлов вычислительных систем. Приведены методы построения самопроверяемых программных реализаций дискретных устройств в микропроцессорных системах
Для инженерно-технических работников, занимающихся разработкой дискретных управляющих устройств и микропроцессорных систем.
Предисловие.
Принципы построения самопроверяемых дискретных устройств.Способы задания дискретных устройств.
Свойства самопроверяемых дискретных устройств.
Принципы построения самопроверяемых схем.
Контрольные схемы в самопроверяемых устройствах.Свойства и характеристики самопроверяемых тестеров.
Тестеры для равновесных кодов.
Синтез тестеров для кодов 2mCm.
Тестеры для кодов nC1.
Универсальные методы синтеза тестеров для кодов «m из n».
Синтез быстродействующих m/n-тестеров.
Блочная реализация тестеров.
Каталоги m/n-тестеров.
Схемы контроля и дешифрации кодов.Самопроверяемые схемы контроля кодов с повторением.
Контроль кодов с суммированием.
Тестеры для кодов с проверкой на нечетность (четность).
Самопроверяемые дешифраторы кодов.
Самопроверяемые триггерные устройства.Свойства парафазных схем.
Асинхронный Т-триггер.
Универсальный метод синтеза самопроверяемых триггерных устройств.
Асинхронный D-триггер.
Триггеры с двумя входами.
Триггеры с динамическим управлением.
Двухступенчатые триггеры.
Синтез самопроверяемых ДУ на самопроверяемых триггерах.
Самопроверяемые типовые цифровые устройства.Двоичные счетчики и регистры.
Распределители.
Генераторы и схемы синхронизации.
Контрольная парафазная логика.
Компараторы и связь с объектами.
Организация контроля избыточных самопроверяемых систем.
Самопроверяемые программные реализации дискретных устройств.Принципы построения самопроверяемых управляющих программ в микропроцессорных системах.
Программные реализации самопроверяемых тестеров.
Модульное построение самопроверяемых программ.
Интерпретирующая программа вычисления булевых функций.
Программные реализации дискретных устройств с памятью.
Список литературы.