Dane o rozprawie doktorskiej

Rodzaj pracy	Rozprawa doktorska
Data uzyskania stopnia	2008-12-12
Uzyskany stopień naukowy	Doktor nauk technicznych
Promotor	Prof. dr hab. inż. Alexander Barkalov Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki
Recenzenci	Prof. dr hab. inż. Marian Adamski – Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki prof. dr hab. inż. Tadeusz Łuba, Politechnika Warszawska, Instytut Telekomunikacji
Jednostka prowadząca przewód	Uniwersytet Zielonogórski, Wydział Elektrotechniki Informatyki i Telekomunikacji
Miejsce pracy autora rozprawy	Uniwersytet Zielonogórski, Wydział Elektrotechniki Informatyki i Telekomunikacji, Instytut Informatyki i Elektroniki
Dziedzina naukowa	Nauki techniczne
Dyscyplina naukowa	Informatyka
Specjalność naukowa	Technika cyfrowa
Sposób zgłoszenia rozprawy, dostępność, liczba stron	Nie ogłoszono, Biblioteka Główna Uniwersytetu Zielonogórskiego, s. 115
Wydawca
Słowa kluczowe	jednostka sterująca, dekompozycja blokowa, skończony automat stanów, układ reprogramowalny, FPGA, synteza strukturalna

Streszczenie

Architektura nowoczesnych matrycowych układów reprogramowalnych zakłada ich budowę z takich elementów jak generatory funkcji logicznych, przerzutników i bloków pamięci. Jednak standardowe metody syntezy wykorzystują tylko generatory funkcji i przerzutniki, co powoduje, że wykorzystanie dostępnych zasobów sprzętowych nie jest racjonalne.

W nie niższej pracy przedstawione są metody syntezy i implementacji skończonych automatów stanów z wyjściami typu Mealy’ego do struktur programowalnych. Zaproponowane metody syntezy są dedykowane dla opracowanych wielopoziomowych struktur blokowych automatu cyfrowego. Struktury te bazują na zastosowaniu dekoderów jako układów drugiego poziomu. Metody syntezy bazują natomiast na zastosowaniu kodowania wielokrotnego. W pracy zaproponowano również zasady implementacji sprzętowej do układów FPGA opracowanych struktur blokowych. Implementacja ta bazuje na jednoczesnym wykorzystaniu generatorów funkcji i osadzonych bloków pamięci. Prowadzi to do lepszego i równomiernego wykorzystania układu w porównaniu ze standardowymi metodami syntezy.

Zaproponowane metody syntezy zostały zaimplementowane w akademicki systemie do syntezy logicznej automatów stanów. Przeprowadzone eksperymenty pokazały, że zaproponowane metody syntezy są efektywne dla układów FPGA.

Abstact

New architectures of FPGA devices combine different type of logic elements like look-up tables, flip-flops and memory blocks. But standard synthesis methods utilize only look-up tables and flip-flops and it makes that device utilization is not optimal one.
Methods of synthesis and implementation of Mealy finite state machines into Field Programmable Devices there are presented in this work. Proposed methods of synthesis are dedicated into developed multi-level structures of digital circuits of finite state machines. Architectures of designed structures are based on existence of decoders as second-level circuits. Methods of synthesis are based on the multiple encoding. There is also proposed hardware implementation into an FPGA device of developed multi-level structures. The hardware implementation is based on an implementation with use of look-up tables and memory blocks together. It leads to better utilization of a device that standard methods gives.

Proposed methods have been implemented by academic software for logic synthesis of automata. Conducted experiments shown that these methods are effective for FPGA devices.