Embedded Systems Verification with FPGA-Enhanced In-Circuit Emulator.
Matthias MeerweinC. BaumgartnerT. WiejaW. GlauertPublished in: ISSS (2000)
Keyphrases
- embedded systems
- field programmable gate array
- real time image processing
- low cost
- hardware description language
- high speed
- hw sw
- embedded devices
- resource limited
- processing power
- hardware software
- computing power
- embedded software
- model checking
- real time systems
- embedded real time systems
- software systems
- flash memory
- hardware design
- power reduction
- gate array
- low power
- real time
- safety critical
- hardware implementation
- smart camera
- communication technologies
- hardware and software
- logic circuits
- software engineering
- cooperative
- consumer electronics
- database systems
- parallel computing
- formal methods