US8296697B2 - Method and Apparatus for Performing Static Analysis Optimization in a Design Verification System