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
fDate :
1/1/1990 12:00:00 AM
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;
Journal_Title :
Computers, IEEE Transactions on