Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС
Запропоновано метод оптимізації апаратурних витрат в логічній схемі автомата Мура, що реалізується в базисі ПЛІС. Метод дозволяє використовувати декілька джерел кодів класів псевдоеквівалентних станів завдяки значному коефіцієнту об’єднання за входом у макроосередки програмованої матричної логіки. П...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/44414 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС / А.А. Баркалов, Л.А. Титаренко, С.А. Цололо // Кибернетика и системный анализ. — 2009. — № 5. — С. 180-186. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-44414 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-444142013-06-02T03:03:36Z Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС Баркалов, А.А. Титаренко, Л.А. Цололо, С.А. Новые средства кибернетики, информатики, вычислительной техники и системного анализа Запропоновано метод оптимізації апаратурних витрат в логічній схемі автомата Мура, що реалізується в базисі ПЛІС. Метод дозволяє використовувати декілька джерел кодів класів псевдоеквівалентних станів завдяки значному коефіцієнту об’єднання за входом у макроосередки програмованої матричної логіки. При використанні запропонованого методу виникає п’ять нових моделей схеми автомата Мура. Запропоновано метод синтезу моделі з трьома джерелами кодів, наведено приклад його використання. A method is proposed for optimization of hardware expenditures for the implementation of Moore FSMs in CPLDs. The method lies in using several sources of codes of classes of pseudo-equivalent states, which is possible owing to a wide fan-in of PAL macrocells. The proposed method generates five new circuit models of a Moore FSM. The method of synthesis of a model with three sources of codes is proposed, and an example of its application is presented. 2009 Article Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС / А.А. Баркалов, Л.А. Титаренко, С.А. Цололо // Кибернетика и системный анализ. — 2009. — № 5. — С. 180-186. — Бібліогр.: 9 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44414 681.234 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| spellingShingle |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа Новые средства кибернетики, информатики, вычислительной техники и системного анализа Баркалов, А.А. Титаренко, Л.А. Цололо, С.А. Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС Кибернетика и системный анализ |
| description |
Запропоновано метод оптимізації апаратурних витрат в логічній схемі автомата Мура, що реалізується в базисі ПЛІС. Метод дозволяє використовувати декілька джерел кодів класів псевдоеквівалентних станів завдяки значному коефіцієнту об’єднання за входом у макроосередки програмованої матричної логіки. При використанні запропонованого методу виникає п’ять нових моделей схеми автомата Мура. Запропоновано метод синтезу моделі з трьома джерелами кодів, наведено приклад його використання. |
| format |
Article |
| author |
Баркалов, А.А. Титаренко, Л.А. Цололо, С.А. |
| author_facet |
Баркалов, А.А. Титаренко, Л.А. Цололо, С.А. |
| author_sort |
Баркалов, А.А. |
| title |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС |
| title_short |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС |
| title_full |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС |
| title_fullStr |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС |
| title_full_unstemmed |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС |
| title_sort |
оптимизация схемы автомата мура, реализуемой в базисе плис |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2009 |
| topic_facet |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/44414 |
| citation_txt |
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС / А.А. Баркалов, Л.А. Титаренко, С.А. Цололо // Кибернетика и системный анализ. — 2009. — № 5. — С. 180-186. — Бібліогр.: 9 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT barkalovaa optimizaciâshemyavtomatamurarealizuemojvbaziseplis AT titarenkola optimizaciâshemyavtomatamurarealizuemojvbaziseplis AT cololosa optimizaciâshemyavtomatamurarealizuemojvbaziseplis |
| first_indexed |
2025-07-04T02:50:26Z |
| last_indexed |
2025-07-04T02:50:26Z |
| _version_ |
1836683023126364160 |
| fulltext |
À.À. ÁÀÐÊÀËÎÂ, Ë.À. ÒÈÒÀÐÅÍÊÎ, Ñ.À. ÖÎËÎËÎ
ÓÄÊ 681.234 ÎÏÒÈÌÈÇÀÖÈß ÑÕÅÌÛ ÀÂÒÎÌÀÒÀ ÌÓÐÀ,
ÐÅÀËÈÇÓÅÌÎÉ Â ÁÀÇÈÑÅ ÏËÈÑ
Êëþ÷åâûå ñëîâà: àâòîìàò Ìóðà, ÏËÈÑ, ìàêðîÿ÷åéêè ÏÌË, ïñåâäîýêâèâàëåíò-
íûå ñîñòîÿíèÿ, ñèíòåç, ëîãè÷åñêàÿ ñõåìà.
ÂÂÅÄÅÍÈÅ
Ìîäåëü ìèêðîïðîãðàììíîãî àâòîìàòà (ÌÏÀ) Ìóðà ÷àñòî èñïîëüçóåòñÿ ïðè ðåàëè-
çàöèè óñòðîéñòâ óïðàâëåíèÿ (ÓÓ) [1, 2]. Îäèí èç ïîïóëÿðíûõ áàçèñîâ äëÿ ðåàëèçà-
öèè ñõåì ÓÓ — ïðîãðàììèðóåìûå ëîãè÷åñêèå èíòåãðàëüíûå ñõåìû (ÏËÈÑ) [3, 4].
Íàèáîëüøåå ðàñïðîñòðàíåíèå ïîëó÷èëè ÏËÈÑ ñ ìàêðîÿ÷åéêàìè íà îñíîâå ýëåìåí-
òîâ ïðîãðàììèðóåìîé ìàòðè÷íîé ëîãèêè (ÏÌË).  ïîñëåäíåå âðåìÿ â ñîñòàâå òà-
êèõ ÏËÈÑ ïîÿâëÿþòñÿ âñòðîåííûå áëîêè ïàìÿòè (ÂÁÏ) ñ èçìåíÿþùèìñÿ ÷èñëîì
âûõîäîâ [5]. Îäíîé èç àêòóàëüíûõ çàäà÷, âîçíèêàþùèõ ïðè ñèíòåçå ñõåì ÌÏÀ, ÿâ-
ëÿåòñÿ óìåíüøåíèå àïïàðàòóðíûõ çàòðàò.  ñëó÷àå ÏËÈÑ ýòà çàäà÷à ñâîäèòñÿ ê
îïòèìèçàöèè ÷èñëà ìàêðîÿ÷ååê ÏÌË â ñõåìå ÌÏÀ [4]. Äëÿ åå ðåøåíèÿ íåîáõîäè-
ìî èñïîëüçîâàòü îñîáåííîñòè êàê ìîäåëè ÌÏÀ, òàê è ýëåìåíòíîãî áàçèñà. Â íàñòî-
ÿùåé ðàáîòå ïðåäëàãàåòñÿ ïðèìåíèòü òàêèå îñîáåííîñòè ÌÏÀ Ìóðà, êàê íàëè÷èå
ïñåâäîýêâèâàëåíòíûõ ñîñòîÿíèé [2] è çàâèñèìîñòü âûõîäíûõ ïåðåìåííûõ (ìèêðîî-
ïåðàöèé) òîëüêî îò ñîñòîÿíèé. Ó÷åò ïåðâîé îñîáåííîñòè ïîçâîëÿåò óìåíüøèòü ÷èñ-
ëî òåðìîâ â ñèñòåìå ôóíêöèé âîçáóæäåíèÿ ïàìÿòè, à âòîðîé — èñïîëüçîâàòü áëîêè
ÂÁÏ äëÿ ðåàëèçàöèè ñèñòåì ìèêðîîïåðàöèé. Îñîáåííîñòüþ ÏËÈÑ ÿâëÿåòñÿ çíà÷è-
òåëüíûé êîýôôèöèåíò îáúåäèíåíèÿ ïî âõîäó (äî íåñêîëüêèõ äåñÿòêîâ), ÷òî ïîçâî-
ëÿåò èñïîëüçîâàòü áîëüøå îäíîãî èñòî÷íèêà êîäîâ ñîñòîÿíèé [6, 7].  íàñòîÿùåé
ðàáîòå àíàëèçèðóþòñÿ ðàçëè÷íûå ñòðóêòóðû ñõåìû ÌÏÀ Ìóðà, îñíîâàííûå íà ýòèõ
îñîáåííîñòÿõ. Ïðè ýòîì àëãîðèòì óïðàâëåíèÿ, ðåàëèçóåìûé àâòîìàòîì, ïðåäñòàâëåí
â âèäå ãðàô-ñõåìû àëãîðèòìà (ÃÑÀ) [1].
ÎÑÍÎÂÍÛÅ ÏÎËÎÆÅÍÈß È ÎÑÎÁÅÍÍÎÑÒÈ ÐÅÀËÈÇÀÖÈÈ ÀÂÒÎÌÀÒÀ ÌÓÐÀ
Ïóñòü àëãîðèòì óïðàâëåíèÿ öèôðîâîé ñèñòåìû ïðåäñòàâëåí ÃÑÀ � �� ( , )B E ,
ãäå B b b E EE� � �{ }0 1 2, — ìíîæåñòâî âåðøèí, E b b b b Bq t q t� � � �{ }, | , —
ìíîæåñòâî äóã. Çäåñü b0 — íà÷àëüíàÿ âåðøèíà ÃÑÀ, bE — êîíå÷íàÿ âåðøèíà
ÃÑÀ, E1 — ìíîæåñòâî îïåðàòîðíûõ âåðøèí, E2 — ìíîæåñòâî óñëîâíûõ âåð-
øèí. Â âåðøèíàõ b Eq � 1 çàïèñûâàþòñÿ íàáîðû ìèêðîîïåðàöèé Y b Yq( )� , ãäå
Y y yN� { }1 , ... , — ìíîæåñòâî ìèêðîîïåðàöèé îïåðàöèîííîãî àâòîìàòà öèôðîâîé
ñèñòåìû [1].  âåðøèíàõ b Eq � 2 çàïèñûâàþòñÿ ýëåìåíòû ìíîæåñòâà ëîãè÷åñêèõ
óñëîâèé X x xL� { }1 , ,� . Íà÷àëüíàÿ è êîíå÷íàÿ âåðøèíû ÃÑÀ ñîîòâåòñòâóþò ñî-
ñòîÿíèþ a A a a M1 1� � { }, ,� , ãäå A — ìíîæåñòâî ñîñòîÿíèé àâòîìàòà Ìóðà, à
êàæäàÿ âåðøèíà b Eq � 1 ñîîòâåòñòâóåò îäíîìó èç ýëåìåíòîâ ìíîæåñòâà A [3].
Ëîãè÷åñêàÿ ñõåìà ÌÏÀ Ìóðà çàäàåòñÿ ñèñòåìîé óðàâíåíèé
� ( , )T X , (1)
Y Y T� ( ) , (2)
180 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5
© À.À. Áàðêàëîâ, Ë.À. Òèòàðåíêî, Ñ.À. Öîëîëî, 2009
ãäå T T TR� { }1 , ,� — ìíîæåñòâî âíóòðåííèõ ïåðåìåííûõ, êîäèðóþùèõ ñîñòîÿ-
íèÿ a Am � ,
�R M� log 2 ; � { }D DR1 , ,� — ìíîæåñòâî ôóíêöèé âîçáóæäåíèÿ
òðèããåðîâ ïàìÿòè ñîñòîÿíèé. Ñèñòåìû (1), (2) ôîðìèðóþòñÿ íà îñíîâå ïðÿìîé
ñòðóêòóðíîé òàáëèöû (ÏÑÒ) ñî ñòîëáöàìè: am — òåêóùåå ñîñòîÿíèå; K am( ) —
êîä ñîñòîÿíèÿ a Am � ; as — ñîñòîÿíèå ïåðåõîäà; K as( ) — êîä ñîñòîÿíèÿ a As � ;
X h — êîíúþíêöèÿ íåêîòîðûõ ýëåìåíòîâ ìíîæåñòâà X (èëè èõ îòðèöàíèé),
îïðåäåëÿþùàÿ ïåðåõîä � �a am s, ; h — íàáîð ôóíêöèé âîçáóæäåíèÿ ïàìÿòè
ÌÏÀ, ïðèíèìàþùèõ åäèíè÷íîå çíà÷åíèå äëÿ ïåðåêëþ÷åíèÿ ïàìÿòè èç K am( ) â
K as( ) ; h H� 1 1,... , ( )� — íîìåð ñòðîêè òàáëèöû. Â ñòîëáöå am çàïèñûâàåòñÿ íà-
áîð ìèêðîîïåðàöèé Y a Ym( )� , ôîðìèðóåìûõ â ñîñòîÿíèè a Am � . Åñòåñòâåííî,
÷òî Y a Y bm q( ) ( )� , ãäå âåðøèíà b Eq � 1 îòìå÷åíà ñîñòîÿíèåì a Am � .
Ñèñòåìû (1), (2) îïðåäåëÿþò
ìîäåëü U1 àâòîìàòà Ìóðà (ðèñ. 1),
â êîòîðîé áëîê ïåðåõîäîâ (ÁÏ)
ðåàëèçóåòñÿ íà ÏÌË, à áëîê ìèê-
ðîîïåðàöèé (ÁÌÎ) — íà ÂÁÏ,
áëîê ÁÏ ðåàëèçóåò ôóíêöèè (1),
à áëîê ÁÌÎ — ôóíêöèè (2).
Êîäû ñîñòîÿíèé a Am � õðàíÿòñÿ
â ðåãèñòðå (Ðã), êîòîðûé îáíóëÿ-
åòñÿ ñèãíàëîì Start è ïåðåêëþ÷à-
åòñÿ ïî ñèãíàëó Clock.
Êàê ïðàâèëî, ÷èñëî ïåðåõî-
äîâ H1 ( )� áîëüøå ÷èñëà ïåðåõîäîâ H0 ( )� ýêâèâàëåíòíîãî àâòîìàòà Ìèëè [1]. Ýòî
ïðèâîäèò ê óâåëè÷åíèþ ÷èñëà ÏÌË â ñõåìå ÌÏÀ Ìóðà ïî ñðàâíåíèþ ñ ýòèì ïîêà-
çàòåëåì ýêâèâàëåíòíîãî àâòîìàòà Ìèëè. Ïàðàìåòð H1 ( )� ìîæíî óìåíüøèòü áëàãî-
äàðÿ íàëè÷èþ ïñåâäîýêâèâàëåíòíûõ ñîñòîÿíèé (ÏÝÑ) ÌÏÀ Ìóðà [2]. Ñîñòîÿíèÿ
a a Am s, � íàçûâàþòñÿ ÏÝÑ, åñëè âûõîäû ñîîòâåòñòâóþùèõ èì âåðøèí ñîåäèíåíû
ñ âõîäîì îäíîé è òîé æå âåðøèíû ÃÑÀ Ã. Ïóñòü �A IB B� { }1 , ,� — ðàçáèåíèå
ìíîæåñòâà À íà êëàññû ÏÝÑ (I M
). Ïîñòðîèì ñèñòåìó ôóíêöèé
B C A i Ii
i
I
mi m� � �
�1
1( , , ),�
(3)
ãäå Cmi — áóëåâà ïåðåìåííàÿ, ðàâíàÿ åäèíèöå, åñëè è òîëüêî åñëè a Bm i� ,
Am — êîíúþíêöèÿ âíóòðåííèõ ïåðåìåííûõ T Tr � , ñîîòâåòñòâóþùàÿ êîäó
K am( ) ñîñòîÿíèÿ a Am � . Çàêîäèðóåì ñîñòîÿíèÿ a Am � òàê, ÷òîáû ëþáàÿ ôóíê-
öèÿ ñèñòåìû (3) ïðåäñòàâëÿëàñü îäíèì êîíúþíêòèâíûì òåðìîì. Íàçîâåì òàêîå
êîäèðîâàíèå îïòèìàëüíûì êîäèðîâàíèåì ñîñòîÿíèé. Äëÿ íåãî ìîæåò èñïîëüçî-
âàòüñÿ, íàïðèìåð, ìåòîä ESPRESSO [8].
Òàêîé ïîäõîä âåäåò ê ìîäåëè U2 , ñòðóêòóðà êîòîðîé ñîâïàäàåò ñî ñòðóêòóðîé
ìîäåëèU1, íî ÷èñëî òåðìîâ ñîâïàäàåò ñ H0 ( )� . Îäíàêî òàêîå êîäèðîâàíèå íå âñåã-
äà âîçìîæíî [2] èç-çà îñîáåííîñòåé ÃÑÀ. Íàïðèìåð, äëÿ R � 2 , B a1 1� { },
B a a a2 2 3 4� { }, , îïòèìàëüíîå êîäèðîâàíèå ñîñòîÿíèé, ñîêðàùàþùåå ïàðàìåòð
H2 ( )� äî H0 ( )� , íåâîçìîæíî. Çäåñü ìû ââîäèì îáîçíà÷åíèå Hi j( )� , ÷òî îïðåäå-
ëÿåò ÷èñëî ñòðîê â ìîäåëè Ui ïðè èíòåðïðåòàöèè ÃÑÀ � j .
×èñëî ñòðîê ÏÑÒ ãàðàíòè-
ðîâàíî ðàâíÿåòñÿ H0 ( )� , åñëè
èñïîëüçîâàòü ñëåäóþùèé ïîäõîä.
Ïîñòàâèì â ñîîòâåòñòâèå êëàññó
Bi A�� äâîè÷íûé êîä K Bi( )
ðàçðÿäíîñòè
�R IB � log 2 è èñ-
ïîëüçóåì ïåðåìåííûå � �r �
äëÿ òàêîãî êîäèðîâàíèÿ, ãäå
| |� � RB .  ýòîì ñëó÷àå ÌÏÀ
Ìóðà ïðåäñòàâëÿåòñÿ â âèäå
ñòðóêòóðû U3 (ðèñ. 2).
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5 181
Áëîê
ïåðåõîäîâ
Ðã
Áëîê
ìèêðî-
îïåðàöèé
Start
Clock
X
T Y
Ðèñ. 1. Ñõåìà ÌÏÀ Ìóðà U1
Áëîê
ïåðåõîäîâ
Ðã
Áëîê
ìèêðî-
îïåðàöèé
Start
Clock
X
T Y
Áëîê
ïðåîáðàçîâàòåëÿ
êîäîâ
�
Ðèñ. 2. Ñõåìà ÌÏÀ Ìóðà U 3
�
 ÌÏÀ U3 áëîê ÁÏ ôîðìèðóåò ôóíêöèè
