Concurrent logic programming as a hardware description tool

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computers Jg. 39; H. 1; S. 72 - 88
Hauptverfasser: Dotan, Y., Arazi, B.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY IEEE 01.01.1990
Institute of Electrical and Electronics Engineers
Schlagworte:
990200 - Mathematics & Computers
Applied sciences
Circuit properties
COMPUTER CODES
Computer languages
Concurrent computing
Context
Councils
Digital circuits
Electric, optical and optoelectronic circuits
ELECTRONIC CIRCUITS
Electronics
Exact sciences and technology
GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
Hardware design languages
LOGIC CIRCUITS
Logic design
Logic programming
PARALLEL PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
Programming profession
PROLOG
Research and development
Synchronization
Description language
Circuit design
Simulation
Parallel system
Concurrent program
Digital circuit
Hardware
Logical programming
PROLOG
Modeling
ISSN:0018-9340, 1557-9956
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
Bibliographie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9340
1557-9956
DOI:10.1109/12.46282