A dual-rail LUT for reconfigurable logic using null convention logic.

Jing Yu Paul Beckett

Published in: ACM Great Lakes Symposium on VLSI (2014)

Keyphrases

classical logic
logic programming
low cost
modal logic
logical framework
predicate logic
artificial intelligence
asynchronous circuits
automated reasoning
multi valued
sound and complete axiomatization
proof theory
formal theory
defeasible logic
first order logic
logic programs
knowledge base
information systems