DocumentCode
3114501
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
fYear
1990
fDate
29 May-1 Jun 1990
Firstpage
480
Lastpage
484
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Euro ASIC '90
Conference_Location
Paris
Print_ISBN
0-8186-2066-8
Type
conf
DOI
10.1109/EASIC.1990.207992
Filename
207992
Link To Document