• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Nesrine HarrathBruno MonsuezKamel Barkaoui
Published in: IRI (best papers) (2013)
Keyphrases
  • cellular automata
  • neural network
  • artificial intelligence
  • video sequences
  • main contribution
  • bayesian framework
  • verification method