A Hardware Implementation of the CSP Primitives and its Verification.
Dorit RonFlavia RosembergAmir PnueliPublished in: ICALP (1984)
Keyphrases
- hardware implementation
- constraint satisfaction problems
- signal processing
- efficient implementation
- hardware architecture
- dedicated hardware
- constraint propagation
- constraint satisfaction
- software implementation
- image processing algorithms
- model checking
- fpga implementation
- high level
- low level
- arc consistency
- field programmable gate array
- hardware design
- parallel architecture
- constraint programming
- pipeline architecture
- neural network
- general purpose processors
- memory management
- search space
- constraint networks
- fpga technology
- pattern recognition
- image processing