Login / Signup

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation.

Manish PandeyRichard RaimiRandal E. BryantMagdy S. Abadir
Published in: DAC (1997)
Keyphrases
  • content addressable
  • formal verification
  • model checking
  • automated verification
  • model checker
  • peer to peer
  • symbolic model checking
  • bounded model checking
  • description language
  • database
  • symbolic representation