Verification challenges of complex system-on-chip devices.

Martin Horauer Dominik Widhalm Stefan Tauner Stefan Mirtl

Published in: Elektrotech. Informationstechnik (2015)

Keyphrases

lessons learned
real world
embedded systems
key issues
complex data
open issues
model checking
power consumption
information systems
database systems
mobile devices
genetic algorithm
databases
hardware and software
technical challenges
application scenarios
formal verification