Login / Signup
Static analysis of HDL descriptions: Extracting models for verification.
Alexander Kamkin
Sergey A. Smolov
Igor Melnichenko
Published in:
EWDTS (2013)
Keyphrases
</>
static analysis
dynamic analysis
java card
symbolic execution
learning algorithm
probabilistic model
open source
model checking
query evaluation