Coverage of variables and expressions Cross coverage Automatic and user-defined coverage bins
-- Values, transitions, or cross products Filtering conditions at multiple levels Flexible coverage sampling
-- Events, Sequences, Procedural Directives to control and query coverage