A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.

Nesrine Harrath Bruno Monsuez Kamel Barkaoui

Published in: IRI (best papers) (2013)

Keyphrases

cellular automata
neural network
artificial intelligence
video sequences
main contribution
bayesian framework
verification method