Wybór modeli automatów skończonych do realizacji na bazie układów programowalnych

• Autorzy: Klimowicz A.

Warianty tytułu

EN

Selection of Models of Finite State Machines for Realization on Programmable Logic Devices

• Konferencja: Reprogramowalne Układy Cyfrowe (18-19 maja 2006; Szczecin; Polska)
• Języki publikacji: PL

Abstrakty

PL

W pracy przedstawiono metodą wyboru odpowiedniego modelu automatu skończonego do realizacji na danym układzie programowalnym. Wybór modelu dokonywany jest spośród 50 modeli automatów skończonych klas A, B, C, D, E i F, wspólnych modeli automatów skończonych oraz modeli z rejestrami na wejściach, wyjściach oraz z zatrzaskami na wejściach. Algorytm wyboru modelu automatu uwzględnia zapewnienie realizacji wymagań systemowych, określonych typami wejść i wyjść, możliwości architektur PLD konieczne do realizacji odpowiednich modeli, klasę automatu, do której odnosi się lub jest bliski realizowany automat skończony oraz koszt realizacji modeli na PLD.

EN

In this paper, a method of selection of proper finite state machine (FSM) model for realization on PLD devices is presented. A selection of model is performed from 50 different FSM models: A, B, C, D, E, F classes, common models of FSM and models with registers on inputs and outputs. An algorithm of selection of FSM model takes into consideration system requirements described by types of inputs and outputs, PLD features needed for realization of FSM models, a class of a FSM most suitable to synthesized FSM and a cost of realization of FSM on PLD.

Słowa kluczowe

PL

modele automatów skończonych; układy programowalne

EN

models of finite state machines; programmable logic devices

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 7 bis
• Strony: 106--108
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Klimowicz A.

• Instytut Informatyki, Politechnika Białostocka,

Bibliografia

• [1] V. M. Glushkov: Sintez cifrovych avtomafov, Fizmatgiz, Moskwa, 1962.
• [2] A. Klimowicz, W. Sołowiew: Wykorzystywanie wyjściowych makrokomórek układu PLD w charakterze elementów pamięci automatu skończonego. Materiały VI Krajowej Konf. RUC'2003, 37-43, 2003.
• [3] G. H. Mealy: Methodfor synthesizing sequential circuits. Bell System Techn. Journal, vol. 34, 1045-1079, 1955.
• [4] E. F. Moore; Cedanken-experiments on sequential nutchines. In C.Shannon and J. McCarthy editors. - Automata Studies, Princeton University Press, 129-153, 1956.
• [5] I. Pomeranz, K.-T. Cheng: STOIC: state assignment based on output/input functions, IEEE Trans, on CAD, vol. 12, no. 8, 613-622, 1993.
• [6] V. V. Solovjev: Proektirovanie cifrovych sistem na osnove programmirujemych logiceskich integralnych schem, Hot Line-Telekom, Moskwa, 2001.
• [7] V. Solovjev: Synthesis of Sequential Circuits on Programmable Logic Devices Based on New Models of Finite State Machines, Proc. of the EUROMICRO Sympo$hjm on DSP'2001, Warsaw, 170-173, 2001.
• [8] W. Sołowjew, A. Klimowicz: Synteza wspólnych modeli automatów skończonych na PLD, Materiały V Krajowej Konf. RUC'2002, s. 35-42, 2002.