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

[1]  Dag Svanæs,et al.  Test generation through logic programming , 1984, Integr..

[2]  Edward P. Stabler,et al.  Computer Aided Design (CAD) Using Logic Programming , 1984, 21st Design Automation Conference Proceedings.

[3]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[4]  Tetsuo Kinoshita,et al.  A Parallel Logic Simulator Based on Concurrent Prolog , 1985, LP.

[5]  Ehud Shapiro,et al.  Concurrent Prolog: A Progress Report , 1985, Computer.

[6]  Harry G. Barrow,et al.  VERIFY: A Program for Proving Correctness of Digital Hardware Designs , 1984, Artif. Intell..

[7]  J.H. Aylor,et al.  VHDL - Feature Description And Analysis , 1986, IEEE Design & Test of Computers.

[8]  Norihisa Suzuki.  Concurrent Prolog as an Efficient VLSI Design Language , 1985, Computer.

[9]  Fumihiro Maruyama.  Hardware Verification , 1985, Computer.

[10]  Michael Codish,et al.  Compiling OR-parallelism into AND-parallelism , 1986, ICLP.

[11]  Rajiv Gupta,et al.  Test-pattern Generation for VLSI Circuits in a Prolog Environment , 1986, ICLP.

[12]  David Weinbaum,et al.  Hardware description and simulation using Concurrent Prolog , 1988 .

[13]  Kenneth M. Kahn,et al.  The Language FCP(: , ?) , 1988, FGCS.

[14]  Randal E. Bryant,et al.  Concurrent programming , 1980, Operating Systems Engineering.

[15]  L.F. Saunders,et al.  VHDL Critique , 1986, IEEE Design & Test of Computers.

[16]  Akikazu Takeuchi,et al.  Parallel Logic Programming Languages , 1986, ICLP.

[17]  Ehud Shapiro.  Concurrent Prolog: A Progress Report , 1986, Computer.