Functional Testbench Qualification by Mutation Analysis

Table 1

Reactions from the coverage model and checkers to the injected error.

Reactions from a coverage model	Reactions from checkers	Possible reasons
Fluctuated	Killed	Sufficient part
Fluctuated	Survived	Deficient checkers
Stable	Killed	Missing coverpoints
Stable	Survived	Several possible reasons