Knowledge Center
Knowledge Center

Functional Coverage

Coverage metric used to indicate progress in verifying functionality


Functional coverage attempts to define observations within a DUT that are indicative of specific functionality being executed. It does not actually verify that the indications happened for the right reason or the right things happened as a result of that observation. That is the role of the checkers or assertions within the testbench. Within SystemVerilog, functional coverage is defined by a collection of cover items, cover groups and crosses of those.

Related Technologies