A 1.1ghz charge-recovery logic.

Visvesh S. Sathe Juang-Ying Chueh Marios Papaefthymio

Published in: ISSCC (2006)

Keyphrases

classical logic
high speed
modal logic
recovery algorithm
logic programming
neural network
multiresolution
multi valued
asynchronous circuits
charge coupled devices
genetic algorithm
automated reasoning
logical framework
predicate logic
formal theory
proof theory