From b45cf5960ab22e3609dac62de11bfa52cd258a16 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Tue, 9 Sep 2025 07:32:50 -0400 Subject: [PATCH] Tests: Imporove t_covergroup_unsup (#6133) --- test_regress/t/t_covergroup_unsup.out | 610 +++++++++++++------------- test_regress/t/t_covergroup_unsup.v | 11 +- 2 files changed, 314 insertions(+), 307 deletions(-) diff --git a/test_regress/t/t_covergroup_unsup.out b/test_regress/t/t_covergroup_unsup.out index fedb77178..4ab822b34 100644 --- a/test_regress/t/t_covergroup_unsup.out +++ b/test_regress/t/t_covergroup_unsup.out @@ -1,402 +1,402 @@ -%Warning-COVERIGN: t/t_covergroup_unsup.v:25:4: Ignoring unsupported: covergroup - 25 | covergroup cg_empty; +%Warning-COVERIGN: t/t_covergroup_unsup.v:32:4: Ignoring unsupported: covergroup + 32 | covergroup cg_empty; | ^~~~~~~~~~ ... For warning description see https://verilator.org/warn/COVERIGN?v=latest ... Use "/* verilator lint_off COVERIGN */" and lint_on around source to disable this message. -%Warning-COVERIGN: t/t_covergroup_unsup.v:29:7: Ignoring unsupported: coverage option - 29 | type_option.weight = 1; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:30:7: Ignoring unsupported: coverage option - 30 | type_option.goal = 99; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:31:7: Ignoring unsupported: coverage option - 31 | type_option.comment = "type_option_comment"; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:32:7: Ignoring unsupported: coverage option - 32 | type_option.strobe = 0; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:33:7: Ignoring unsupported: coverage option - 33 | type_option.merge_instances = 1; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:34:7: Ignoring unsupported: coverage option - 34 | type_option.distribuge_first = 1; - | ^~~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:35:7: Ignoring unsupported: coverage option - 35 | option.name = "the_name"; - | ^~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:36:7: Ignoring unsupported: coverage option - 36 | option.weight = 1; - | ^~~~~~ + 36 | type_option.weight = 1; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:37:7: Ignoring unsupported: coverage option - 37 | option.goal = 98; - | ^~~~~~ + 37 | type_option.goal = 99; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:38:7: Ignoring unsupported: coverage option - 38 | option.comment = "option_comment"; - | ^~~~~~ + 38 | type_option.comment = "type_option_comment"; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:39:7: Ignoring unsupported: coverage option - 39 | option.at_least = 20; - | ^~~~~~ + 39 | type_option.strobe = 0; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:40:7: Ignoring unsupported: coverage option - 40 | option.auto_bin_max = 10; - | ^~~~~~ + 40 | type_option.merge_instances = 1; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:41:7: Ignoring unsupported: coverage option - 41 | option.cross_num_print_missing = 2; - | ^~~~~~ + 41 | type_option.distribute_first = 1; + | ^~~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:42:7: Ignoring unsupported: coverage option - 42 | option.detect_overlap = 1; + 42 | option.name = "the_name"; | ^~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:43:7: Ignoring unsupported: coverage option - 43 | option.per_instance = 1; + 43 | option.weight = 1; | ^~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:44:7: Ignoring unsupported: coverage option - 44 | option.get_inst_coverage = 1; + 44 | option.goal = 98; | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:28:4: Ignoring unsupported: covergroup - 28 | covergroup cg_opt; +%Warning-COVERIGN: t/t_covergroup_unsup.v:45:7: Ignoring unsupported: coverage option + 45 | option.comment = "option_comment"; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:46:7: Ignoring unsupported: coverage option + 46 | option.at_least = 20; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:47:7: Ignoring unsupported: coverage option + 47 | option.auto_bin_max = 10; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:48:7: Ignoring unsupported: coverage option + 48 | option.cross_num_print_missing = 2; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:49:7: Ignoring unsupported: coverage option + 49 | option.detect_overlap = 1; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:50:7: Ignoring unsupported: coverage option + 50 | option.per_instance = 1; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:51:7: Ignoring unsupported: coverage option + 51 | option.get_inst_coverage = 1; + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:35:4: Ignoring unsupported: covergroup + 35 | covergroup cg_opt; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:47:34: Ignoring unsupported: coverage clocking event - 47 | covergroup cg_clockingevent() @(posedge clk); +%Warning-COVERIGN: t/t_covergroup_unsup.v:54:34: Ignoring unsupported: coverage clocking event + 54 | covergroup cg_clockingevent() @(posedge clk); | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:47:4: Ignoring unsupported: covergroup - 47 | covergroup cg_clockingevent() @(posedge clk); +%Warning-COVERIGN: t/t_covergroup_unsup.v:54:4: Ignoring unsupported: covergroup + 54 | covergroup cg_clockingevent() @(posedge clk); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:49:4: Ignoring unsupported: covergroup - 49 | covergroup cg_withfunction() with function sample (a); - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:51:25: Ignoring unsupported: coverage '@@' events - 51 | covergroup cg_atat() @@ (begin funca or end funcb); - | ^~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:51:4: Ignoring unsupported: covergroup - 51 | covergroup cg_atat() @@ (begin funca or end funcb); - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:53:4: Ignoring unsupported: covergroup - 53 | covergroup cg_bracket; - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:57:9: Ignoring unsupported: coverage option - 57 | { option.name = "option"; } - | ^~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:56:4: Ignoring unsupported: covergroup - 56 | covergroup cg_bracket2; + 56 | covergroup cg_withfunction() with function sample (a); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:60:7: Ignoring unsupported: coverpoint - 60 | coverpoint a; +%Warning-COVERIGN: t/t_covergroup_unsup.v:58:25: Ignoring unsupported: coverage '@@' events + 58 | covergroup cg_atat() @@ (begin funca or end funcb); + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:58:4: Ignoring unsupported: covergroup + 58 | covergroup cg_atat() @@ (begin funca or end funcb); + | ^~~~~~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:60:4: Ignoring unsupported: covergroup + 60 | covergroup cg_bracket; + | ^~~~~~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:64:9: Ignoring unsupported: coverage option + 64 | { option.name = "option"; } + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:63:4: Ignoring unsupported: covergroup + 63 | covergroup cg_bracket2; + | ^~~~~~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:67:7: Ignoring unsupported: coverpoint + 67 | coverpoint a; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:59:4: Ignoring unsupported: covergroup - 59 | covergroup cg_cp; +%Warning-COVERIGN: t/t_covergroup_unsup.v:66:4: Ignoring unsupported: covergroup + 66 | covergroup cg_cp; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:63:20: Ignoring unsupported: cover 'iff' - 63 | coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:70:20: Ignoring unsupported: cover 'iff' + 70 | coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:63:7: Ignoring unsupported: coverpoint - 63 | coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:70:7: Ignoring unsupported: coverpoint + 70 | coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:62:4: Ignoring unsupported: covergroup - 62 | covergroup cg_cp_iff; +%Warning-COVERIGN: t/t_covergroup_unsup.v:69:4: Ignoring unsupported: covergroup + 69 | covergroup cg_cp_iff; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:66:24: Ignoring unsupported: cover 'iff' - 66 | id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:73:24: Ignoring unsupported: cover 'iff' + 73 | id: coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:66:11: Ignoring unsupported: coverpoint - 66 | id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:73:11: Ignoring unsupported: coverpoint + 73 | id: coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:65:4: Ignoring unsupported: covergroup - 65 | covergroup cg_id_cp_iff; +%Warning-COVERIGN: t/t_covergroup_unsup.v:72:4: Ignoring unsupported: covergroup + 72 | covergroup cg_id_cp_iff; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:69:28: Ignoring unsupported: cover 'iff' - 69 | int id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:76:28: Ignoring unsupported: cover 'iff' + 76 | int id: coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:69:15: Ignoring unsupported: coverpoint - 69 | int id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:76:15: Ignoring unsupported: coverpoint + 76 | int id: coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:68:4: Ignoring unsupported: covergroup - 68 | covergroup cg_id_cp_id1; +%Warning-COVERIGN: t/t_covergroup_unsup.v:75:4: Ignoring unsupported: covergroup + 75 | covergroup cg_id_cp_id1; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:72:32: Ignoring unsupported: cover 'iff' - 72 | var int id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:79:32: Ignoring unsupported: cover 'iff' + 79 | var int id: coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:72:19: Ignoring unsupported: coverpoint - 72 | var int id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:79:19: Ignoring unsupported: coverpoint + 79 | var int id: coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:71:4: Ignoring unsupported: covergroup - 71 | covergroup cg_id_cp_id2; +%Warning-COVERIGN: t/t_covergroup_unsup.v:78:4: Ignoring unsupported: covergroup + 78 | covergroup cg_id_cp_id2; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:75:34: Ignoring unsupported: cover 'iff' - 75 | var [3:0] id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:82:34: Ignoring unsupported: cover 'iff' + 82 | var [3:0] id: coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:75:21: Ignoring unsupported: coverpoint - 75 | var [3:0] id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:82:21: Ignoring unsupported: coverpoint + 82 | var [3:0] id: coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:74:4: Ignoring unsupported: covergroup - 74 | covergroup cg_id_cp_id3; +%Warning-COVERIGN: t/t_covergroup_unsup.v:81:4: Ignoring unsupported: covergroup + 81 | covergroup cg_id_cp_id3; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:78:30: Ignoring unsupported: cover 'iff' - 78 | [3:0] id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:85:30: Ignoring unsupported: cover 'iff' + 85 | [3:0] id: coverpoint a iff (b); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:78:17: Ignoring unsupported: coverpoint - 78 | [3:0] id: coverpoint a iff (b); +%Warning-COVERIGN: t/t_covergroup_unsup.v:85:17: Ignoring unsupported: coverpoint + 85 | [3:0] id: coverpoint a iff (b); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:77:4: Ignoring unsupported: covergroup - 77 | covergroup cg_id_cp_id4; - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:81:31: Ignoring unsupported: cover 'iff' - 81 | signed id: coverpoint a iff (b); - | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:81:18: Ignoring unsupported: coverpoint - 81 | signed id: coverpoint a iff (b); - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:80:4: Ignoring unsupported: covergroup - 80 | covergroup cg_id_cp_id5; - | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:85:18: Ignoring unsupported: cover 'iff' - 85 | cross a, b iff (!rst); - | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:85:7: Ignoring unsupported: cover cross - 85 | cross a, b iff (!rst); - | ^~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:84:4: Ignoring unsupported: covergroup - 84 | covergroup cg_cross; + 84 | covergroup cg_id_cp_id4; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:88:18: Ignoring unsupported: cover 'iff' - 88 | cross a, b iff (!rst) {} - | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:88:7: Ignoring unsupported: cover cross - 88 | cross a, b iff (!rst) {} - | ^~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:88:31: Ignoring unsupported: cover 'iff' + 88 | signed id: coverpoint a iff (b); + | ^~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:88:18: Ignoring unsupported: coverpoint + 88 | signed id: coverpoint a iff (b); + | ^~~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:87:4: Ignoring unsupported: covergroup - 87 | covergroup cg_cross2; + 87 | covergroup cg_id_cp_id5; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:91:20: Ignoring unsupported: coverage option - 91 | cross a, b { option.comment = "cross"; option.weight = 12; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:92:18: Ignoring unsupported: cover 'iff' + 92 | cross a, b iff (!rst); + | ^~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:92:7: Ignoring unsupported: cover cross + 92 | cross a, b iff (!rst); + | ^~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:91:4: Ignoring unsupported: covergroup + 91 | covergroup cg_cross; + | ^~~~~~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:95:18: Ignoring unsupported: cover 'iff' + 95 | cross a, b iff (!rst) {} + | ^~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:95:7: Ignoring unsupported: cover cross + 95 | cross a, b iff (!rst) {} + | ^~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:94:4: Ignoring unsupported: covergroup + 94 | covergroup cg_cross2; + | ^~~~~~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:98:20: Ignoring unsupported: coverage option + 98 | cross a, b { option.comment = "cross"; option.weight = 12; } | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:91:46: Ignoring unsupported: coverage option - 91 | cross a, b { option.comment = "cross"; option.weight = 12; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:98:46: Ignoring unsupported: coverage option + 98 | cross a, b { option.comment = "cross"; option.weight = 12; } | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:91:7: Ignoring unsupported: cover cross - 91 | cross a, b { option.comment = "cross"; option.weight = 12; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:98:7: Ignoring unsupported: cover cross + 98 | cross a, b { option.comment = "cross"; option.weight = 12; } | ^~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:90:4: Ignoring unsupported: covergroup - 90 | covergroup cg_cross3; +%Warning-COVERIGN: t/t_covergroup_unsup.v:97:4: Ignoring unsupported: covergroup + 97 | covergroup cg_cross3; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:95:24: Ignoring unsupported: coverage cross 'function' declaration - 95 | function void crossfunc; endfunction +%Warning-COVERIGN: t/t_covergroup_unsup.v:102:24: Ignoring unsupported: coverage cross 'function' declaration + 102 | function void crossfunc; endfunction | ^~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:96:21: Ignoring unsupported: coverage select function call - 96 | bins one = crossfunc(); +%Warning-COVERIGN: t/t_covergroup_unsup.v:103:21: Ignoring unsupported: coverage select function call + 103 | bins one = crossfunc(); | ^~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:96:10: Ignoring unsupported: coverage cross bin - 96 | bins one = crossfunc(); +%Warning-COVERIGN: t/t_covergroup_unsup.v:103:10: Ignoring unsupported: coverage cross bin + 103 | bins one = crossfunc(); | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:94:7: Ignoring unsupported: cover cross - 94 | cross a, b { +%Warning-COVERIGN: t/t_covergroup_unsup.v:101:7: Ignoring unsupported: cover cross + 101 | cross a, b { | ^~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:93:4: Ignoring unsupported: covergroup - 93 | covergroup cg_cross4; +%Warning-COVERIGN: t/t_covergroup_unsup.v:100:4: Ignoring unsupported: covergroup + 100 | covergroup cg_cross4; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:100:28: Ignoring unsupported: cover 'iff' - 100 | my_cg_id: cross a, b iff (!rst); +%Warning-COVERIGN: t/t_covergroup_unsup.v:107:28: Ignoring unsupported: cover 'iff' + 107 | my_cg_id: cross a, b iff (!rst); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:100:17: Ignoring unsupported: cover cross - 100 | my_cg_id: cross a, b iff (!rst); +%Warning-COVERIGN: t/t_covergroup_unsup.v:107:17: Ignoring unsupported: cover cross + 107 | my_cg_id: cross a, b iff (!rst); | ^~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:99:4: Ignoring unsupported: covergroup - 99 | covergroup cg_cross_id; +%Warning-COVERIGN: t/t_covergroup_unsup.v:106:4: Ignoring unsupported: covergroup + 106 | covergroup cg_cross_id; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:105:17: Ignoring unsupported: cover bin specification - 105 | { bins ba = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:112:17: Ignoring unsupported: cover bin specification + 112 | { bins ba = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:106:24: Ignoring unsupported: cover 'iff' - 106 | { bins bar = {a} iff (!rst); } +%Warning-COVERIGN: t/t_covergroup_unsup.v:113:24: Ignoring unsupported: cover 'iff' + 113 | { bins bar = {a} iff (!rst); } | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:106:18: Ignoring unsupported: cover bin specification - 106 | { bins bar = {a} iff (!rst); } +%Warning-COVERIGN: t/t_covergroup_unsup.v:113:18: Ignoring unsupported: cover bin specification + 113 | { bins bar = {a} iff (!rst); } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:107:26: Ignoring unsupported: cover bin specification - 107 | { illegal_bins ila = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:114:26: Ignoring unsupported: cover bin specification + 114 | { illegal_bins ila = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:108:25: Ignoring unsupported: cover bin specification - 108 | { ignore_bins iga = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:115:25: Ignoring unsupported: cover bin specification + 115 | { ignore_bins iga = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:110:19: Ignoring unsupported: cover bin specification - 110 | { bins ba[] = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:117:19: Ignoring unsupported: cover bin specification + 117 | { bins ba[] = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:111:20: Ignoring unsupported: cover bin specification - 111 | { bins ba[2] = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:118:20: Ignoring unsupported: cover bin specification + 118 | { bins ba[2] = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:113:23: Ignoring unsupported: cover bin 'with' specification - 113 | { bins ba = {a} with { b }; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:120:23: Ignoring unsupported: cover bin 'with' specification + 120 | { bins ba = {a} with { b }; } | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:115:27: Ignoring unsupported: cover bin 'wildcard' specification - 115 | { wildcard bins bwa = {a}; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:122:27: Ignoring unsupported: cover bin 'wildcard' specification + 122 | { wildcard bins bwa = {a}; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:116:34: Ignoring unsupported: cover bin 'wildcard' 'with' specification - 116 | { wildcard bins bwaw = {a} with { b }; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:123:34: Ignoring unsupported: cover bin 'wildcard' 'with' specification + 123 | { wildcard bins bwaw = {a} with { b }; } | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:118:20: Ignoring unsupported: cover bin 'default' - 118 | { bins def = default; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:125:20: Ignoring unsupported: cover bin 'default' + 125 | { bins def = default; } | ^~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:119:29: Ignoring unsupported: cover bin 'default' 'sequence' - 119 | { bins defs = default sequence; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:126:29: Ignoring unsupported: cover bin 'default' 'sequence' + 126 | { bins defs = default sequence; } | ^~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:121:18: Ignoring unsupported: cover bin trans list - 121 | { bins bts = ( 1, 2 ); } +%Warning-COVERIGN: t/t_covergroup_unsup.v:128:18: Ignoring unsupported: cover bin trans list + 128 | { bins bts = ( 1, 2 ); } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:122:9: Ignoring unsupported: cover bin 'wildcard' trans list - 122 | { wildcard bins wbts = ( 1, 2 ); } +%Warning-COVERIGN: t/t_covergroup_unsup.v:129:9: Ignoring unsupported: cover bin 'wildcard' trans list + 129 | { wildcard bins wbts = ( 1, 2 ); } | ^~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:123:33: Ignoring unsupported: covergroup value range - 123 | { bins bts2 = ( 2, 3 ), ( [5:6] ) ; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:130:33: Ignoring unsupported: covergroup value range + 130 | { bins bts2 = ( 2, 3 ), ( [5:6] ) ; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:123:19: Ignoring unsupported: cover bin trans list - 123 | { bins bts2 = ( 2, 3 ), ( [5:6] ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:125:27: Ignoring unsupported: cover trans set '=>' - 125 | { bins bts2 = ( 1,5 => 6,7 ) ; } - | ^~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:125:19: Ignoring unsupported: cover bin trans list - 125 | { bins bts2 = ( 1,5 => 6,7 ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:126:25: Ignoring unsupported: cover '[*' - 126 | { bins bts2 = ( 3 [*5] ) ; } - | ^~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:126:19: Ignoring unsupported: cover bin trans list - 126 | { bins bts2 = ( 3 [*5] ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:127:25: Ignoring unsupported: cover '[*' - 127 | { bins bts2 = ( 3 [*5:6] ) ; } - | ^~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:127:19: Ignoring unsupported: cover bin trans list - 127 | { bins bts2 = ( 3 [*5:6] ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:128:25: Ignoring unsupported: cover '[->' - 128 | { bins bts2 = ( 3 [->5] ) ; } - | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:128:19: Ignoring unsupported: cover bin trans list - 128 | { bins bts2 = ( 3 [->5] ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:129:25: Ignoring unsupported: cover '[->' - 129 | { bins bts2 = ( 3 [->5:6] ) ; } - | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:129:19: Ignoring unsupported: cover bin trans list - 129 | { bins bts2 = ( 3 [->5:6] ) ; } - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:130:25: Ignoring unsupported: cover '[=' - 130 | { bins bts2 = ( 3 [=5] ) ; } - | ^~ %Warning-COVERIGN: t/t_covergroup_unsup.v:130:19: Ignoring unsupported: cover bin trans list - 130 | { bins bts2 = ( 3 [=5] ) ; } + 130 | { bins bts2 = ( 2, 3 ), ( [5:6] ) ; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:131:25: Ignoring unsupported: cover '[=' - 131 | { bins bts2 = ( 3 [=5:6] ) ; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:132:27: Ignoring unsupported: cover trans set '=>' + 132 | { bins bts2 = ( 1,5 => 6,7 ) ; } + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:132:19: Ignoring unsupported: cover bin trans list + 132 | { bins bts2 = ( 1,5 => 6,7 ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:133:25: Ignoring unsupported: cover '[*' + 133 | { bins bts2 = ( 3 [*5] ) ; } | ^~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:131:19: Ignoring unsupported: cover bin trans list - 131 | { bins bts2 = ( 3 [=5:6] ) ; } +%Warning-COVERIGN: t/t_covergroup_unsup.v:133:19: Ignoring unsupported: cover bin trans list + 133 | { bins bts2 = ( 3 [*5] ) ; } | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:103:4: Ignoring unsupported: covergroup - 103 | covergroup cg_binsoroptions_bk1; +%Warning-COVERIGN: t/t_covergroup_unsup.v:134:25: Ignoring unsupported: cover '[*' + 134 | { bins bts2 = ( 3 [*5:6] ) ; } + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:134:19: Ignoring unsupported: cover bin trans list + 134 | { bins bts2 = ( 3 [*5:6] ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:135:25: Ignoring unsupported: cover '[->' + 135 | { bins bts2 = ( 3 [->5] ) ; } + | ^~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:135:19: Ignoring unsupported: cover bin trans list + 135 | { bins bts2 = ( 3 [->5] ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:136:25: Ignoring unsupported: cover '[->' + 136 | { bins bts2 = ( 3 [->5:6] ) ; } + | ^~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:136:19: Ignoring unsupported: cover bin trans list + 136 | { bins bts2 = ( 3 [->5:6] ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:137:25: Ignoring unsupported: cover '[=' + 137 | { bins bts2 = ( 3 [=5] ) ; } + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:137:19: Ignoring unsupported: cover bin trans list + 137 | { bins bts2 = ( 3 [=5] ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:138:25: Ignoring unsupported: cover '[=' + 138 | { bins bts2 = ( 3 [=5:6] ) ; } + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:138:19: Ignoring unsupported: cover bin trans list + 138 | { bins bts2 = ( 3 [=5:6] ) ; } + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:110:4: Ignoring unsupported: covergroup + 110 | covergroup cg_binsoroptions_bk1; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:137:23: Ignoring unsupported: coverage select expression 'binsof' - 137 | bins bin_a = binsof(a); +%Warning-COVERIGN: t/t_covergroup_unsup.v:144:23: Ignoring unsupported: coverage select expression 'binsof' + 144 | bins bin_a = binsof(a); | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:137:10: Ignoring unsupported: coverage cross bin - 137 | bins bin_a = binsof(a); +%Warning-COVERIGN: t/t_covergroup_unsup.v:144:10: Ignoring unsupported: coverage cross bin + 144 | bins bin_a = binsof(a); | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:138:24: Ignoring unsupported: coverage select expression 'binsof' - 138 | bins bin_ai = binsof(a) iff (!rst); +%Warning-COVERIGN: t/t_covergroup_unsup.v:145:24: Ignoring unsupported: coverage select expression 'binsof' + 145 | bins bin_ai = binsof(a) iff (!rst); | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:138:34: Ignoring unsupported: cover 'iff' - 138 | bins bin_ai = binsof(a) iff (!rst); +%Warning-COVERIGN: t/t_covergroup_unsup.v:145:34: Ignoring unsupported: cover 'iff' + 145 | bins bin_ai = binsof(a) iff (!rst); | ^~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:138:10: Ignoring unsupported: coverage cross bin - 138 | bins bin_ai = binsof(a) iff (!rst); - | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:139:23: Ignoring unsupported: coverage select expression 'binsof' - 139 | bins bin_c = binsof(cp.x); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:139:10: Ignoring unsupported: coverage cross bin - 139 | bins bin_c = binsof(cp.x); - | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:140:24: Ignoring unsupported: coverage select expression 'binsof' - 140 | bins bin_na = ! binsof(a); - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:140:10: Ignoring unsupported: coverage cross bin - 140 | bins bin_na = ! binsof(a); - | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:142:33: Ignoring unsupported: coverage select expression 'intersect' - 142 | bins bin_d = binsof(a) intersect { b }; - | ^~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:142:10: Ignoring unsupported: coverage cross bin - 142 | bins bin_d = binsof(a) intersect { b }; - | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:143:34: Ignoring unsupported: coverage select expression 'intersect' - 143 | bins bin_nd = ! binsof(a) intersect { b }; - | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:143:10: Ignoring unsupported: coverage cross bin - 143 | bins bin_nd = ! binsof(a) intersect { b }; - | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:145:23: Ignoring unsupported: coverage select expression with - 145 | bins bin_e = with (a); - | ^~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:145:10: Ignoring unsupported: coverage cross bin - 145 | bins bin_e = with (a); + 145 | bins bin_ai = binsof(a) iff (!rst); | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:146:23: Ignoring unsupported: coverage select expression with - 146 | bins bin_e = ! with (a); - | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:146:23: Ignoring unsupported: coverage select expression 'binsof' + 146 | bins bin_c = binsof(cp.x); + | ^~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:146:10: Ignoring unsupported: coverage cross bin - 146 | bins bin_e = ! with (a); + 146 | bins bin_c = binsof(cp.x); | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:148:26: Ignoring unsupported: coverage select expression 'binsof' - 148 | bins bin_par = (binsof(a)); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:148:10: Ignoring unsupported: coverage cross bin - 148 | bins bin_par = (binsof(a)); +%Warning-COVERIGN: t/t_covergroup_unsup.v:147:24: Ignoring unsupported: coverage select expression 'binsof' + 147 | bins bin_na = ! binsof(a); + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:147:10: Ignoring unsupported: coverage cross bin + 147 | bins bin_na = ! binsof(a); | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:149:25: Ignoring unsupported: coverage select expression 'binsof' - 149 | bins bin_and = binsof(a) && binsof(b); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:149:38: Ignoring unsupported: coverage select expression 'binsof' - 149 | bins bin_and = binsof(a) && binsof(b); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:149:35: Ignoring unsupported: coverage select expression '&&' - 149 | bins bin_and = binsof(a) && binsof(b); - | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:149:33: Ignoring unsupported: coverage select expression 'intersect' + 149 | bins bin_d = binsof(a) intersect { b }; + | ^~~~~~~~~ %Warning-COVERIGN: t/t_covergroup_unsup.v:149:10: Ignoring unsupported: coverage cross bin - 149 | bins bin_and = binsof(a) && binsof(b); + 149 | bins bin_d = binsof(a) intersect { b }; | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:150:24: Ignoring unsupported: coverage select expression 'binsof' - 150 | bins bin_or = binsof(a) || binsof(b); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:150:37: Ignoring unsupported: coverage select expression 'binsof' - 150 | bins bin_or = binsof(a) || binsof(b); - | ^~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:150:34: Ignoring unsupported: coverage select expression '||' - 150 | bins bin_or = binsof(a) || binsof(b); - | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:150:34: Ignoring unsupported: coverage select expression 'intersect' + 150 | bins bin_nd = ! binsof(a) intersect { b }; + | ^ %Warning-COVERIGN: t/t_covergroup_unsup.v:150:10: Ignoring unsupported: coverage cross bin - 150 | bins bin_or = binsof(a) || binsof(b); + 150 | bins bin_nd = ! binsof(a) intersect { b }; | ^~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:136:7: Ignoring unsupported: cover cross - 136 | cross a, b { +%Warning-COVERIGN: t/t_covergroup_unsup.v:152:23: Ignoring unsupported: coverage select expression with + 152 | bins bin_e = with (a); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:152:10: Ignoring unsupported: coverage cross bin + 152 | bins bin_e = with (a); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:153:27: Ignoring unsupported: coverage select expression with + 153 | bins bin_not_e = ! with (a); + | ^ +%Warning-COVERIGN: t/t_covergroup_unsup.v:153:10: Ignoring unsupported: coverage cross bin + 153 | bins bin_not_e = ! with (a); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:155:26: Ignoring unsupported: coverage select expression 'binsof' + 155 | bins bin_par = (binsof(a)); + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:155:10: Ignoring unsupported: coverage cross bin + 155 | bins bin_par = (binsof(a)); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:156:25: Ignoring unsupported: coverage select expression 'binsof' + 156 | bins bin_and = binsof(a) && binsof(b); + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:156:38: Ignoring unsupported: coverage select expression 'binsof' + 156 | bins bin_and = binsof(a) && binsof(b); + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:156:35: Ignoring unsupported: coverage select expression '&&' + 156 | bins bin_and = binsof(a) && binsof(b); + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:156:10: Ignoring unsupported: coverage cross bin + 156 | bins bin_and = binsof(a) && binsof(b); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:157:24: Ignoring unsupported: coverage select expression 'binsof' + 157 | bins bin_or = binsof(a) || binsof(b); + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:157:37: Ignoring unsupported: coverage select expression 'binsof' + 157 | bins bin_or = binsof(a) || binsof(b); + | ^~~~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:157:34: Ignoring unsupported: coverage select expression '||' + 157 | bins bin_or = binsof(a) || binsof(b); + | ^~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:157:10: Ignoring unsupported: coverage cross bin + 157 | bins bin_or = binsof(a) || binsof(b); + | ^~~~ +%Warning-COVERIGN: t/t_covergroup_unsup.v:143:7: Ignoring unsupported: cover cross + 143 | cross a, b { | ^~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:135:4: Ignoring unsupported: covergroup - 135 | covergroup cg_cross_bins; +%Warning-COVERIGN: t/t_covergroup_unsup.v:142:4: Ignoring unsupported: covergroup + 142 | covergroup cg_cross_bins; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:154:4: Ignoring unsupported: covergroup - 154 | covergroup cgArgs(int cg_lim); +%Warning-COVERIGN: t/t_covergroup_unsup.v:161:4: Ignoring unsupported: covergroup + 161 | covergroup cgArgs(int cg_lim); | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:161:23: Ignoring unsupported: coverage clocking event - 161 | covergroup cov1 @m_z; +%Warning-COVERIGN: t/t_covergroup_unsup.v:168:23: Ignoring unsupported: coverage clocking event + 168 | covergroup cov1 @m_z; | ^ -%Warning-COVERIGN: t/t_covergroup_unsup.v:162:10: Ignoring unsupported: coverpoint - 162 | coverpoint m_x; +%Warning-COVERIGN: t/t_covergroup_unsup.v:169:10: Ignoring unsupported: coverpoint + 169 | coverpoint m_x; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:163:10: Ignoring unsupported: coverpoint - 163 | coverpoint m_y; +%Warning-COVERIGN: t/t_covergroup_unsup.v:170:10: Ignoring unsupported: coverpoint + 170 | coverpoint m_y; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:161:7: Ignoring unsupported: covergroup - 161 | covergroup cov1 @m_z; +%Warning-COVERIGN: t/t_covergroup_unsup.v:168:7: Ignoring unsupported: covergroup + 168 | covergroup cov1 @m_z; | ^~~~~~~~~~ -%Warning-COVERIGN: t/t_covergroup_unsup.v:171:7: Ignoring unsupported: covergroup - 171 | covergroup extends cg_empty; +%Warning-COVERIGN: t/t_covergroup_unsup.v:178:7: Ignoring unsupported: covergroup + 178 | covergroup extends cg_empty; | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_covergroup_unsup.v b/test_regress/t/t_covergroup_unsup.v index c665b0f5c..104fcc82f 100644 --- a/test_regress/t/t_covergroup_unsup.v +++ b/test_regress/t/t_covergroup_unsup.v @@ -10,6 +10,7 @@ module t (/*AUTOARG*/ ); input clk; + logic rst; int a; int b; logic c; @@ -19,6 +20,12 @@ module t (/*AUTOARG*/ cyc <= cyc + 1; end + function automatic void funca(); + endfunction + + function automatic void funcb(); + endfunction + // NOTE this grammar hasn't been checked with other simulators, // is here just to avoid uncovered code lines in the grammar. @@ -31,7 +38,7 @@ module t (/*AUTOARG*/ type_option.comment = "type_option_comment"; // cg, cp, cross type_option.strobe = 0; // cg type_option.merge_instances = 1; // cg - type_option.distribuge_first = 1; // cg + type_option.distribute_first = 1; // cg option.name = "the_name"; // cg option.weight = 1; // cg, cp, cross option.goal = 98; // cg, cp, cross @@ -143,7 +150,7 @@ module t (/*AUTOARG*/ bins bin_nd = ! binsof(a) intersect { b }; bins bin_e = with (a); - bins bin_e = ! with (a); + bins bin_not_e = ! with (a); bins bin_par = (binsof(a)); bins bin_and = binsof(a) && binsof(b);