Login / Signup

Tight integration of combinational verification methods.

Jerry R. BurchVigyan Singhal
Published in: ICCAD (1998)
Keyphrases
  • machine learning methods
  • significant improvement
  • model selection
  • empirical studies
  • tight integration
  • machine learning
  • hybrid method
  • database
  • preprocessing
  • probabilistic model
  • cross validation