Static analysis of HDL descriptions: Extracting models for verification | IEEE Conference Publication | IEEE Xplore