Login / Signup

ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.

Chih-Jen HsuChi-An WuWei-Hsun LinKei-Yong Khoo
Published in: ICCAD (2015)
Keyphrases
  • benchmark suite
  • real world
  • data sets
  • computer aided
  • small scale
  • artificial intelligence
  • search engine
  • multiscale
  • artificial neural networks