luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update impacted gold file 

Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
This commit is contained in:
Matthew Ballance 2026-06-24 01:32:52 +00:00
parent c90d1e6286
commit cdab2229b8
1 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test_regress/t/t_vlcov_covergroup.annotate.out
View File

@ -28,6 +28,14 @@
-000001 point: type=toggle comment=parity:0->1 hier=top.t -000001 point: type=toggle comment=parity:0->1 hier=top.t
-000000 point: type=toggle comment=parity:1->0 hier=top.t -000000 point: type=toggle comment=parity:1->0 hier=top.t
typedef struct packed {logic m_p; logic h_mode;} cfg_t;
%000001 cfg_t s_cfg = '0;
-000001 point: type=line comment=block hier=top.t
-000000 point: type=toggle comment=s_cfg.h_mode:0->1 hier=top.t
-000000 point: type=toggle comment=s_cfg.h_mode:1->0 hier=top.t
-000000 point: type=toggle comment=s_cfg.m_p:0->1 hier=top.t
-000000 point: type=toggle comment=s_cfg.m_p:1->0 hier=top.t
// 2-way cross // 2-way cross
covergroup cg2; covergroup cg2;
%000002 cp_addr: coverpoint addr {bins addr0 = {0}; bins addr1 = {1};} %000002 cp_addr: coverpoint addr {bins addr0 = {0}; bins addr1 = {1};}
@ -257,6 +265,12 @@
// cross: [addr1, write] // cross: [addr1, write]
option.per_instance = 1; // unsupported for cross - expect COVERIGN warning option.per_instance = 1; // unsupported for cross - expect COVERIGN warning
} }
// Non-standard hierarchical reference as a cross item (an implicit coverpoint):
// accepted with NONSTD, but implicit coverpoints are unsupported so the whole
// cross is dropped (COVERIGN, suppressed here) - it contributes no bins.
/* verilator lint_off NONSTD */
cross_hier: cross cp_addr, s_cfg.m_p;
/* verilator lint_on NONSTD */
endgroup endgroup
// Covergroup with an unnamed cross - the cross is reported under the default name "cross" // Covergroup with an unnamed cross - the cross is reported under the default name "cross"
@ -268,13 +282,13 @@
-000001 point: type=covergroup comment= hier=cg_unnamed_cross.cp_c.read -000001 point: type=covergroup comment= hier=cg_unnamed_cross.cp_c.read
-000001 point: type=covergroup comment= hier=cg_unnamed_cross.cp_c.write -000001 point: type=covergroup comment= hier=cg_unnamed_cross.cp_c.write
%000001 cross cp_a, cp_c; // no label: reported under the default cross name %000001 cross cp_a, cp_c; // no label: reported under the default cross name
-000001 point: type=covergroup comment= hier=cg_unnamed_cross.__cross7.a0_x_read -000001 point: type=covergroup comment= hier=cg_unnamed_cross.__cross8.a0_x_read
// cross: [a0, read] // cross: [a0, read]
-000000 point: type=covergroup comment= hier=cg_unnamed_cross.__cross7.a0_x_write -000000 point: type=covergroup comment= hier=cg_unnamed_cross.__cross8.a0_x_write
// cross: [a0, write] // cross: [a0, write]
-000000 point: type=covergroup comment= hier=cg_unnamed_cross.__cross7.a1_x_read -000000 point: type=covergroup comment= hier=cg_unnamed_cross.__cross8.a1_x_read
// cross: [a1, read] // cross: [a1, read]
-000001 point: type=covergroup comment= hier=cg_unnamed_cross.__cross7.a1_x_write -000001 point: type=covergroup comment= hier=cg_unnamed_cross.__cross8.a1_x_write
// cross: [a1, write] // cross: [a1, write]
endgroup endgroup