Vector Memory Expansion System For T33xx Logic Tester.
Kazuhiro YamadaYoshikazu TakahashiPublished in: Asian Test Symposium (2002)
Keyphrases
- logic programming
- test cases
- computing power
- memory usage
- automated reasoning
- memory requirements
- multi valued
- random access memory
- proof theory
- memory size
- predicate logic
- classical logic
- random access
- artificial intelligence
- black box
- main memory
- memory space
- limited memory
- low memory
- search engine
- theorem prover
- feature extraction
- asynchronous circuits
- deontic logic
- bayesian networks
- sparse matrix
- vector data
- nonmonotonic logics
- modal logic
- logical framework
- associative memory