NMOS Energy Recovery Logic.
Chulwoo KimSeung-Moon YooSung-Mo KangPublished in: Great Lakes Symposium on VLSI (1999)
Keyphrases
- power consumption
- energy efficiency
- energy saving
- dynamic logic
- energy efficient
- automated reasoning
- modal logic
- classical logic
- propositional dynamic logic
- multi valued
- energy minimization
- logic programming
- recovery algorithm
- predicate logic
- digital circuits
- energy consumption
- database
- computational properties
- error detection
- website
- low energy
- minimum energy
- epistemic logic
- deontic logic
- asynchronous circuits
- linear logic
- machine learning
- total energy
- proof theory
- logical framework
- wireless sensor networks