Title :
Silicon compilation of algorithm structures
Author :
Gaillard, Thibaud ; Karanov, Vassil
Author_Institution :
Ecole Superieure d´´Ingenieurs en Electrotech. et Electron., Noisy-le-Grand, France
fDate :
29 May-1 Jun 1990
Abstract :
This paper describes the design of the Kiwi processor, which hardwires a new efficient unification algorithm for PROLOG resolution, using high-performance silicon compilers of VLSI Technology, Inc. Moreover, a new method for high-level simulation has been performed and appears to be best suited for complex design reliability check
Keywords :
PROLOG; application specific integrated circuits; circuit layout CAD; logic CAD; microprocessor chips; Kiwi processor; PROLOG resolution; algorithm structures; complex design reliability check; high-level simulation; silicon compilers; unification algorithm; Algorithm design and analysis; Application specific integrated circuits; CMOS technology; Coprocessors; Logic programming; Magnetic heads; Memory management; Pattern matching; Silicon compiler; Very large scale integration;
Conference_Titel :
Euro ASIC '90
Conference_Location :
Paris
Print_ISBN :
0-8186-2066-8
DOI :
10.1109/EASIC.1990.207992
