Some Complexity Results for SystemVerilog Assertions.

Doron Bustan John Havlicek

Published in: CAV (2006)

Keyphrases

neural network
decision problems
knowledge base
data sets
image processing
machine learning
social networks
feature extraction
multiscale
computational complexity
training set
complexity analysis
object oriented programming
lower complexity