Sign in

Taylor expansion diagrams: a new representation for RTL verification.

Maciej J. CiesielskiPriyank KallaZhihong ZengBruno Rouzeyre
Published in: HLDVT (2001)
Keyphrases
  • model checking
  • database
  • data sets
  • databases
  • information retrieval
  • artificial intelligence
  • database systems
  • multiscale
  • feature vectors
  • image representation
  • graphical representation
  • visual representation