Functional Testbench Qualification by Mutation Analysis

Listing 2

Checker qualification example.

(1) input ; output ;

(2) always @ () begin

(3)  if () //mutant1 replaces the > by <

(4)   ; //monitored by coverpoint1

(5)  else if ()//mutant2 replaces the condition by true

(6)   ; //monitored by coverpoint2

(7)  else

(8)   ; //monitored by coverpoint3

(9) end

(10) Original assertion: none;

(11) The first added assertion: ;

(12) The final assertion: ()? : ;

(13) //test vectors: ; ;

(14) //original outputs: ; ;

(15) //mutant1 outputs: ; ;

(16) //mutant2 outputs: ; ;