Cross logic: A new approach for defect-tolerant circuits.
Mariem SlimaniArwa Ben DhiaLirida A. B. NavinerPublished in: ICICDT (2014)
Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- asynchronous circuits
- logic circuits
- chip design
- high speed
- multi valued
- built in self test
- floating gate
- analog circuits
- classical logic
- quantum computing
- logic programming
- shift register
- predicate logic
- circuit design
- nonmonotonic logics
- defect detection
- defeasible logic
- dynamic logic
- modal logic
- infrared
- low cost
- bayesian networks
- sound and complete axiomatization
- case study