Multilevel Factorization Technique for Pass Transistor Logic.
Arunita JaekelGraham A. JullienSubir BandyopadhyayPublished in: VLSI Design (1996)
Keyphrases
- high speed
- integrated circuit
- computational properties
- digital circuits
- logic programming
- matrix factorization
- logical framework
- data sets
- asynchronous circuits
- truth values
- classical logic
- automated reasoning
- low power
- singular value decomposition
- pairwise
- modal logic
- least squares
- epistemic logic
- real time
- proof theory
- sound and complete axiomatization