� ( , )� X , (4)
à áëîê ïðåîáðàçîâàòåëÿ êîäîâ (ÁÏÊ) ðåàëèçóåò ñèñòåìó ôóíêöèé
� �� ( )T . (5)
Ïðè ýòîì êîä K Bi( ) êëàññà Bi A�� ôîðìèðóåòñÿ íà îñíîâå êîäîâ ñîñòîÿíèé
a Bm i� . Êàê è ðàíåå, áëîê ÁÌÎ ðåàëèçóåò ñèñòåìó (2).
 ðàáîòå [2] ïîêàçàíî, ÷òî H H3 0( ) ( )� �� . Íåäîñòàòêîì ìîäåëè U3 ÿâëÿåòñÿ
íàëè÷èå áëîêà ÁÏÊ, ïîòðåáëÿþùåãî íåêîòîðûå ðåñóðñû ÏËÈÑ.  íàñòîÿùåé ðàáî-
òå ïðåäëàãàåòñÿ ìåòîä ñèíòåçà ÌÏÀ Ìóðà, ïîçâîëÿþùèé ñîõðàíèòü ïîëîæèòåëü-
íûå è óñòðàíèòü îòðèöàòåëüíûå êà÷åñòâà ìîäåëè U3 .
ÎÑÍÎÂÍÀß ÈÄÅß ÏÐÅÄËÀÃÀÅÌÎÃÎ ÌÅÒÎÄÀ
Çàêîäèðóåì ñîñòîÿíèÿ a Am � îïòèìàëüíûì îáðàçîì. Ïóñòü T Bi( ) — ÷èñëî òåð-
ìîâ â ôóíêöèè Bi A�� . Ïðåäñòàâèì ìíîæåñòâî �A â âèäå îáúåäèíåíèÿ ìíî-
æåñòâ �B è �C . Ïðè ýòîì ðàñïðåäåëåíèå êëàññîâ âûïîëíÿåòñÿ ñëåäóþùèì îá-
ðàçîì:
( ( ) ) ;
( ( ) ) .
T B B
T B B
i i B
i i C
� � �
� � �
1
1
�
�
(6)
Î÷åâèäíî, ÷òî ïðåîáðàçîâàíèþ ïîäëåæàò òîëüêî êîäû ñîñòîÿíèé a Bm i� äëÿ
áëîêîâ Bi C�� . Ïîñòàâèì â ñîîòâåòñòâèå êàæäîìó êëàññó Bi C�� äâîè÷íûé êîä
K Bi( ) ðàçðÿäíîñòè
�R Ic c� �log 2 1( ) , (7)
ãäå IC C�| |� . Íàçíà÷åíèå åäèíèöû â ôîðìóëå (7) îáúÿñíèì ïîçæå.
Ïóñòü tF — ôèêñèðîâàííîå ÷èñëî âûõîäîâ áëîêà ÂÁÏ, è ïóñòü q — ÷èñëî
ñëîâ â áëîêå ïðè tF � 1. Äëÿ áëîêà ÁÌÎ ïàðàìåòð tF îïðåäåëÿåòñÿ êàê
�t qF � / 2R , (8)
à ñóììàðíîå ÷èñëî âûõîäîâ â áëîêàõ ÂÁÏ, îáðàçóþùèõ ñõåìó ÁÌÎ, îïðåäåëÿ-
åòñÿ êàê
�t N t tF F1 � �/ . (9)
Ïðè ýòîì �t âûõîäîâ íå èñïîëüçóåòñÿ äëÿ ïðåäñòàâëåíèÿ ìèêðîîïåðàöèé, ãäå
�t t N� �1 . (10)
Î÷åâèäíî ñ èõ ïîìîùüþ ìîæíî ïðåäñòàâèòü ðàçðÿäû êîäà K Bi( ) . Ïðè ýòîì
áëîê ÁÏÊ áóäåò ðåàëèçîâûâàòü
R RK C t� � � (11)
îñòàâøèõñÿ ðàçðÿäîâ êîäà.
Ïðè âûïîëíåíèè óñëîâèÿ
RC t
� (12)
áëîê ÁÏÊ îòñóòñòâóåò. Äëÿ îá-
ùåãî ñëó÷àÿ, êîãäà �t � 0 è
RK � 1, àâòîìàò Ìóðà ïðåä-
ñòàâëÿåòñÿ ìîäåëüþ U4 (ðèñ. 3).
 ýòîé ìîäåëè èìååòñÿ
