Silicon compilation of algorithm structures
T. Gaillard, V. Karanov · 2002
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.>