Hardware/software system co-verification of an active reconfigurable board with SystemC-VHDL.
Yan Basile-BellavanceEtienne LepercqYves BlaquièreYvon SavariaPublished in: ICECS (2008)
Keyphrases
- hardware software
- field programmable gate array
- hardware implementation
- hardware design
- reconfigurable hardware
- embedded systems
- hw sw
- hardware and software
- low cost
- image processing algorithms
- hardware software partitioning
- parallel computing
- model checking
- computing systems
- design methodology
- massively parallel
- data processing
- signal processing
- general purpose
- neural network
- efficient implementation
- genetic programming
- programming language
- data model
- image processing