Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL.

Lingyi Liu Shobha Vasudevan

Published in: ACM Trans. Design Autom. Electr. Syst. (2014)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
object oriented
software engineering
malicious behavior
artificial neural networks
database
databases
real world
machine learning
wireless sensor networks