Login / Signup

Equivalence checking between SLM and RTL using machine learning techniques.

Jian HuTun LiSikun Li
Published in: ISQED (2016)
Keyphrases
  • databases
  • artificial intelligence
  • np complete
  • model based diagnosis
  • genetic algorithm
  • three dimensional
  • computational complexity
  • multiresolution