A Model-Based Approach for Executable Specifications on Reconfigurable Hardware.
Tim SchattkowskyWolfgang MüllerAchim RettbergPublished in: DATE (2005)
Keyphrases
- reconfigurable hardware
- formal specification
- low cost
- hardware software
- hardware implementation
- fine grain
- hardware and software
- model checking
- field programmable gate array
- image processing
- design methodology
- evolvable hardware
- processing elements
- functional units
- image processing algorithms
- neural network
- embedded systems
- efficient implementation
- pattern recognition