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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on computers Vol. 39; no. 1; pp. 72 - 88
Main Authors: Dotan, Y., Arazi, B.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.01.1990
Institute of Electrical and Electronics Engineers
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9340
1557-9956
DOI:10.1109/12.46282