Login / Signup

A formal framework for testing with assertion checkers in mixed-signal simulation.

Laurence Pierre
Published in: ICECS (2012)
Keyphrases
  • simulation environment
  • image processing
  • simulation model
  • multimedia
  • hidden markov models
  • formal model