Login / Signup

Practical Assertion-based Formal Verification for SoC Designs.

Ping YeungKenneth Larsen
Published in: SoC (2005)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • automated verification
  • symbolic model checking
  • bounded model checking
  • low power
  • real world
  • knowledge base
  • temporal logic
  • hardware and software