Real-Time Runtime Verification on Chip.

Thomas Reinbacher Matthias Függer Jörg Brauer

Published in: RV (2012)

Keyphrases

real time
low cost
high speed
functional verification
data sets
control system
neural network
signal processor
model checking
high density
formal verification
programmable logic