òðè èñòî÷íèêà êîäîâ ñîñòîÿ-
íèé. Ñîñòîÿíèÿ a Bm i� , ãäå
Bi B�� , îïðåäåëÿþòñÿ ñî-
äåðæèìûì ðåãèñòðà Ðã. Ñî-
ñòîÿíèÿ êëàññîâ Bi C��
ïðåäñòàâëÿþòñÿ ïåðåìåííû-
182 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5
Áëîê
ïåðåõîäîâ
Ðã
Áëîê
ìèêðî-
îïåðàöèé
Start
Clock
X
T
Y
Áëîê
ïðåîáðàçîâàòåëÿ
êîäîâ
�2
�1
Ðèñ. 3. Ñõåìà ÌÏÀ Ìóðà U 4
�
2
�
1
ìè � �r � 1 (âûõîäû ÁÌÎ) è � �r � 2 (âûõîäû ÁÏÊ). Î÷åâèäíî, ÷òî � � �
1 2� � è
| |� � RÑ . Äëÿ èäåíòèôèêàöèè èñòî÷íèêà êîäà íåîáõîäèìî ââåñòè ñïåöèàëüíûé êîä,
îïðåäåëÿåìûé âûðàæåíèåì
� r Cr R� �0 1( , , )� . (13)
Ýòèì îáúÿñíÿåòñÿ íàëè÷èå åäèíèöû â âûðàæåíèè (7).
ÌîäåëüU4 èìååò íàè-
áîëåå îáùèé õàðàêòåð, åå
âîçìîæíûå ìîäèôèêàöèè
ïðåäñòàâëåíû â òàáë. 1, ãäå
åäèíèöà â ëþáîì ñòîëáöå
îçíà÷àåò èñïîëüçîâàíèå
ñòðóêòóðíîãî ýëåìåíòà
êàê èñòî÷íèêà êîäà ñî-
ñòîÿíèÿ ÌÏÀ.
 íàñòîÿùåé ðàáîòå
