Login / Signup

Simplifying Circuits for Formal Verification Using Parametric Representation.

In-Ho MoonHee-Hwan KwakJames H. KukulaThomas R. ShipleCarl Pixley
Published in: FMCAD (2002)
Keyphrases
  • formal verification
  • parametric representation
  • model checking
  • symbolic model checking
  • bounded model checking
  • model checker
  • automated verification
  • video sequences
  • search space
  • endpoints