Keyphrases
- high speed
- real time
- data acquisition
- digital circuits
- control unit
- low latency
- low cost
- hardware and software
- logic programming
- processing units
- high speed networks
- low power
- chip design
- parallel hardware
- high resolution
- classical logic
- embedded systems
- circuit design
- hardware implementation
- computer systems
- automated reasoning
- consequence finding
- computing power
- personal computer
- parallel processing
- low resolution
- multi valued
- massively parallel
- high end
- hardware architecture
- computing systems
- predicate logic
- vlsi implementation
- high frame rate
- proof theory
- multi agent systems
- neural network