ïðåäëàãàåòñÿ ìåòîä ñèí-
òåçà ÌÏÀ Ìóðà U4 ïî
îòìå÷åííîé ÃÑÀ. Ìåòîä âêëþ÷àåò ñëåäóþùèå ýòàïû:
1) ôîðìèðîâàíèå ðàçáèåíèÿ �A IB B� { }1 , ,� ;
2) îïòèìàëüíîå êîäèðîâàíèå ñîñòîÿíèé am � A;
3) ôîðìèðîâàíèå ìíîæåñòâ �B è �C ;
4) êîäèðîâàíèå êëàññîâ Bi C�� ;
5) ôîðìèðîâàíèå ïðåîáðàçîâàííîé ÏÑÒ àâòîìàòà Ìóðà;
6) ôîðìèðîâàíèå ñîäåðæèìîãî áëîêà ìèêðîîïåðàöèé;
7) ôîðìèðîâàíèå òàáëèöû áëîêà ïðåîáðàçîâàòåëÿ êîäîâ;
8) ôîðìèðîâàíèå ñèñòåìû ôóíêöèé, çàäàþùèõ ñõåìó ÌÏÀ;
9) ðåàëèçàöèÿ ñõåìû â çàäàííîì ýëåìåíòíîì áàçèñå.
Äëÿ ìîäåëåéU Ui � 4 ýòîò ìåòîä äîëæåí áûòü ìîäèôèöèðîâàí. Ïðè ýòîì íåêî-
òîðûå ýòàïû ëèáî ìîäèôèöèðóþòñÿ, ëèáî âîîáùå îòñóòñòâóþò.
ÏÐÈÌÅÐ ÏÐÈÌÅÍÅÍÈß ÏÐÅÄËÎÆÅÍÍÎÃÎ ÌÅÒÎÄÀ
 öåëÿõ ýêîíîìèè èñïîëüçóåì çàäàíèå àâòîìàòà íå â âèäå ÃÑÀ, à â âèäå ñèñòå-
