Zastosowanie wspólnego modelu automatów Mealy'ego i Moore'a do realizacji układów sekwencyjnych w układach programowalnych

• Autorzy: Klimowicz A. , Salauyou V.

Warianty tytułu

EN

Application of the common model of Mealy and Moore finite state machines to realization of sequential circuits on programmable logic devices

• Języki publikacji: PL

Abstrakty

PL

W pracy opisano syntezę automatów skończonych na bazie programowalnych układów logicznych (PLD). Cechą szczególną metody jest zastosowanie wartości zmiennych wyjściowych w charakterze części kodu stanów wewnętrznych automatu. W celu rozwiązania zadania został zastosowany wspólny model automatów Mealy'ego i Moore'a, przy czym automat nie podlega żadnym przekształceniom związanym ze zwiększeniem liczby stanów wewnętrznych i liczby przejść. W pracy opisano też metodę syntezy wspólnego modelu automatów skończonych klas AC.

EN

This paper describes the problem of synthesis of finite automata on programmable logic devices. A special feature of the method is the application of the values of output variables as a code or the part of a code of internal states of finite automata. In order to solve the problem, a common model of Mealy [4] and Moore [5] machines is used. The main difference of this approach in relation to known methods [1-3, 6, 7, 9] is that the finite state machine does not undergo any transformation associated with a increase in the number of internal states and the number of transitions of a finite automaton. In this paper three models of finite state machines are considered (classes: A, B and C). They are applied to realization of a FSM on programmable logic. The paper presents the necessary conditions for the possibility of using the values of output variables as a code of internal states of a finite automaton. In the paper there is described the method for synthesis of a common model for the finite state machine of AC class. The idea of the proposed approach is to find such sets of the values of output variables which are formed at all transitions from the corresponding states and satisfy the conditions of realization. It also aims at doing a special coding of the internal states, where the sets of values of the output variables are used as a part of the code of the internal states. There are given possible directions for future research in the area of synthesis of new structural models of finite state machines.

Słowa kluczowe

PL

automat skończony; synteza logiczna; CPLD/FPGA

EN

finite state machine; logic synthesis; CPLD/FPGA

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2012
• Tom: R. 58, nr 7
• Strony: 653--655
• Opis fizyczny: Bibliogr. 9 poz., rys., wzory

Twórcy

autor

Klimowicz A.

autor

Salauyou V.

• Politechnika Białostocka, ul. Wiejska 45 a, 15-351 Białystok,

Bibliografia

• [1] Pomeranz I., Cheng K. T.: State assignment using input/output functions. Proc. 29th ACM/IEEE Design Automation Conference (DAC), 1992, p. 573-577.
• [2] Pomeranz I., Cheng K. T.: STOIC: state assignment based on output/input functions. IEEE Transactions on CAD, August 1993. - Vol. 12, 8, pp. 613-622.
• [3] Forrest J.: ODE: output direct state machine encoding. Proc. of the European Design Automation Conference (EURO-DAC’95), 1995, pp. 600-605.
• [4] Mealy G. H.: A method for synthesizing sequential circuits. Bell System Techn. J., Vol. 34, 1955, pp. 1045-1079.
• [5] Moore E. F.: Gedanken-experiments on sequential machines. In C. Shannon and J. McCarthy (editors), Automata Studies, Princeton University Press, 1956, pp. 129-153.
• [6] Salauyou V., Klimowicz A.: Synteza logiczna układów cyfrowych w strukturach programowalnych. Oficyna Wydawnicza Politechniki Białostockiej, Białystok 2010.
• [7] Soloviev V. V.: Sintez mikroprogramnych avtomatov na progrmirujemych matricach logiki. Wieści Akademii Nauk Belarusi. Ser. fiz.-techn. nauk, 1994, Nr 1. - s. 68-72.
• [8] Solovjev V. V., Vasiljev A. G.: Programmirujemyje logiczeskije integralne schiemy i ich primienienije . Mińsk: Biełaruskaja Nauka, 1998.
• [9] Solovjev V.: Synthesis of sequential circuits on programmable logic devices based on new models of finite state machines // Proc. of the EUROMICRO Symposium on Digital Systems Design (DSD’2001), September 4-6, 2001, Warsaw, Poland, pp. 170-173.