Sign in

Static analysis method for deadlock detection in SystemC designs.

Mikhail J. MoiseevAlexey V. ZakharovIlya KlotchkovSergey I. Salishev
Published in: SoC (2011)
Keyphrases
  • training data
  • error rate
  • static analysis
  • databases
  • source code
  • theoretical analysis
  • pattern matching
  • data mining
  • building blocks
  • integrity constraints