Design & verification of automotive SoC firmware.

Veit B. Kleeberger Stefan Rutkowski Ruth Coppens

Published in: DAC (2015)

Keyphrases

data processing
data sets
search engine
user interface
data model
building blocks
operating system
embedded systems
design issues
functional verification
real time
information systems
design process
power consumption
design decisions
formal methods