Concurrent logic programming as a hardware description tool
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 39 (1) , 72-88
- https://doi.org/10.1109/12.46282
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
This publication has 14 references indexed in Scilit:
- Concurrent Prolog: A Progress ReportComputer, 1986
- VHDL CritiqueIEEE Design & Test of Computers, 1986
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Parallel logic programming languagesPublished by Springer Nature ,1986
- Hardware VerificationComputer, 1985
- Concurrent Prolog as an Efficient VLSI Design LanguageComputer, 1985
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984
- Computer Aided Design (CAD) Using Logic ProgrammingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Logic circuit synthesis using PrologNew Generation Computing, 1983
- Concurrent programmingLecture Notes in Computer Science, 1982