Logic Minimization and Testability of 2SPP-P-Circuits.
Anna BernasconiValentina CirianiGabriella TruccoTiziano VillaPublished in: DSD (2009)
Keyphrases
- logic synthesis
- delay insensitive
- logic circuits
- asynchronous circuits
- digital circuits
- chip design
- classical logic
- multi valued
- floating gate
- logic programming
- fault models
- tunnel diode
- quantum computing
- automated reasoning
- proof theory
- random access memory
- formal theory
- vlsi circuits
- low power
- modal logic
- shift register
- objective function
- sound and complete axiomatization
- truth table
- real time
- analog circuits
- predicate logic
- model based diagnosis
- infrared
- high speed
- low cost
- artificial intelligence
- learning algorithm
- neural network