Developing an Effective Methodology for Checking RTL