Meta-model Based Automation of Properties for Pre-Silicon Verification.

Keerthikumara Devarajegowda Wolfgang Ecker

Published in: VLSI-SoC (2018)

Keyphrases

neural network
information systems
desirable properties
databases
real world
bayesian networks
formal methods
high speed
model checking
high density
face verification