Synthesizable assertion checkers in high levels of abstraction.

Bahram N. Uchevler Kjetil Svarstad

Published in: ICECS (2013)

Keyphrases

levels of abstraction
abstraction levels
databases
wide range
hidden markov models
neural network
learning algorithm
artificial intelligence
social networks
learning environment
probability distribution
high precision