Static Analysis To Improve Rtl Verification