Login / Signup

Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation.

Manish PandeyRandal E. Bryant
Published in: CAV (1997)
Keyphrases
  • levels of abstraction
  • symmetry detection
  • data mining
  • high speed
  • higher level
  • genetic algorithm
  • social networks
  • information systems
  • high level
  • multiscale
  • infrared
  • evaluation method
  • analog circuits
  • analog vlsi