• DocumentCode
    868097
  • Title

    Concurrent logic programming as a hardware description tool

  • Author

    Dotan, Yoheved ; Arazi, Benjamin

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Ben-Gurion Univ., Beer Sheva, Israel
  • Volume
    39
  • Issue
    1
  • fYear
    1990
  • fDate
    1/1/1990 12:00:00 AM
  • Firstpage
    72
  • Lastpage
    88
  • Abstract
    The possibility of developing hardware description languages (HDLs) based on the principles of logic programming is discussed. The specific logic programming language used to demonstrate this possibility is Flat Concurrent Prolog (FCP). It is shown explicitly how FCP naturally satisfies the commonly accepted fundamental requirements of a hardware description language. It is then demonstrated how FCP overcomes known disadvantages of the highly acclaimed VHDL. Some other parallel logic programming languages beside FCP are also presented briefly, and the possibility of using them for hardware description is discussed
  • Keywords
    logic programming; parallel programming; specification languages; Flat Concurrent Prolog; concurrent logic programming; hardware description tool; Computer languages; Concurrent computing; Context; Councils; Hardware design languages; Logic design; Logic programming; Programming profession; Research and development; Synchronization;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.46282
  • Filename
    46282