VeniVidiVici
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
verilator/test_regress/t/t_cover_toggle__points.out

409 lines
17 KiB
Plaintext
Raw Blame History

// // verilator_coverage annotation
// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2008 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0
module t (/*AUTOARG*/
// Inputs
clk, check_real, check_array_real, check_string
);
~000010 input clk;
-000009 point: comment=clk_0 hier=top.t
+000010 point: comment=clk_1 hier=top.t
input real check_real; // Check issue #2741
input real check_array_real [1:0];
input string check_string; // Check issue #2766
typedef struct packed {
union packed {
logic ua;
logic ub;
} u;
logic b;
} str_t;
%000001 reg toggle; initial toggle='0;
-000001 point: comment=toggle_0 hier=top.t
-000001 point: comment=toggle_1 hier=top.t
%000001 str_t stoggle; initial stoggle='0;
-000001 point: comment=stoggle.b_0 hier=top.t
-000001 point: comment=stoggle.b_1 hier=top.t
-000001 point: comment=stoggle.u.ua_0 hier=top.t
-000001 point: comment=stoggle.u.ua_1 hier=top.t
union {
real val1; // TODO use bit [7:0] here
real val2; // TODO use bit [3:0] here
} utoggle;
const reg aconst = '0;
%000001 reg [1:0][1:0] ptoggle; initial ptoggle=0;
-000001 point: comment=ptoggle[0][0]_0 hier=top.t
-000001 point: comment=ptoggle[0][0]_1 hier=top.t
-000000 point: comment=ptoggle[0][1]_0 hier=top.t
-000000 point: comment=ptoggle[0][1]_1 hier=top.t
-000000 point: comment=ptoggle[1][0]_0 hier=top.t
-000000 point: comment=ptoggle[1][0]_1 hier=top.t
-000000 point: comment=ptoggle[1][1]_0 hier=top.t
-000000 point: comment=ptoggle[1][1]_1 hier=top.t
integer cyc; initial cyc=1;
%000006 wire [7:0] cyc_copy = cyc[7:0];
-000005 point: comment=cyc_copy[0]_0 hier=top.t
-000006 point: comment=cyc_copy[0]_1 hier=top.t
-000002 point: comment=cyc_copy[1]_0 hier=top.t
-000003 point: comment=cyc_copy[1]_1 hier=top.t
-000001 point: comment=cyc_copy[2]_0 hier=top.t
-000001 point: comment=cyc_copy[2]_1 hier=top.t
-000000 point: comment=cyc_copy[3]_0 hier=top.t
-000001 point: comment=cyc_copy[3]_1 hier=top.t
-000000 point: comment=cyc_copy[4]_0 hier=top.t
-000000 point: comment=cyc_copy[4]_1 hier=top.t
-000000 point: comment=cyc_copy[5]_0 hier=top.t
-000000 point: comment=cyc_copy[5]_1 hier=top.t
-000000 point: comment=cyc_copy[6]_0 hier=top.t
-000000 point: comment=cyc_copy[6]_1 hier=top.t
-000000 point: comment=cyc_copy[7]_0 hier=top.t
-000000 point: comment=cyc_copy[7]_1 hier=top.t
%000001 wire toggle_up;
-000001 point: comment=toggle_up_0 hier=top.t
-000001 point: comment=toggle_up_1 hier=top.t
typedef struct {
int q[$];
} str_queue_t;
str_queue_t str_queue;
alpha a1 (/*AUTOINST*/
// Outputs
.toggle_up (toggle_up),
// Inputs
.clk (clk),
.toggle (toggle),
.cyc_copy (cyc_copy[7:0]));
alpha a2 (/*AUTOINST*/
// Outputs
.toggle_up (toggle_up),
// Inputs
.clk (clk),
.toggle (toggle),
.cyc_copy (cyc_copy[7:0]));
beta b1 (/*AUTOINST*/
// Inputs
.clk (clk),
.toggle_up (toggle_up));
off o1 (/*AUTOINST*/
// Inputs
.clk (clk),
.toggle (toggle));
param#(1) p1 (/*AUTOINST*/
// Inputs
.clk (clk),
.toggle (toggle));
param#() p2 (/*AUTOINST*/
// Inputs
.clk (clk),
.toggle (toggle));
%000001 reg [1:0] memory[121:110];
-000000 point: comment=memory[110][0]_0 hier=top.t
-000001 point: comment=memory[110][0]_1 hier=top.t
-000000 point: comment=memory[110][1]_0 hier=top.t
-000000 point: comment=memory[110][1]_1 hier=top.t
-000000 point: comment=memory[111][0]_0 hier=top.t
-000000 point: comment=memory[111][0]_1 hier=top.t
-000000 point: comment=memory[111][1]_0 hier=top.t
-000000 point: comment=memory[111][1]_1 hier=top.t
-000000 point: comment=memory[112][0]_0 hier=top.t
-000000 point: comment=memory[112][0]_1 hier=top.t
-000000 point: comment=memory[112][1]_0 hier=top.t
-000000 point: comment=memory[112][1]_1 hier=top.t
-000000 point: comment=memory[113][0]_0 hier=top.t
-000000 point: comment=memory[113][0]_1 hier=top.t
-000000 point: comment=memory[113][1]_0 hier=top.t
-000000 point: comment=memory[113][1]_1 hier=top.t
-000000 point: comment=memory[114][0]_0 hier=top.t
-000000 point: comment=memory[114][0]_1 hier=top.t
-000000 point: comment=memory[114][1]_0 hier=top.t
-000000 point: comment=memory[114][1]_1 hier=top.t
-000000 point: comment=memory[115][0]_0 hier=top.t
-000000 point: comment=memory[115][0]_1 hier=top.t
-000000 point: comment=memory[115][1]_0 hier=top.t
-000000 point: comment=memory[115][1]_1 hier=top.t
-000000 point: comment=memory[116][0]_0 hier=top.t
-000000 point: comment=memory[116][0]_1 hier=top.t
-000000 point: comment=memory[116][1]_0 hier=top.t
-000000 point: comment=memory[116][1]_1 hier=top.t
-000000 point: comment=memory[117][0]_0 hier=top.t
-000000 point: comment=memory[117][0]_1 hier=top.t
-000000 point: comment=memory[117][1]_0 hier=top.t
-000000 point: comment=memory[117][1]_1 hier=top.t
-000000 point: comment=memory[118][0]_0 hier=top.t
-000000 point: comment=memory[118][0]_1 hier=top.t
-000000 point: comment=memory[118][1]_0 hier=top.t
-000000 point: comment=memory[118][1]_1 hier=top.t
-000000 point: comment=memory[119][0]_0 hier=top.t
-000000 point: comment=memory[119][0]_1 hier=top.t
-000000 point: comment=memory[119][1]_0 hier=top.t
-000000 point: comment=memory[119][1]_1 hier=top.t
-000000 point: comment=memory[120][0]_0 hier=top.t
-000000 point: comment=memory[120][0]_1 hier=top.t
-000000 point: comment=memory[120][1]_0 hier=top.t
-000000 point: comment=memory[120][1]_1 hier=top.t
-000000 point: comment=memory[121][0]_0 hier=top.t
-000000 point: comment=memory[121][0]_1 hier=top.t
-000000 point: comment=memory[121][1]_0 hier=top.t
-000000 point: comment=memory[121][1]_1 hier=top.t
wire [1023:0] largeish = {992'h0, cyc};
// CHECK_COVER_MISSING(-1)
always @ (posedge clk) begin
if (cyc != 0) begin
cyc <= cyc + 1;
memory[cyc + 'd100] <= memory[cyc + 'd100] + 2'b1;
toggle <= '0;
stoggle.u <= toggle;
stoggle.b <= toggle;
utoggle.val1 <= real'(cyc[7:0]);
ptoggle[0][0] <= toggle;
if (cyc == 3) begin
str_queue.q.push_back(1);
toggle <= '1;
end
if (cyc == 4) begin
if (str_queue.q.size() != 1) $stop;
toggle <= '0;
end
else if (cyc == 10) begin
$write("*-* All Finished *-*\n");
$finish;
end
end
end
endmodule
module alpha (/*AUTOARG*/
// Outputs
toggle_up,
// Inputs
clk, toggle, cyc_copy
);
// t.a1 and t.a2 collapse to a count of 2
000020 input clk;
+000018 point: comment=clk_0 hier=top.t.a*
+000020 point: comment=clk_1 hier=top.t.a*
%000002 input toggle;
-000002 point: comment=toggle_0 hier=top.t.a*
-000002 point: comment=toggle_1 hier=top.t.a*
// CHECK_COVER(-1,"top.t.a*","toggle_0",2)
// CHECK_COVER(-2,"top.t.a*","toggle_1",2)
// (t.a1 and t.a2)
~000012 input [7:0] cyc_copy;
+000010 point: comment=cyc_copy[0]_0 hier=top.t.a*
+000012 point: comment=cyc_copy[0]_1 hier=top.t.a*
-000004 point: comment=cyc_copy[1]_0 hier=top.t.a*
-000006 point: comment=cyc_copy[1]_1 hier=top.t.a*
-000002 point: comment=cyc_copy[2]_0 hier=top.t.a*
-000002 point: comment=cyc_copy[2]_1 hier=top.t.a*
-000000 point: comment=cyc_copy[3]_0 hier=top.t.a*
-000002 point: comment=cyc_copy[3]_1 hier=top.t.a*
-000000 point: comment=cyc_copy[4]_0 hier=top.t.a*
-000000 point: comment=cyc_copy[4]_1 hier=top.t.a*
-000000 point: comment=cyc_copy[5]_0 hier=top.t.a*
-000000 point: comment=cyc_copy[5]_1 hier=top.t.a*
-000000 point: comment=cyc_copy[6]_0 hier=top.t.a*
-000000 point: comment=cyc_copy[6]_1 hier=top.t.a*
-000000 point: comment=cyc_copy[7]_0 hier=top.t.a*
-000000 point: comment=cyc_copy[7]_1 hier=top.t.a*
// CHECK_COVER(-1,"top.t.a*","cyc_copy[0]_0",10)
// CHECK_COVER(-2,"top.t.a*","cyc_copy[0]_1",12)
// CHECK_COVER(-3,"top.t.a*","cyc_copy[1]_0",4)
// CHECK_COVER(-4,"top.t.a*","cyc_copy[1]_1",6)
// CHECK_COVER(-5,"top.t.a*","cyc_copy[2]_0",2)
// CHECK_COVER(-6,"top.t.a*","cyc_copy[2]_1",2)
// CHECK_COVER(-7,"top.t.a*","cyc_copy[3]_0",0)
// CHECK_COVER(-8,"top.t.a*","cyc_copy[3]_1",2)
// CHECK_COVER(-9,"top.t.a*","cyc_copy[4]_0",0)
// CHECK_COVER(-10,"top.t.a*","cyc_copy[4]_1",0)
// CHECK_COVER(-11,"top.t.a*","cyc_copy[5]_0",0)
// CHECK_COVER(-12,"top.t.a*","cyc_copy[5]_1",0)
// CHECK_COVER(-13,"top.t.a*","cyc_copy[6]_0",0)
// CHECK_COVER(-14,"top.t.a*","cyc_copy[6]_1",0)
// CHECK_COVER(-15,"top.t.a*","cyc_copy[7]_0",0)
// CHECK_COVER(-16,"top.t.a*","cyc_copy[7]_1",0)
%000002 reg toggle_internal;
-000002 point: comment=toggle_internal_0 hier=top.t.a*
-000002 point: comment=toggle_internal_1 hier=top.t.a*
// CHECK_COVER(-1,"top.t.a*","toggle_internal_0",2)
// CHECK_COVER(-2,"top.t.a*","toggle_internal_1",2)
// (t.a1 and t.a2)
%000002 output reg toggle_up;
-000002 point: comment=toggle_up_0 hier=top.t.a*
-000002 point: comment=toggle_up_1 hier=top.t.a*
// CHECK_COVER(-1,"top.t.a*","toggle_up_0",2)
// CHECK_COVER(-2,"top.t.a*","toggle_up_1",2)
// (t.a1 and t.a2)
always @ (posedge clk) begin
toggle_internal <= toggle;
toggle_up <= toggle;
end
endmodule
module beta (/*AUTOARG*/
// Inputs
clk, toggle_up
);
~000010 input clk;
-000009 point: comment=clk_0 hier=top.t.b1
+000010 point: comment=clk_1 hier=top.t.b1
%000001 input toggle_up;
-000001 point: comment=toggle_up_0 hier=top.t.b1
-000001 point: comment=toggle_up_1 hier=top.t.b1
// CHECK_COVER(-1,"top.t.b1","toggle_up_0",1)
// CHECK_COVER(-2,"top.t.b1","toggle_up_1",1)
/* verilator public_module */
always @ (posedge clk) begin
if (0 && toggle_up) begin end
end
endmodule
module off (/*AUTOARG*/
// Inputs
clk, toggle
);
// verilator coverage_off
input clk;
// CHECK_COVER_MISSING(-1)
// verilator coverage_on
%000001 input toggle;
-000001 point: comment=toggle_0 hier=top.t.o1
-000001 point: comment=toggle_1 hier=top.t.o1
// CHECK_COVER(-1,"top.t.o1","toggle_0",1)
// CHECK_COVER(-2,"top.t.o1","toggle_1",1)
endmodule
module param #(parameter P = 2) (/*AUTOARG*/
// Inputs
clk, toggle
);
~000010 input clk;
-000009 point: comment=clk_0 hier=top.t.p2
+000010 point: comment=clk_1 hier=top.t.p2
-000009 point: comment=clk_0 hier=top.t.p1
+000010 point: comment=clk_1 hier=top.t.p1
%000001 input toggle;
-000001 point: comment=toggle_0 hier=top.t.p2
-000001 point: comment=toggle_1 hier=top.t.p2
-000001 point: comment=toggle_0 hier=top.t.p1
-000001 point: comment=toggle_1 hier=top.t.p1
%000001 logic z;
-000000 point: comment=z_0 hier=top.t.p2
-000001 point: comment=z_1 hier=top.t.p2
-000000 point: comment=z_0 hier=top.t.p1
-000000 point: comment=z_1 hier=top.t.p1
for (genvar i = 0; i < P; i++) begin
%000001 logic x;
-000001 point: comment=genblk1[0].x_0 hier=top.t.p2
-000001 point: comment=genblk1[0].x_1 hier=top.t.p2
-000001 point: comment=genblk1[1].x_0 hier=top.t.p2
-000001 point: comment=genblk1[1].x_1 hier=top.t.p2
-000001 point: comment=genblk1[0].x_0 hier=top.t.p1
-000001 point: comment=genblk1[0].x_1 hier=top.t.p1
always @ (posedge clk) begin
x <= toggle;
end
for (genvar j = 0; j < 3; j++) begin
%000002 logic [2:0] y;
-000000 point: comment=genblk1[0].genblk1[0].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[0].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[0].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[0].genblk1[0].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[0].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[0].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[0].genblk1[1].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[1].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[1].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[0].genblk1[1].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[1].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[1].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[0].genblk1[2].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[2].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[2].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[0].genblk1[2].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[2].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[0].genblk1[2].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[1].genblk1[0].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[0].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[0].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[1].genblk1[0].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[0].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[0].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[1].genblk1[1].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[1].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[1].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[1].genblk1[1].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[1].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[1].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[1].genblk1[2].y[0]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[2].y[0]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[2].y[1]_0 hier=top.t.p2
-000002 point: comment=genblk1[1].genblk1[2].y[1]_1 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[2].y[2]_0 hier=top.t.p2
-000001 point: comment=genblk1[1].genblk1[2].y[2]_1 hier=top.t.p2
-000000 point: comment=genblk1[0].genblk1[0].y[0]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[0].y[0]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[0].y[1]_0 hier=top.t.p1
-000002 point: comment=genblk1[0].genblk1[0].y[1]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[0].y[2]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[0].y[2]_1 hier=top.t.p1
-000000 point: comment=genblk1[0].genblk1[1].y[0]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[1].y[0]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[1].y[1]_0 hier=top.t.p1
-000002 point: comment=genblk1[0].genblk1[1].y[1]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[1].y[2]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[1].y[2]_1 hier=top.t.p1
-000000 point: comment=genblk1[0].genblk1[2].y[0]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[2].y[0]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[2].y[1]_0 hier=top.t.p1
-000002 point: comment=genblk1[0].genblk1[2].y[1]_1 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[2].y[2]_0 hier=top.t.p1
-000001 point: comment=genblk1[0].genblk1[2].y[2]_1 hier=top.t.p1
always @ (negedge clk) begin
y <= {toggle, ~toggle, 1'b1};
end
end
end
if (P > 1) begin : gen_1
assign z = 1;
end
endmodule
Reference in New Issue View Git Blame Copy Permalink