A defect-tolerant multiplexer using differential logic for FPGAs.

Arwa Ben Dhia Mariem Slimani Lirida A. B. Naviner

Published in: MIXDES (2014)

Keyphrases

classical logic
multi valued
flip flops
machine learning
automated reasoning
deontic logic
artificial intelligence
case study
logic programs
logic programming
computing systems
field programmable gate array
predicate logic
proof theory