Logic in Wire: Using Quantum Dots to Implement a Microprocessor.
Michael T. NiemierPeter M. KoggePublished in: Great Lakes Symposium on VLSI (1999)
Keyphrases
- quantum computation
- logic circuits
- design methodology
- special purpose hardware
- logic synthesis
- circuit design
- quantum mechanics
- logic programming
- high speed
- chip design
- predicate logic
- digital circuits
- defeasible logic
- neural network
- epistemic logic
- deontic logic
- logical framework
- multi valued
- modal logic
- sound and complete axiomatization