1. A checker quality evaluation method for a verification environment, comprising: calculating an overall sensitivity for the verification environment wherein the overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system comprising at least one checker, can be detected by the verification environment.