Login / Signup

Automatic decomposition for sequential equivalence checking of system level and RTL descriptions.

Shobha VasudevanJacob A. AbrahamVinod ViswanathJiajin Tu
Published in: MEMOCODE (2006)
Keyphrases
  • high level
  • data driven
  • levels of abstraction
  • real time
  • evolutionary algorithm
  • semi automatic
  • fully automatic
  • sequential search
  • machine learning
  • genetic algorithm
  • multiscale
  • higher level