Material implication in CMOS: a new kind of logic.

Elkim Roa Wu-Hsin Chen Byunghoo Jung

Published in: DAC (2012)

Keyphrases

delay insensitive
high speed
random access memory
logic programming
chip design
modal logic
low power
predicate logic
power consumption
functional dependencies
automated reasoning
multi valued
low cost
horn clauses
classical logic
asynchronous circuits
logical framework
logical implication
integrity constraints