VERIFY: a program for proving correctness of digital hardware designs
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Concurrent Prolog: A Progress Report
Computer
A parallel logic simulator based on concurrent Prolog
Proceedings of the 4th conference on Logic programming '85
Compiling OR-parallelism into AND-parallelism
Proceedings of the Third International Conference on Logic Programming
Parallel Logic Programming Languages
Proceedings of the Third International Conference on Logic Programming
Proceedings of the 14th IBM Computer SCience Symposium on Operating Systems Engineering
Test-pattern Generation for VLSI Circuits in a Prolog Environment
Proceedings of the Third International Conference on Logic Programming
Computer aided design (CAD) using logic programming
DAC '84 Proceedings of the 21st Design Automation Conference
| Hi-index | 14.98 |
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.