Login / Signup

Streamline verification process with formal property verification to meet highly compressed design cycle.

Prosenjit Chatterjee
Published in: DAC (2005)
Keyphrases
  • formal methods
  • design process
  • highly compressed
  • functional verification
  • model checking
  • viewpoint
  • high speed
  • formal specification