ìû îáîáùåííûõ ôîðìóë ïåðåõîäà (ÎÔÏ) [6, 7]. Ïóñòü àâòîìàò Ìóðà U1 ( )�1
îïðåäåëÿåòñÿ ñëåäóþùåé ñèñòåìîé ÎÔÏ:
B x a x a1 1 2 1 3� � ; B a5 10� ;
B x a x x a x x a2 2 4 2 3 5 2 3 6� � � ; B x a x a6 1 12 1 1� � ; (14)
B x a x x a x x a3 3 6 3 4 8 3 4 1� � � ; B x a x x a x x x a x x x a7 4 1 4 5 7 4 5 6 11 4 5 6 13� � � � .
B x a x x a x x a4 5 8 5 6 11 5 6 13� � � ;
Ïóñòü ïðè ýòîì ïîëó÷åíî ðàçáèåíèå �A B B� { }1 7, ,� , ãäå B a1 1� { }, B a a2 2 3� { }, ,
B a3 4� { }, B a a a4 5 6 7� { }, , , B a a5 8 9� { }, , B a6 10� { }, B a a a7 11 12 13� { }, , , à ñèñòåìà
ìèêðîîïåðàöèé àâòîìàòàU1 ( )�1 ïðåäñòàâëÿåòñÿ ñëåäóþùåé ñèñòåìîé óðàâíåíèé:
y a a a1 2 3 12� � � ; y a a a a2 4 8 9 10� � � � ;
y a a a a3 3 7 8 11� � � � ; y a a4 5 11� � ;
y a a a5 6 7 8� � � ; y a a a6 4 6 10� � � ; (15)
y a a a a7 3 11 12 13� � � � .
Ñèñòåìà (15) ñòðîèòñÿ òðèâèàëüíûì îáðàçîì: åñëè ìèêðîîïåðàöèÿ yn �A ôîðìè-
ðóåòñÿ â ñîñòîÿíèè a Am � , òî â óðàâíåíèå äëÿ yn âêëþ÷àåòñÿ òåðì am . Èòàê, äëÿ àâ-
òîìàòà U1 ( )�1 èìååì M � 13, R � 4, T T T� { }1 4, ,� , � { }D D1 4, ,� , I � 7, N � 8.
Ñôîðìèðóåì ñèñòåìó (3) ñëåäóþùåãî âèäà:
B a1 1� ; B a a2 2 3� � ;
B a3 4� ; B a a a4 5 6 7� � � ; (16)
B a a5 8 9� � ; B a6 10� ;
B a a a7 11 12 13� � � .
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5 183
Ðã ÁÌÎ ÁÏÊ Ìîäèôèêàöèè ìîäåëè U 4
1 0 0 Ìîäåëè U1 è U 2
1 0 1 Ìîäåëü U 3
1 1 0 Ìîäåëü U 5. Âûïîëíÿåòñÿ óñëîâèå (12)
1 1 1 Ìîäåëü U 4
0 0 1 Ìîäåëü U 6. � �A C� è � t � 0
0 1 0 Ìîäåëü U 7. � �A C� è � t CR�
0 1 1 Ìîäåëü U 8. � �A C� è � t CR�
Ò à á ë è ö à 1 . Ìîäåëè àâòîìàòà Ìóðà íà ÏËÈÑ
Îäèí èç âîçìîæíûõ ðåçóëüòàòîâ îïòèìàëüíîãî êîäèðîâàíèÿ ñîñòîÿíèé äëÿ àâ-
òîìàòà U1 ( )�1 ïîêàçàí êàðòîé Êàðíî íà ðèñ. 4.
Àíàëèç ýòîé êàðòû ïîêàçûâàåò, ÷òî êëàññû B B B B B1 3 5 6, , , �� è
B B B C2 4 7, , �� . Òàêèì îáðàçîì, IC � 3 , RC � 2 , � � �� { }1 2, . Çàêîäèðóåì êëàññû
Bi C�� : K B( )2 11� , K B( )4 01� , K B( )7 10� . Èòàê, ÷åì áîëüøå ñîñòîÿíèé âõîäèò
â êëàññ Bi C�� , òåì ìåíüøå åäè-
íèö ñîäåðæèò êîä ýòîãî êëàññà.
Îòìåòèì, ÷òî êîä 00 ñîîòâåòñòâóåò
ñèòóàöèè Bi B�� . Ýòèì îáúÿñíÿ-
åòñÿ íàëè÷èå åäèíèöû â ôîðìó-
ëå (7). Èç êàðòû Êàðíî èìååì
K B( )1 0000� , K B( ) *3 001� ,
K B( ) *5 1 10� , K B( )6 0110� . Òå-
ïåðü ïåðåõîäèì ê ìîäåëèU4 ( )�1 .
Ïðåîáðàçîâàííàÿ ÏÑÒ àâòîìà-
òà Ìóðà U4 ( )� âêëþ÷àåò ñòîëáöû
Bi , K Bi( ) , aS , K aS( ) , X h , h , h.
Ñòîëáåö K Bi( ) ðàçáèâàåòñÿ íà ïîä-
ñòîëáöû �B è �C , ÷òîáû ïîêàçàòü èñòî÷íèê êîäîâ. Äëÿ àâòîìàòà U4 ( )�1 ýòà òàáëèöà
âêëþ÷àåò H4 18( )�1 � ñòðîê, ÷òî îïðåäåëÿåòñÿ ÷èñëîì òåðìîâ â ñèñòåìå (14). Ôðàã-
ìåíò ïðåîáðàçîâàííîé ÏÑÒ äëÿ êëàññîâ B B1 �� è B C2 �� ñîäåðæèò ïÿòü ñòðîê
(òàáë. 2).
Ñâÿçü ýòîé òàáëèöû
ñ ñèñòåìîé (14) è êîäàìè
êëàññîâ è ñîñòîÿíèé î÷å-
âèäía. Îòìåòèì, ÷òî ïðè
Bi B�� ñòîëáåö �C ñîäåð-
æèò êîä 00, à ïðè Bi C��
ñîäåðæèìîå ñòîëáöà �B èã-
íîðèðóåòñÿ è ìîæåò áûòü
ëþáûì, ÷òî îòìå÷åíî çíàêà-
ìè *. Ýòà òàáëèöà ñëóæèò
îñíîâîé äëÿ ôîðìèðîâàíèÿ
ñèñòåìû � ( , , )T X� , çà-
äàþùåé áëîê ÁÏ.
Íàïðèìåð, èç òàáë. 2 ñ ó÷åòîì ìèíèìèçàöèè èìååì:
D T T T T x1 1 2 3 4 1 2 1� � � (ñòðîêà 2);
D T T T T x x2 1 2 3 4 1 2 1 1 2 2� �� � � � (ñòðîêè 2, 4, 5); (17)
D x x3 1 2 2 1 2 3� �� � � � (ñòðîêè 3, 5);
D T T T T x x x4 1 2 3 4 1 2 1 1 2 2 3� �� � � � (ñòðîêè 1, 2, 5).
Ôîðìèðîâàíèå ñîäåðæèìîãî áëîêà ìèêðîîïåðàöèé ñâîäèòñÿ ê ôîðìèðîâàíèþ
òàáëèöû ñî ñòîëáöàìè am , K am( ) , Y am( ) , �m
1 , m . Çäåñü Y a Ym( )� — íàáîð ìèê-
ðîîïåðàöèé, ôîðìèðóåìûé â ñîñòîÿíèè a Am � . Ýòà èíôîðìàöèÿ ñîäåðæèòñÿ â îïå-
ðàòîðíûõ âåðøèíàõ ÃÑÀ Ã, à â íàøåì ïðèìåðå çàäàíà ñèñòåìîé (15). Ñòîëáåö �m
1
ñîäåðæèò ïåðåìåííûå � �r � 1 , ðàâíûå åäèíèöå â ÷àñòè êîäà K Bi( ) , ôîðìèðóåìîé
áëîêîì ÁÌÎ. Ýòîò ñòîëáåö ìîæåò îòñóòñòâîâàòü, åñëè �t � 0 .
Ïóñòü äëÿ ðåàëèçàöèè áëîêà ÁÌÎ èñïîëüçóþòñÿ áëîêè ÂÁÏ, ó êîòîðûõ âîçìîæ-
íîå ÷èñëî tF âûáèðàåòñÿ èç ìíîæåñòâà T0 1 2 4� { }, , è ïðè tF � 1 q � 64. Äëÿ àâòîìàòà
U4 ( )�1 M � 13, R � 4 è ñîãëàñíî (8) èìååì tF � 4. Ïîñêîëüêó t TF � 0 , âûáèðàåì åãî â
êà÷åñòâå ôèêñèðîâàííîãî ÷èñëà âûõîäîâ áëîêîâ ÂÁÏ. Îòìåòèì, ÷òî åñëè t TF � 0 , òî
â êà÷åñòâå tF íåîáõîäèìî âûáðàòü áëèæàéøèé ìåíüøèé ýëåìåíò ìíîæåñòâà T0 . Äëÿ
àâòîìàòà U4 ( )�1 N � 7, ïîýòîìó t1 8� è �t � 1. Èòàê, îäèí ðàçðÿä êîäà K Bi( ) ìîæåò
184 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5
00 01 11 10
00 a1 a2 * a4
01 a5 * a6 a10
11 a11 a3 a7 a8
10 a13 a12 * a9
T3 T4
T1 T
2
Ðèñ. 4. Êîäû ñîñòîÿíèé àâòîìàòà Ìóðà U1 ( )�1
Bi
K Bi( ) as K as( ) X h h h
�B �C a2 0001 x1 D4 1
B1 0000 00
a3 1101 x1 D D D1 2 4 2
a4 0010 x2 D3 3
B2 **** 11
a5 0100 x x2 3 D2 4
a6 0111 x x2 3 D D D2 3 4 5
Ò à á ë è ö à 2 . Ôðàãìåíò ïðåîáðàçîâàííîé ÏÑÒ
àâòîìàòà Ìóðà U4 ( )�1
áûòü ðåàëèçîâàí íà ÁÌÎ. Ïóñòü � �
1
1� { }, òîãäà ýòà ïåðåìåííàÿ âêëþ÷àåòñÿ â ñòðîêè
2, 3, 11, 12, 13 òàáëèöû ñîäåðæèìîãî áëîêà ÁÌÎ (òàáë. 3).
Î÷åâèäíî, ÷òî � �
2
2� { } è òàáëèöà ïðåîáðàçîâàòåëÿ êîäîâ äîëæíà çàäàâàòü
òîëüêî ýòó ôóíêöèþ. Åñëè áëîê ÁÌÎ ðåàëèçóåòñÿ íà ÂÁÏ, òî îí çàäàåòñÿ òàáëèöåé
ñî ñòîëáöàìè am , K am( ) , �m
2 , m . Åñëè áëîê ÁÌÎ ðåàëèçóåòñÿ íà ìàêðîÿ÷åéêàõ
ÏÌË, òî öåëåñîîáðàçíî çàäàòü êàæäóþ ôóíêöèþ � �r � 2 êàðòîé Êàðíî. Äëÿ äàííî-
ãî ïðèìåðà ôóíêöèÿ �2 çàäàåòñÿ êàðòîé Êàðíî (ðèñ. 5).
Èç ýòîé êàðòû èìååì ñèñòåìó �
� ( )T ,
êîòîðàÿ â äàííîì ñëó÷àå ïðåäñòàâëÿåòñÿ
óðàâíåíèåì �2 1 4 2 4 1 2 3� � �T T T T T T T .
Ñèíòåç ñõåìû ÌÏÀ U4 ( )� ñâîäèòñÿ
ê ðåàëèçàöèè ïîëó÷åííûõ ñèñòåì ôóíêöèé
� ( , , )T X� è �
� ( )T íà ìàêðîÿ÷åéêàõ
ÏÌË è ñèñòåì Y ( )T è �
� ( )T íà âñòðîåííûõ
áëîêàõ ïàìÿòè. Ýòà çàäà÷à ïîäðîáíî ðàñ-
ñìîòðåíà â [4], ïîýòîìó â äàííîé ðàáîòå íå
àíàëèçèðóåòñÿ.
Îòìåòèì, ÷òî äëÿ àâòîìàòà U1 ( )�1 ïðÿ-
ìàÿ ñòðóêòóðíàÿ òàáëèöà èìååò H1 1 37( )� �
ñòðîê, ÷òî â äâà ðàçà áîëüøå, ÷åì H4 1 18( )� � . Ïðè ýòîì ìîæíî îæèäàòü, ÷òî è ÷èñ-
ëî ìàêðîÿ÷ååê â ñõåìå áëîêà ÁÏ àâòîìàòà U4 ( )�1 áóäåò â äâà ðàçà ìåíüøå, ÷åì
â àâòîìàòå U1 ( )�1 . Äëÿ àâòîìàòà U2 ( )�1 èìååì H2 1 28( )� � è ÷èñëî ìàêðîÿ÷ååê
â ñõåìå ÁÏ ìîæåò áûòü â 1,5 ðàçà áîëüøå, ÷åì â àâòîìàòå U4 ( )�1 .  àâòîìàòàõ
U3 ( )�1 è U4 ( )�1 ñõåìû áëîêîâ ÁÏ ñîäåðæàò îäèíàêîâîå ÷èñëî ìàêðîÿ÷ååê, íî äëÿ
ðåàëèçàöèè ñõåìû ÁÏÊ â àâòîìàòåU3 ( )�1 íåîáõîäèìî äâà âñòðîåííûõ áëîêà ïàìÿ-
òè.  àâòîìàòå U4 ( )�1 ýòà ñõåìà ðåàëèçóåòñÿ íà îäíîé ìàêðîÿ÷åéêå ÏÌË, èìåþ-
ùåé òðè òåðìà. Ïðè ýòîì áûñòðîäåéñòâèå âñåõ ìîäåëåé îäèíàêîâî. Òàêèì îáðàçîì,
àâòîìàò U4 ( )�1 îáëàäàåò íàèìåíüøèìè àïïàðàòóðíûìè çàòðàòàìè è îäèíàêîâûì
áûñòðîäåéñòâèåì ïî ñðàâíåíèþ ñ îñòàëüíûìè ðàññìîòðåííûìè ìîäåëÿìè. Îòìå-
òèì, ÷òî ìîäåëè U U5 8� â äàííîì ñëó÷àå ïðèìåíÿòü íåëüçÿ èç-çà íàðóøåíèÿ
íåîáõîäèìîãî óñëîâèÿ (12) èëè óñëîâèÿ � �A C� .
ÇÀÊËÞ×ÅÍÈÅ
 íàñòîÿùåé ðàáîòå ïðåäëàãàåòñÿ ìåòîä îïòèìèçàöèè àïïàðàòóðíûõ çàòðàò
