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.