Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA

• Autorzy: Kłosowski M. , Łoński M.

Warianty tytułu

EN

Asynchronous digital circuits verification using FPGA

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawione zostały podstawowe informacje dotyczące typowych klas układów asynchronicznych. Wymienione klasy zostały następnie przeanalizowane pod kątem możliwości ich implementacji w układach programowalnych FPGA. Klasa "micropipelines" omówiona została dokładniej. W tej klasie został zaimplementowany w układzie FPGA typu Virtex-II przykładowy procesor asynchroniczny realizujący listę rozkazów swojego synchronicznego odpowiednika "PicoBlaze". Właściwości implementacji asynchronicznej zostały porównane z synchronicznym odpowiednikiem. Zaprezentowane rezultaty implementacji stanowią dowód na możliwość funkcjonalnej weryfikacji układów asynchronicznych typu "micropipelines" za pomocą układów FPGA.

EN

In the paper main classes of asynchronous digital circuits are described. The feasibility of FPGA-based implementation of asynchronous digital circuits bas been analyzed. The best class for FPGA implementation bas been chosen (micropipelines) and bas been described in details. Sample asynchronous processor bas be en designed using this class of asynchronous circuits. The asynchronous processor is machine code compatible with well known "PicoBlaze" processor. It bas been implemented using Virtex-II FPGA. Properties of such asynchronous implementation bas been compared with synchronous equivalent. Results confirm possible application of FPGAs to functional verification of asynchronous digital circuits designed in "micropipelines" class.

Słowa kluczowe

PL

klasy układów asynchronicznych; procesor asynchroniczny

• Wydawca: Wydział Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne
• Rocznik: 2008
• Tom: T. 16
• Strony: 527--532
• Opis fizyczny: Bibliogr. 4 poz., rys., tab.

Twórcy

autor

Kłosowski M.

autor

Łoński M.

• Politechnika Gdańska, Katedra Systemów Mikroelektronicznych

Bibliografia

• [1] Hauck S.: Asynchronous Design Methodologies: An Overview, Proceedings of the IEEE, Vol. 83, No. 1, s. 69-93, 1995.
• [2] Sparsø J., Furber S.: Principles of Asynchronous Circuit Design - A Systems Perspective, KLUWER Academic Publishers, 2001.
• [3] Virtex-II Platform FPGAs: Complete Data Sheet, Xilinx Inc., November 2007, http://www.xilinx.com/support/documentation/data_sheets/ds03l.pdf
• [4] Chapman K., PicoBlaze KCPSM3 8-bit Micro Controller for Spartan-3, Virtex-II and Virtex-IIPRO, Xilinx Inc., October 2003, Rev.7.