Login / Signup
Delete and Correct (DaC): An Atomic Logic Operation for Removing Any Unwanted Wire.
Xing Wei
Tak-Kei Lam
Xiaoqing Yang
Wai-Chung Tang
Yi Diao
Yu-Liang Wu
Published in:
VLSI Design (2014)
Keyphrases
</>
logical operations
classical logic
computational properties
logic programming
digital circuits
modal logic
predicate logic
real time
multi valued
logical framework
proof theory
information retrieval
asynchronous circuits