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.