Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1069

Issue with merging code coverage with different parameter values written in generate statements inside RTL

$
0
0

Hi, 

I've ran couple of tests for below RTL code. One with parameter COUNTER equal to 1 and another test with COUNTER equal to 0.  
Now, I could not merge the coverage for both tests cases. 
Command used for merging : merge cov_work/scope/* cov_work/scope_0/* -out all (in imc -batch)  
Warning message : *W,WEMMO1: Module/Generate/NamedBlock 'generate_check.genblk1_T' not merged because it is not present in target run.
*W,WEMIN1: Instance 'gen_tb.DUT.genblk1' and its hierarchy not merged with target instance 'gen_tb.DUT.genblk1' and its hierarchy - Mismatch in type names - Primary: worklib.generate_check.genblk1_F Secondary: worklib.generate_check.genblk1_T.
Total items not merged                      : 2

module generate_counter(clock, reset, count);

  input clock, reset ;
  output reg[3:0] count ;
  parameter COUNTER = 0;

  generate
    if (COUNTER == 1) begin
      always@(posedge clock) begin
      if (reset)
        count <= 4'b0;
      else
        count <= count +1;
      end
    end
    else begin
      always@(posedge clock) begin
      if (reset)
        count <= 4'b0;
      else
        count <= count +2;
      end
    end
  endgenerate

endmodule

Is there any way in imc to merge the coverage with both parameter values ?
Can someone please help me how to merge the coverage in such cases. 

Thanks. 


Viewing all articles
Browse latest Browse all 1069

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>