Login / Signup
Speeding up safety verification by fault abstraction and simulation to transaction level.
Bogdan-Andrei Tabacaru
Moomen Chaari
Wolfgang Ecker
Thomas Kruse
Cristiano Novello
Published in:
VLSI-SoC (2016)
Keyphrases
</>
real time
high level
model checking
fault detection
levels of abstraction
simulation environment
database
higher level
fault diagnosis
simulation model
databases
neural network
fine grained
face verification
transaction data
colored petri nets