BiCMOS logic testing.
Marc E. LevittKaushik RoyJacob A. AbrahamPublished in: IEEE Trans. Very Large Scale Integr. Syst. (1994)
Keyphrases
- classical logic
- multi valued
- machine learning
- website
- logic programming
- test set
- modal logic
- information systems
- neural network
- case study
- sound and complete axiomatization
- real time
- logic synthesis
- proof theory
- linear logic
- automated reasoning
- expressive power
- multi agent systems
- database systems
- genetic algorithm
- data sets