DocumentCode :
392403
Title :
HIDE: a logic based hardware intelligent description environment
Author :
Belkacemi, S. ; Benkrid, K. ; Crookes, D.
Author_Institution :
Sch. of Comput. Sci., Queen´´s Univ. of Belfast, UK
fYear :
2002
fDate :
16-18 Dec. 2002
Firstpage :
174
Lastpage :
180
Abstract :
This paper presents a high-level hardware description environment based on the logic programming language Prolog, called HIDE. The latter has been designed in an attempt to address the problem of abstract hardware design and hardware efficiency. HIDE provides more abstract hardware descriptions and compositions than are possible in traditional hardware description languages such as VHDL or Verilog. It enables highly scaleable and parameterised composition of blocks using a small set of constructors (e.g. horizontal, vertical composition), and generates pre-placed configurations in EDIF format for Xilinx Virtex FPGAs. The paper presents the syntax and semantics of HIDE and illustrates its use in the construction of a bit parallel multiplier core for Xilinx Virtex FPGAs.
Keywords :
circuit CAD; computational linguistics; electronic data interchange; field programmable gate arrays; hardware description languages; integrated circuit design; logic CAD; logic programming languages; programming language semantics; EDIF format; HIDE; Prolog; Xilinx Virtex FPGAs; abstract hardware design; bit parallel multiplier core; hardware efficiency; high-level hardware description environment; logic based hardware intelligent description environment; logic programming language; pre-placed configurations; semantics; syntax; Array signal processing; Circuit synthesis; Computer aided manufacturing; Computer science; Field programmable gate arrays; Functional programming; Hardware design languages; Logic design; Logic programming; Video signal processing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Field-Programmable Technology, 2002. (FPT). Proceedings. 2002 IEEE International Conference on
Print_ISBN :
0-7803-7574-2
Type :
conf
DOI :
10.1109/FPT.2002.1188679
Filename :
1188679
Link To Document :
بازگشت