quick.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

   

space.gif

   

space.gif

  ../images/main/bullet_star_pink.gif Transition bins creation : Nonconsecutive repetition

Nonconsecutive repetition is where a sequence of transitions continues until the next transition.A trans_list specifies one or more sets of ordered value transitions of the coverage point. If the sequence of value transitions of the coverage point matches any complete sequence in the trans_list, the coverage count of the corresponding bin is incremented.

   

space.gif

2[=WRITE]

   

space.gif

....=>WRITE.....=>WRITE.....=>WRITE

   

space.gif

   

space.gif

  ../images/main/4blue_dots_bullets.gif Example : Non consecutive repetition creation
   

space.gif


  1 module test();
  2 
  3 logic [2:0] addr;
  4 reg ce;
  5 
  6 covergroup address_cov () @ (posedge ce);
  7   ADDRESS : coverpoint addr {
  8     bins adr  = (0=>2[=2]=>1);
  9   }
 10 endgroup
 11 
 12 address_cov my_cov = new();
 13 
 14 initial begin
 15   ce   <= 0;
 16   $monitor("ce %b addr 8'h%x",ce,addr);
 17   repeat (10) begin
 18     ce <= 1;
 19     addr <= $urandom_range(0,2);
 20      #10 ;
 21     ce <= 0;
 22      #10 ;
 23   end
 24 end
 25 
 26 endmodule
You could download file non_cons_repetition_bin.sv here
   

space.gif

  ../images/main/4blue_dots_bullets.gif Simulation : Non consecutive repetition creation
   

space.gif

 ce 1 addr 8'h2
 ce 0 addr 8'h2
 ce 1 addr 8'h2
 ce 0 addr 8'h2
 ce 1 addr 8'h1
 ce 0 addr 8'h1
 ce 1 addr 8'h0
 ce 0 addr 8'h0
 ce 1 addr 8'h1
 ce 0 addr 8'h1
 ce 1 addr 8'h2
 ce 0 addr 8'h2
 ce 1 addr 8'h1
 ce 0 addr 8'h1
 ce 1 addr 8'h0
 ce 0 addr 8'h0
 ce 1 addr 8'h0
 ce 0 addr 8'h0
 ce 1 addr 8'h2
 ce 0 addr 8'h2
   

space.gif

  ../images/main/4blue_dots_bullets.gif Report : Non consecutive repetition creation
   

space.gif

 ===========================================================
 Group : test::address_cov
 ===========================================================
 SCORE  WEIGHT GOAL   
   0.00 1      100    
 -----------------------------------------------------------
 Summary for Group   test::address_cov
 
 CATEGORY  EXPECTED UNCOVERED COVERED PERCENT 
 Variables 1        1         0       0.00    
 
 Variables for Group  test::address_cov
 
 VARIABLE EXPECTED UNCOVERED COVERED PERCENT GOAL WEIGHT 
 ADDRESS  1        1         0       0.00    100  1      
 -----------------------------------------------------------
 Summary for Variable ADDRESS
 
 CATEGORY          EXPECTED UNCOVERED COVERED PERCENT 
 User Defined Bins 1        1         0       0.00    
 
 User Defined Bins for ADDRESS
 
 Uncovered bins
 
 NAME COUNT AT LEAST NUMBER 
 adr  0     1        1      
   

space.gif

   

space.gif

   

space.gif

   

space.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

  

Copyright © 1998-2014

Deepak Kumar Tala - All rights reserved

Do you have any Comment? mail me at:deepak@asic-world.com