Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.

Published in: SAS (2002)

Keyphrases

abstract interpretation
high level
hardware implementation
termination analysis
management system
database applications
static analysis
active rules