• 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