Login / Signup

An Automatic Circuit Extractor for RTL Verification.

Tun LiYang GuoSikun Li
Published in: Asian Test Symposium (2003)
Keyphrases
  • high speed
  • fully automatic
  • data sets
  • neural network
  • model checking
  • database
  • real world
  • data driven