Title :
Design tools and reusable libraries for FPGA-based digital circuits
Author :
Sklyarov, Valery ; Skliarova, Iouliia ; Almeida, Pedro ; Almeida, Manuel
Author_Institution :
Dept. of Electron. & Telecommun., Univ. of Aveiro, Portugal
Abstract :
This paper suggests tools that provide significant improvements in the design and verification of FPGA-based digital circuits. These tools include reusable specifications of hardware components (modules) that have been proposed for two types of CAD environments; Xilinx ISE 5.x and Celoxica DK1. The components can be employed to implement both application-specific blocks from the selected area (mainly from the scope of combinatorial computations) and a number of interfaces that are very useful for interaction and data exchange with devices attached to a FPGA, such as LCD and touch panels, bus controllers, etc. The designed modules can be easily integrated into any application-specific digital system and used for visualizing the results, fast data transfer, debugging of internal sub-circuits, etc. They were constructed in such a way that their functionality can be either fixed or modifiable (both statically and dynamically). The latter capability was provided with the aid of reloadable RAM-based blocks. To illustrate the capabilities of the tools suggested, four design examples are discussed. Additional materials for this paper are available in the form of a number of tutorials and projects for FPGAs that can be accessed through the Internet.
Keywords :
digital circuits; field programmable gate arrays; formal specification; formal verification; logic design; software libraries; software reusability; CAD environments; Celoxica; FPGA-based digital circuits; Xilinx; application-specific blocks; combinatorial computations; design tools; formal verification; hardware component specification; hardware components; reloadable RAM-based blocks; reusable libraries; Computer interfaces; Data visualization; Debugging; Design automation; Digital circuits; Digital systems; Field programmable gate arrays; Hardware; Internet; Software libraries;
Conference_Titel :
Digital System Design, 2003. Proceedings. Euromicro Symposium on
Conference_Location :
Belek-Antalya, Turkey
Print_ISBN :
0-7695-2003-0
DOI :
10.1109/DSD.2003.1231939