A Framework for Static Analysis of VHDL Code.

Marc Schlickling Markus Pister

Published in: WCET (2007)

Keyphrases

static analysis
source code
dynamic analysis
abstract interpretation
malicious code
case study
java card
artificial intelligence
open source
regular expressions
hardware implementation
test suite