Static analysis of HDL descriptions: Extracting models for verification. - Alexander Kamkin; Sergey A. Smolov; Igor Melnichenko (EWDTS, 2013)