â ñõåìå àâòîìàòà Ìóðà, îñíîâàííûé íà èñïîëüçîâàíèè íåñêîëüêèõ èñòî÷íèêîâ
êîäà (äî òðåõ) êëàññîâ ïñåâäîýêâèâàëåíòíûõ ñîñòîÿíèé. Òàêîé ïîäõîä âîçìîæåí
ïðè ðåàëèçàöèè ñõåìû ÌÏÀ Ìóðà íà ÏËÈÑ, â ñîñòàâ êîòîðûõ âõîäÿò ìàêðî-
ÿ÷åéêè ÏÌË ñ áîëüøèìè êîýôôèöèåíòàìè îáúåäèíåíèÿ ïî âõîäó è âñòðîåííûå
áëîêè ïàìÿòè ñ èçìåíÿåìûì ÷èñëîì âûõîäîâ. Ïðèìåíåíèå ïðåäëîæåííîãî ìåòî-
äà ãàðàíòèðîâàííî óìåíüøàåò äëèíó òàáëèöû ïåðåõîäîâ ÌÏÀ Ìóðà äî äëèíû
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5 185
am K am( ) Y am( ) � m
1 m am K am( ) Y am( ) � m
1 m
a1 0000 – – 1 a8 1110 y y y2 3 5 – 8
a2 0001 y1 �1 2 a9 1010 y2 – 9
a3 1101 y y y1 3 7 �1 3 a10 0110 y y2 6 – 10
a4 0010 y y2 6 – 4 a11 1100 y y y3 4 7 �1 11
a5 0100 y4 – 5 a12 1001 y y1 7 �1 12
a6 0111 y y5 6 – 6 a13 1000 y7 �1 13
a7 1111 y y3 5 – 7 – **** *** * *
Ò à á ë è ö à 3 . Ñîäåðæèìîå áëîêà ìèêðîîïåðàöèé ÌÏÀ U4 ( )�1
T3 T4
T1 T2
0 1 * 0
1 * 1 0
0 1 1 0
0 0 * 0
00 01 11 10
00
01
11
10
Ðèñ. 5. Êàðòà Êàðíî äëÿ ôóíêöèè � 2
ñîîòâåòñòâóþùåé òàáëèöû ýêâèâàëåíòíîãî àâòîìàòà Ìèëè. Â ðàáîòå ïîêàçàíî,
÷òî ñóùåñòâóåò ïÿòü ìîäåëåé ÌÏÀ Ìóðà, îñíîâàííûõ íà ýòîì ïîäõîäå (ìîäåëè
U U4 8� èç òàáë. 1). Âàæíûì ñâîéñòâîì ýòèõ ìîäåëåé ÿâëÿåòñÿ ñîõðàíåíèå áûñò-
ðîäåéñòâèÿ ïî ñðàâíåíèþ ñ áàçîâûìè ìîäåëÿìè U U1 3� .
Äëÿ èññëåäîâàíèÿ ýôôåêòèâíîñòè ïðåäëîæåííîãî ìåòîäà ðåàëèçîâàí ïðîãðàì-
ìíûé êîìïëåêñ, èñïîëüçóþùèé VHDL-ìîäåëè àâòîìàòîâ U U1 8� . Êîäèðîâàíèå ñî-
ñòîÿíèé è èõ êëàññîâ âûïîëíÿëîñü àëãîðèòìîì ESPRESSO [8]. Ðåçóëüòèðóþùèå
ñèñòåìû óðàâíåíèé îáðàáàòûâàëèñü ñèñòåìîé WebPack ôèðìû Xilinx [9], ÷òî ïî-
çâîëèëî îöåíèòü ÷èñëî ìàêðîÿ÷ååê ÏÌË è áûñòðîäåéñòâèå ñõåì àâòîìàòîâ. Èññëå-
äîâàíèÿ ïîêàçàëè, ÷òî ïðèìåíåíèå ïðåäëîæåííîãî ìåòîäà ïîçâîëÿåò ïîëó÷èòü ñõå-
ìû, ïîòðåáëÿþùèå ìàêðîÿ÷ååê íà 40 % ìåíüøå, ÷åì äëÿ àâòîìàòîâ U1 ñ ïðîèç-
âîëüíûì êîäèðîâàíèåì ñîñòîÿíèé, è äî 18 % ìåíüøå, ÷åì äëÿ àâòîìàòîâ U2 ñ îïòè-
ìàëüíûì êîäèðîâàíèåì ñîñòîÿíèé. Ïðè ýòîì ÷èñëî áëîêîâ ÂÁÏ â ñõåìå ïðåîáðàçîâà-
òåëÿ êîäîâ óìåíüøàåòñÿ íà 60 % ïî ñðàâíåíèþ ñ àâòîìàòîì U3 . Ïðè ýòîì â 90 % ðàñ-
ñìîòðåííûõ ïðèìåðîâ ïî ôîðìàëüíûì ïðèçíàêàì âûáèðàëàñü ìîäåëü U4 .
Íàó÷íàÿ íîâèçíà ïðåäëîæåííîãî ìåòîäà çàêëþ÷àåòñÿ â ó÷åòå îñîáåííîñòåé àâ-
òîìàòà Ìóðà è ýëåìåíòíîãî áàçèñà ÏËÈÑ äëÿ îïòèìèçàöèè ÷èñëà ìàêðîÿ÷ååê ÏÌË
è áëîêîâ âñòðîåííîé ïàìÿòè â ñõåìå àâòîìàòà.
Ïðàêòè÷åñêàÿ çíà÷èìîñòü ìåòîäà çàêëþ÷àåòñÿ â óìåíüøåíèè ñòîèìîñòè ñõåìû
àâòîìàòà Ìóðà íà ÏËÈÑ ïî ñðàâíåíèþ ñ èçâåñòíûìè èç ëèòåðàòóðû àíàëîãàìè.
Äàëüíåéøåå íàïðàâëåíèå íàøèõ èññëåäîâàíèé ñâÿçàíî ñ àíàëèçîì ïðèìåíåíèÿ
ïðåäëîæåííîãî ìåòîäà ïðè ðåàëèçàöèè óñòðîéñòâ óïðàâëåíèÿ íà ÏËÈÑ, â êîòîðûõ
ìàêðîÿ÷åéêè îòëè÷àþòñÿ îò ÏÌË [3].
ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ
1. B a r a n o v S . Logic synthesis for control automata. — N.Y: Kluwer Academ. Publ., 1994. — 312 p.
2. Á à ð ê à ë î â À . À . Ïðèíöèïû îïòèìèçàöèè ëîãè÷åñêîé ñõåìû ìèêðîïðîãðàììíîãî àâòîìàòà Ìóðà //
Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. — 1998. — ¹ 1. — C. 65–72.
3. Ã ð ó ø í è ö ê è é Ð . È . , Ì ó ð ñ à å â À . Õ . , Ó ã ð þ ì î â Å . Ï . Ïðîåêòèðîâàíèå ñèñòåì ñ èñïîëü-
çîâàíèåì ìèêðîñõåì ïðîãðàììèðóåìîé ëîãèêè. — ÑÏá: ÁÕÂ, 2002. — 608 ñ.
4. Ñ î ë î â ü å â  .  . Ïðîåêòèðîâàíèå öèôðîâûõ ñõåì íà îñíîâå ïðîãðàììèðóåìûõ ëîãè÷åñêèõ
èíòåãðàëüíûõ ñõåì. — Ì.: Ãîðÿ÷àÿ ëèíèÿ-ÒÅËÅÊÎÌ, 2001. — 636 ñ.
5. C y p r e s s Semiconductor — http://www.cypress.com
6. Á à ð ê à ë î â À . À . , Ö î ë î ë î Ñ . À . Îïòèìèçàöèÿ ñõåìû àâòîìàòà Ìóðà â ñîñòàâå ñèñòåìû íà
êðèñòàëëå // Ðàäèîýëåêòðîíèêà è èíôîðìàòèêà. — 2007. — ¹ 1. — C. 35–39.
7. Á à ð ê à ë î â À . À . , Ö î ë î ë î Ñ . À . Îïòèìèçàöèÿ ÷èñëà ìàêðîÿ÷ååê PAL â ñõåìå àâòîìàòà Ìóðà //
Óïð. ñèñòåìû è ìàøèíû. — 2008. — ¹ 2. — C. 54–59.
8. D e M i c h e l i G . Synthesis and optimization of digital circuits. — N.Y.: McGraw-Hill, 1994. — 636 p.
9. X i l i n x — http://www.xilinx.com
Ïîñòóïèëà 06.02.2009
186 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2009, ¹ 5
|