Login / Signup

Equivalence checking between SLM and TLM using coverage directed simulation.

Jian HuTun LiSikun Li
Published in: Frontiers Comput. Sci. (2015)
Keyphrases
  • artificial intelligence
  • probabilistic model
  • simulation model
  • simulation models
  • real time
  • feature selection
  • decision trees
  • similarity measure
  • test suite
  • collision detection