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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on computers Ročník 39; číslo 1; s. 72 - 88
Hlavní autoři: Dotan, Y., Arazi, B.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY IEEE 01.01.1990
Institute of Electrical and Electronics Engineers
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.< >
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9340
1557-9956
DOI:10.1109/12.46282