Login / Signup

Improved verification of hardware designs through antecedent conditioned slicing.

Shobha VasudevanE. Allen EmersonJacob A. Abraham
Published in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
  • hardware designs
  • social networks
  • model checking
  • model based diagnosis
  • fine grained
  • database
  • computer vision
  • dynamic programming
  • efficient implementation
  • signature verification
  • hardware description language