Three-Phase Dual-Rail Pre-charge Logic.
Marco BucciLuca GiancaneRaimondo LuzziAlessandro TrifilettiPublished in: CHES (2006)
Keyphrases
- high speed
- classical logic
- automated reasoning
- multi valued
- modal logic
- asynchronous circuits
- abductive reasoning
- defeasible logic
- deontic logic
- logic programming
- proof theory
- learning algorithm
- power supply
- predicate logic
- charge coupled devices
- logical framework
- sound and complete axiomatization
- data sets
- primal dual
- bayesian networks
- case study
- machine learning