Functional Testbench Qualification by Mutation Analysis

Listing 1

Coverage model qualification example.

(1) input ; output ;

(2) always @ () begin

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

(4)   ; //coverpoint2  is added here

(5)  else if ()

(6)   ; //monitored by coverpoint1

(7)  else

(8)   ; //coverpoint3  is added here

(9) end

(10) assertion: ; //the checker

(11) //test vectors: ; ; ;

(12) //original outputs: ; ; ;

(13) //mutant outputs: ; ; ;