A Novel Approach for On-line Testable Reversible Logic Circuit Desig.
Dilip P. VasudevanParag K. LalaJames Patrick ParkersonPublished in: Asian Test Symposium (2004)
Keyphrases
- digital circuits
- delay insensitive
- logic synthesis
- logic circuits
- chip design
- high speed
- micron cmos
- asynchronous circuits
- modal logic
- cellular automata
- logic programming
- markov chain
- classical logic
- electronic circuits
- shift register
- epistemic logic
- circuit design
- computational properties
- automated reasoning
- low power
- set theory
- data sets
- analog circuits
- logical framework
- probabilistic logic
- logic programs
- description logics
- truth table
- tunnel diode
- information systems