How to survive the verification of the latest generation of automotive system on chip.

Arnaud Laroche Jérôme Kirscher

Published in: FDL (2013)

Keyphrases

model checking
power consumption
hardware and software
formal verification
generation algorithm
neural network
website
embedded systems
face verification
databases
low cost
formal methods
generation process
technological advancements