Verifying SystemC with predicate abstraction: A component based approach.

Nesrine Harrath Bruno Monsuez Kamel Barkaoui

Published in: IRI (2013)

Keyphrases

high level
data sets
decision trees
wide range
evolutionary algorithm
logic rules
neural network
information retrieval
artificial intelligence
image processing
low level
model checking