A Direct Proof of Turing Universality of Delay-Insensitive Circuits.

Jia Lee Qingsheng Zhu

Published in: Int. J. Unconv. Comput. (2012)

Keyphrases

delay insensitive
asynchronous circuits
low power
cellular automata
theorem proving
databases
real world
multiscale
geometry theorem proving