Issue No.01 - January (1990 vol.39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.46282
<p>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.</p>
concurrent logic programming; hardware description tool; Flat Concurrent Prolog; logic programming; parallel programming; specification languages.
Y. Dotan, B. Arazi, "Concurrent Logic Programming as a Hardware Description Tool", IEEE Transactions on Computers, vol.39, no. 1, pp. 72-88, January 1990, doi:10.1109/12.46282