Static analysis method for deadlock detection in SystemC designs.

Mikhail J. Moiseev Alexey V. Zakharov Ilya Klotchkov Sergey 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