Badania eksperymentalne metody syntezy wspólnego modelu automatów skończonych na PLD

• Autorzy: Klimowicz A.

Warianty tytułu

EN

The experiments with common model of finite state machine synthesis method on PLD

• Języki publikacji: PL

Abstrakty

PL

Przedstawiono algorytm syntezy wspólnego modelu automatów skończonych klas A, D i E do zastosowania w strukturach programowalnych. Pokazana metoda wykorzystuje możliwości architektur współczesnych układów programowalnych, takie jak: możliwość stosowania wyjść i wejść układu zarówno buforowanych, jak i kombinacyjnych, a także przerzutnika w pętli sprzężenia zwrotnego układu programowalnego. Zastosowanie wspólnego modelu automatów skończonych klas A, D i E pozwala zniwelować niedogodności powstające podczas stosowania osobno modeli poszczególnych klas. Pokazano wyniki badań eksperymentalnych oraz ich porównanie z rezultatami otrzymanymi z przemysłowych pakietów projektowania układów cyfrowych na bazie logiki programowalnej: Max+Plus II oraz Xilinx Webpack. Analiza wyników pokazuje, iż stosując zaprezentowany model można dwukrotnie zmniejszyć liczbę elementów logicznych układu programowalnego.

EN

In this paper, a method of synthesis of common model of Finite State Machine (FSM) is presented. Presented method uses features of modern programmable logic devices (PLD), such as, possibility of using combinatorial and buffered inputs and outputs and registers in PLD feedback. Application of common FSM model allows to level disadvantages of separate FSM models. The experimental results and comparison with industrial design systems Max+Plus II and Xilinx WebPack are presented. Analysis of experimental results shows that an application of presented method allows to decrease twice a number of used PLD logic elements.

Słowa kluczowe

PL

synteza logiczna; automat skończony; PLD; projektowanie układów cyfrowych

EN

logic synthesis; finite state machine; PLD; digital systems design

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Elektronika : konstrukcje, technologie, zastosowania
• Rocznik: 2003
• Tom: Vol. 44, nr 10
• Strony: 29--31
• Opis fizyczny: Bibliogr. 12 poz., il.

Twórcy

autor

Klimowicz A.

• Wydział Informatyki, Politechnika Białostocka,

Bibliografia

• 1. D. B. Armstrong: A programmed algorithm for assigning internal codes to sequential machines, IRE Transactions Electr. Comp., vol. EC-11, August 1962, pp. 466-472.
• 2. T. A. Dolotta, E. G. McCluskey: The coding of internal states of sequential machines, IEEE Transactions on Electronic Computers, vol. EC-13, October 1964, pp. 549-562.
• 3. E. M. Sentovich i in.: SIS: A system for sequentional circuit synthesis, Memorandum No. UCB/ERL M92/41, Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkley, May 1992 - 45p.
• 4. S. Devadas i in.: MUSTANG: State Assigment of Finite State Machines Targeting Multilevel Logic Implementations, IEEE Transactions on Computer-Aided Design, Dec. 1988, Vol. 7, No. 12, pp. 1290-1300.
• 5. T. Villa, A. Sangiovanni-Vincentelli: NOVA: State Assignment for Finite State Machines for Optional Two-Level Logic Implementation, IEEE Trans. on Computer-Aided Design, vol. C-9, pp. 905-924, Sept. 1990.
• 6. G. H. Mealy: Method for synthesizing sequential circuits, Bell System Techn. Jourhal, vol. 34, 1955, pp. 1045-1079.
• 7. E. F. Moore: Gedanken-experiments on sequential machines, In C. Shannon and J. McCarthy editors. - Automata Studies, Princeton University Press, 1956, pp. 129-153.
• 8. W. Sołowjew: Projektowanie systemów cyfrowych na bazie programowalnych układów logicznych; Wyd. Hot Line - Telekom, Moskwa, 2001.
• 9. W. Sołowiew, A. Klimowicz: Synteza wspólnych modeli automatów skończonych na PLD, Materiały IV Krajowej Konferencji RUC'2002, Szczecin, 2002, pp. 35-42.
• 10. 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.
• 11. Solovjev V., Chyży M.: Models of the finite state machines, Proc. of the Sixth Int. Conf. on Methods and Models in Automation and Robotics (MMAR 2000), 28-31 August 2000, Międzyzdroje, Poland, Vol 2, pp. 909-914.
• 12. S. Yang: Logic Synthesis and Optimization Benchmarks User Guide; Microelectronics Center of North Carolina, Research Triangle Park, NC, 1991.