Keyphrases
- processor array
- chip design
- simulation environment
- asynchronous cellular automata
- simulation model
- classical logic
- signal processing
- built in self test
- vlsi circuits
- vlsi design
- parallel computers
- simulation models
- automated reasoning
- parallel implementation
- parallel processing
- database systems
- parallel computing
- modal logic
- linear array
- simulation study
- logic programming
- knowledge representation
- data sets