A novel scalable and reconfigurable emulation platform for embedded systems verification.
M. Di MarzioMichelangelo GrossoMatteo Sonza ReordaLuca SterponeG. AudisioMarco SabatiniPublished in: ISCAS (2010)
Keyphrases
- embedded systems
- low cost
- field programmable gate array
- reconfigurable hardware
- hardware software
- smart camera
- computing platform
- computing power
- embedded software
- resource limited
- processing power
- real time systems
- embedded devices
- hw sw
- real time
- model checking
- real time embedded
- real time image processing
- software systems
- flash memory
- hardware and software
- embedded real time systems
- consumer electronics
- case study
- communication technologies