Concurrent Logic Programming As A Hardware Description Tool

Yoheved Dotan, Benjamin Arazi

Research output: Contribution to journalLetterpeer-review

3 Scopus citations


This paper discusses the possibility of developing hardware description languages (HDL's) based on the principles of logic programming. 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.

Original languageEnglish
Pages (from-to)72-88
Number of pages17
JournalIEEE Transactions on Computers
Issue number1
StatePublished - 1 Jan 1990

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics


Dive into the research topics of 'Concurrent Logic Programming As A Hardware Description Tool'. Together they form a unique fingerprint.

Cite this