DocumentCode
960072
Title
From application descriptions to hardware in seconds: a logic-based approach to bridging the gap
Author
Benkrid, Khaled ; Crookes, Danny
Author_Institution
Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK
Volume
12
Issue
4
fYear
2004
fDate
4/1/2004 12:00:00 AM
Firstpage
420
Lastpage
436
Abstract
This paper presents a high-level hardware description environment developed at Queen´s University, Belfast, U.K., which aims to bridge the gap between application design and hardware description. The environment, called application-to-hardware (A2H), allows for efficient compilation of high-level application descriptions to field programmable gate array (FPGA) hardware in the form of EDIF netlist in seconds. A key concept in bridging the gap while retaining the hardware efficiency, is that of hardware skeletons. A hardware skeleton is a parameterized description of a task-specific architecture, to which the user can supply not only value parameters but also functions or even other skeletons. A skeleton contains built-in rules, which capture optimizations specific to the target hardware at the implementation phase. The rule-based logic programming language Prolog has been chosen as the base notation for the A2H environment. This paper includes descriptions of hardware skeletons abstractions in the particular context of image processing applications. The current implementation of our system targets Xilinx XC4000 and Virtex series FPGAs.
Keywords
PROLOG; convolution; field programmable gate arrays; hardware-software codesign; logic programming; programming environments; reconfigurable architectures; Prolog; Xilinx FPGA; application design; application-to-hardware; built-in rules; electronic design automation; hardware skeletons; high-level hardware description environment; image processing; logic programming; reconfigurable systems; task-specific architecture; video processing; Application specific integrated circuits; Circuit synthesis; Costs; Digital signal processing; Electronic design automation and methodology; Field programmable gate arrays; Hardware design languages; Logic programming; Signal processing algorithms; Skeleton;
fLanguage
English
Journal_Title
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on
Publisher
ieee
ISSN
1063-8210
Type
jour
DOI
10.1109/TVLSI.2004.825848
Filename
1288178
Link To Document