CC BY
13
УДК 621.38
А.А. БОРИСЕНКО, В.В. ПЕТРОВ
СИНТЕЗ УНИТАРНЫХ БИНОМИАЛЬНЫХ СЧЕТЧИКОВ
На основании исследований, проведенных в данной работе, находятся обобщенные аналитические выражения, необходимые при построении быстродействующих унитарных биномиальных счетчиков любой разрядности. Полученные счетчики имеют регулярную структуру и удобны для реализации на ПЛИС. Также описывается программная модель и производится оценка быстродействия.
1. Постановка задачи
На практике перспективным является применение биномиальных счетных схем, построенных на основе унитарной биномиальной системы счисления [1]. Эти схемы содержат естественную избыточность, которую можно использовать для повышения помехоустойчивости, и обладают повышенным быстродействием. Отличием унитарных биномиальных счетчиков (УБС) от других, работающих в унитарных кодах, является расширенная функциональность - возможность установки коэффициента пересчета [2]. Счетчик содержит к
дополнительных входов, на которые подается биномиальное число с параметрами п' = к' = к , количество единиц в нем определяет число состояний. Для практической реализации указанных счетных схем необходимо разработать алгоритм их синтеза. Для построения такого алгоритма необходимо получение простых аналитических выражений на основе существующих алгоритмов счета, позволяющих строить биномиальные счетчики любой разрядности.
Текущий коэффициент пересчета определяется числом сочетаний (к -1) единиц из т = (п +1 -1) элементов:
^п=——=к+1 -1 (1)
п+1-1 ' V1/
N1.=ст-1=с
Таблица 1. Состояния УБС с параметрами п = к = 4
№ п/п Номер состояния Бин.число на входе счетчика Разряды счетчика
4321 4321
1 0 0000
2 1 1000
3 2 0000 1100
4 3 1110
5 4 1111
6 0 0000
7 8 1 2 1000 0100 0110
9 3 0111
10 0 0000
11 1 1100 0010
12 2 0011
13 14 0 1 1110 0000 0001
15 0 1111 0000
(к -1)!(п +1 -1 - к +1)!
где 1 - количество единиц биномиального числа на входе УБС.
Работа УБС с параметрами п = к = 4 приведена в табл. 1.
Алгоритм работы УБС имеет вид:
1. Все разряды счетчика установлены в нуль.
2. Заносится 1 в (к - ч -1) -й разряд,
где Ч - число единиц в счетчике, 1 -число единиц биномиального числа на входе счетчика.
3. Если младший разряд не заполнен единицей, то происходит переход к пункту 2.
4. Если младший разряд заполнен единицей или количество единиц биномиального числа на входе равно к , то цикл счета окончен.
Как видно из табл. 1, унитарный биномиальный код с параметрами п = к имеет некоторые свойства рефлексных кодов, поскольку при переходе к младшему или старшему биномиальному чис-
лу происходит изменение цифры только в одном разряде числа. Исключение составляет переход от максимального числа к нулю. Это свойство позволяет получить значительно большее быстродействие по сравнению с двоичными счетчиками, без улучшения характеристик элементной базы.
2. Логический синтез
В качестве элемента памяти УБС выбираем Б -триггеры из-за простоты их управления и возможности применения регистров на их основе.
Воспользовавшись табл. 1, составим таблицу истинности суммирующего двухразрядного унитарного биномиального счетчика с параметрами п = к = 2 (табл. 2).
Таблица 2. Таблица истинности счетчика с параметрами п = к = 2
№ х1 х2 г г+1 Б1 Б2
Q1 Q2 Q1 Q2
0 0 0 0 0 1 0 1 0
1 0 0 1 0 1 1 1 1
2 0 0 1 1 0 0 0 0
3 1 0 0 0 0 1 0 1
4 1 0 0 1 0 0 0 0
5 1 1 0 0 0 0 0 0
В табл.2 х1 - х2 являются входами для подачи биномиального числа; Q1 - Q2 - разряды счетчика; Б1 - Б2 являются функциями возбуждения триггеров Q1 - Q2.
Карты Карно функций возбуждения Б1, Б2 триггеров Q1, Q2 приведены на рис.1.
Г1 х1
в И и т
йс 4: * 0 62
Ш и И-: *
* •к ш
ж2 х2 Г2
Рис. 1. Карты Карно для функции возбуждения Б1, Б2 триггеров Q1, Q2 Неиспользуемые наборы в табл. 3 являются факультативными и оптимально доопределяются для получения минимальной дизъюнктивной нормальной формы (МДНФ). МДНФ функций имеют вид
Б1 = ХЩ2,
Б2 = + х1Х2^2 = Х2^2(х1 + Q1). (2)
Для установления закономерностей формирования функций возбуждения Б -триггеров п - разрядного унитарного биномиального счетчика установим эти функции для параметров п = к = 3 . Граф состояний счетчика показан на рис. 2.
Воспользовавшись табл. 1, 2, составим таблицу истинности работы счетчика (табл. 3). В табл. 3 х1 - х3 являются входами для подачи биномиального числа, определяющего разрядность счетчика; Q1 - Q3 являются разрядами счетчика; Б1 - Б3 - функции возбуждения триггеров Q1 - Q3.
Карта Карно функции возбуждения Б1 первого триггера Q1 приведена на рис.3.
№ х1 х2 х3 t t+1 В1 В2 В3
Q1 Q2 Q3 Q1 Q2 Q3
0 0 0 0 0 0 0 1 0 0 1 0 0
1 0 0 0 1 0 0 1 1 0 1 1 0
2 0 0 0 1 1 0 1 1 1 1 1 1
3 0 0 0 1 1 1 0 0 0 0 0 0
4 1 0 0 0 0 0 0 1 0 0 1 0
5 1 0 0 0 1 0 0 1 1 0 1 1
6 1 0 0 0 1 1 0 0 0 0 0 0
7 1 1 0 0 0 0 0 0 1 0 0 1
8 1 1 0 0 0 1 0 0 0 0 0 0
9 1 1 1 0 0 0 0 0 0 0 0 0
100 110 111
Рис. 2. Граф состояний УБС с параметрами п = к = 3
хЗ хЗ хЗ 7:3 хЗ
х\ ез ж Ж ж Ж ж Ж ж Ж 21
03 ж Ж ж Ж ж Ж ж ж
ж ж 0 О ж 0 0 ж
£3 * * 0 * * * 0 *
м ж ж ж ж ж ж ж ж
е1 ж с ■—— * ■м 1 ■ ж
Л ж * * 1 л 61
ез ж ж ж ж ж ж 0 ж
ез ез 62
х2 х2
Рис. 3. Карта Карно для функции Б1 возбуждения триггера Р1 МДНФ функции Б1 имеет вид
Б1 = Х1р3. (3)
Карты Карно функции возбуждения Б2 и Б3 триггеров Р2, Р3 приведены на рис.4, 5 соответственно.
МДНФ функций Б2, Б3 имеет вид
Б2 = х1х2р3 + Х2р1р3 = х2р3(х1 + 01), (4)
)3 = х303(х2 + 02). (5)
яЗ 73 лЗ яз лЗ
Л1 & £Д
¿'3 * /-
* * 1 0 * 0 1 ф 21
£'3 * 1 а ♦ * 0 ф
23 • К ♦ * 0 • ф
0 ч ф
£3 0 ф
22 82
¡а Я2
Рис. 4. Карта Карно для функции Б2 Рис. 5. Карта Карно для функции Б3
возбуждения триггера Р2 возбуждения триггера Р3
3. Аналитический синтез функций возбуждения
Установим закономерности в алгоритмах формирования функций возбуждения Б -триггеров для п-разрядных УБС. Для этого сведем функции возбуждения триггеров счетчиков с п = 2, п = 3 в табл. 4
Таблица 4. Функции возбуждения унитарных биномиальных счетчиков с п = к
Разрядность счетчика, п Функции возбуждения Б - триггеров
2 Б1 = хЩ2
Б2 = х202(х1 + Q1)
Б1 = х1ф
3 Б2 = х2ф(х1 + Q1)
Б3 = х3ф(х2 + Q2)
Закономерность построения функций возбуждения триггеров является очевидной. По аналогии запишем функции для счетчика с п = 4. Для получения однородной структуры перепишем функцию Б1 в виде
Б1 = ХЩ4 -1, (6)
Б2 = Х2^4(х1 + Q1), (7)
Б3 = Х3^4(х2 + Q2), (8)
Б4 = Х404(х3 + Q3). (9)
На основании табл. 4 и соотношений (6) - (9) запишем в общем виде функцию возбуждения Б-триггера п-разрядного унитарного биномиального счетчика:
Г°1 = х10птах • и=1
= ^птах(х.Н + Qj-l),1 < ^ * птах, (10)
где Бj - функция возбуждения j-го триггера; Qn - единичный выход самого старшего
триггера xj-l,xj - (]-1) и j-й входы биномиального числа, j = 1,2...птах .
Для доказательства выражения (10) используем метод математической индукции. В соответствии с первым шагом метода Б2 = X2Qn (х1 + Ql). На втором шаге допустим правильность выражения (10) при j = к, тогда Бк = XkQnmax(xk-l + Qk-1). На третьем шаге метода докажем, что выражение (10) будет верно при j = к +1, тогда
11
Бк+1 = хк+1Qnmax (хк+1-1 + Qk+1-1) = хк+1%п к +1 на а, в результате получим - Ба = х^п
5 (хк + Qk), заменим в этом выражении
(ха-1 + Qa-1). Полученное выражение полностью соответствует гипотезе (10), гипотеза подтверждена.
На основе соотношений (6) - (9) получим схему, представленную на рис. 6. Выделим в ней однотипные блоки, названные ячейками памяти (ЯП), которые являются универсальными элементами для построения УБС.
Рис. 6. Биномиальный счетчик с параметрами п = к = 4 ■ '■■ Для определения коэффициента пересчета УБС двоичным чис-
| | лом необходим преобразователь кода (рис. 7). Также выбор коэффициента пересчета возможен при помощи биномиального счетчика такого же типа.
В случае использования биномиального счетчика его собственный коэффициент пересчета выбирается равным N = к +1, а его информационные выходы заводятся на входы биномиального числа управляемого счетчика. При таком включении коэффициент пересчета управляемого счетчика согласно (1) будет определяться унитарным кодом, поданным на вход управляющего счетчика. На рис. 8 приведена схема УБС с параметрами п = к = 3 . Приведенная схема отличается от рис. 6 тем, что в ней добавлена схема асинхронного сброса и параллельной загрузки, выполнен-Рис. 7. Функциональная ная на элементах 1.1 -1.3, .2.1-2.3,3.1 - 3.3, преобразователь кодов схема УБС с преобразо- на элементах 4.1 - 4.2, на группу входов а1 - а2 которого подается вателем кода двоичное число, определяющее коэффициент пересчета счетчика. Согласно (1)
= к +1 - 02,
где 02 - число в двоичной форме, поданное на входы а1 - а2.
Рис. 8. Унитарный биномиальный счетчик с параметрами п = к = 3 Для подачи числа, определяющего коэффициент пересчета в биномиальной форме, предназначены входы В1- В3. Вход разрешения параллельной загрузки и асинхронного
сброса соответственно РЕ и Я,Ь1- Ь3 - входы параллельной загрузки. Выходы М1- М3 предназначены для контроля ячеек памяти.
Таким образом, было получено простое аналитическое выражение, позволяющее получать функции возбуждения триггеров п-разрядного унитарного биномиального счетчика с переменным коэффициентом пересчета. Также был получен универсальный элемент ЯП, позволяющий строить быстродействующие унитарные биномиальные счетчики любой разрядности и быстродействующие каскадные биномиальные счетчики на их основе. Такие счетчики имеют регулярную структуру и удобны для реализации на ПБИС.
4. Оценка быстродействия
Для оценки быстродействие схемы рис. 8 найдем аналитические выражения, определяющие максимальную тактовую частоту ^ах, которую можно подать на вход счетчика.
Как упоминалось выше, биномиальный код с параметрами п = к имеет свойства рефлексных кодов. Это значит, что при переходе к младшему или старшему биномиальному числу происходит изменение только в одном разряде числа, исключение составляет переход от максимальной кодовой комбинации к нулевой. Как следствие, быстродействие всего счетчика равно быстродействию одного разряда. Счетчик, приведенный на рис. 8, разбит на однотипные элементы - ячейки памяти. Для оценки быстродействия счетчика необходимо найти максимальное время задержки распространения сигнала в одной ЯП. Из рис. 8 очевидным является то, что максимальное время задержки ЯП1 равно
гЯП1 = Л.4 + 4-1.5 + .1.6
,ЯП1 сп-т, .1.4 +1.6
где г зд.р. - время задержки ЯП1; г з.р.ср. ,г з.р.ср. - среднее время задержки распространения сигнала в элементах И1.4, ИЛИ1.6 соответственно; гзрср - среднее время задержки
распространения сигнала в триггере 1.5.
Согласно сказанному выше
fmax ^ t Яп • t зд.р.
Для создания имитационной модели описанного счетчика был использован САПР MAX+plus II. В качестве элементной базы была выбрана микросхема EPM3032A семейства MAX3000A. Результаты моделирования полностью совпали с теоретическими вык-
ГТГ-Г ЯП
ладками, приведенными выше. Было получено время задержки ЯП tздр = 3 нс . Максимальная частота на входе счетчика ограничена выбранной элементной базой и составила fmax = 220 МГц . 5. Выводы
На основании исследований, проведенных в данной работе, найдены обобщенные аналитические выражения, необходимые при построении быстродействующих унитарных биномиальных счетчиков любой разрядности. Полученные счетчики имеют регулярную структуру и удобны для реализации на ПЛИС. Также была получена программная модель и произведена оценка быстродействия. Максимальная частота на входе биномиального счетчика ограничена выбранной элементной базой и составила fmax = 220 МГц .
Список литературы: 1. БорисенкоА.А. Введение в теорию биномиального счета: Монография. Сумы: ИТД «Университетская книга», 2004. 88 с. 2. А. С. СССР 1298906. Счетчик импульсов. Борисенко А.А., ВороновВ.Г., ВолодченкоГ.С., КуноГ.В.
Поступила в редколлегию 29.04.2009
Борисенко Алексей Андреевич, д-р техн. наук, профессор, заведующий кафедрой электроники и компьютерной техники Сумского государственного университета. Научные интересы: теория информации и кодирования, сжатие данных. Адрес: Украина, 40000, Сумы, ул. Римского-Корсакова, 2, тел. 392-322, e-mail: [email protected].
Петров Владислав Викторович, аспирант кафедры электроники и компьютерной техники Сумского государственного университета. Научные интересы: теория информации и кодирования. Адрес: Украина, 40000, Сумы, ул. Римского-Корсакова, 2, тел. 392-322, e-mail: [email protected].
