Login / Signup

Functional vector generation for assertion-based verification at behavioral level using interval analysis.

Iñigo UgartePablo Sanchez
Published in: HLDVT (2003)
Keyphrases
  • interval analysis
  • autocalibration
  • constrained optimization
  • constraint propagation
  • neural network
  • computer vision
  • fuzzy set theory