Development and Verification of Embedded Firmware using Virtual System Prototypes.
Thomas EckartMartin SchnieringerPublished in: SoC (2006)
Keyphrases
- virtual reality
- case study
- operating system
- information processing
- formal verification
- power consumption
- virtual world
- augmented reality
- model checking
- development process
- computer systems
- virtual environment
- decision support
- neural network
- design process
- software engineering
- training set
- embedded systems
- development environment
- genetic algorithm