Синхронные двоичные реверсивные счетчики.
Такие счетчики должны иметь один управляющий входной сигнал х для переключения направления счета: 
сложение, 
вычитание. Граф переходов двоичного реверсивного счетчика, имеющего восемь внутренних состояний, показан на рис. 4.41,а. Ветви графа переходов подписаны значениями сигналов
где 
сигнал переполнения счетчика, используемый для каскадирования нескольких идентичных счетчиков 
перенос при 
заем при 
сигнал переполнения часто будем называть просто переносом). По табл. 4.11 для функции переходов счетчика 
соответствующей данному графу переходов, можно составить диаграммы Вейча для функций 
(рис. 4.41,6). Произведя минимизацию функций возбуждения 
получим:
На рис. 4.41,в показана схема 
-разрядного двоичного реверсивного счетчика с параллельным переносом, построенная в соответствии с функциями возбуждения (4.44).
Если синтезировать двоичный реверсивный счетчик, имеющий 16 внутренних состояний, то функции 
будут иметь вид: 
Первые три функции возбуждения не изменились. Из этого можно сделать вывод, что m-разрядный двоичный реверсивный счетчик описывается функциями:
где 
Данные функции можно привести к виду:
Типовая часть реверсивного счетчика, выполненного по этим функциям возбуждения, показана на рис. 4.42. Недостатком счетчика является высокий порядок КС, формирующей межразрядные переносы,
Рис. 4.42
что снижает его быстродействие. Схема на рис. 4.42 иллюстрирует метод каскадирования одноразрядных реверсивных двоичных счетчиков. Узел, выделенный штриховой линией, описывается общими для всех таких узлов функциями
где 
перенос/заем из предыдущего разряда, 
перенос/заем в следующий разряд, и представляет собой одноразрядный счетчик. Таким образом, счетчик любой разрядности может быть построен с помощью последовательного соединения одноразрядных счетчиков. Такие счетчики называются реверсивнъши счетчиками с последовательным переносом.
Если в (4.46) подставить 
то получатся функции (4.37), описывающие двоичный суммирующий счетчик (Up-counter). При значении сигнала 
функции (4.46) задают двоичный вычитающий счетчик (Down-counter).
