Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving | IEEE Conference Publication | IEEE Xplore