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
Link To Document