Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T32 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T32 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T32 T29 T38
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T32 T29
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T32 T29
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T32 T29
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T32,T29 |
0 | 1 | Covered | T32,T29,T38 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T32,T29,T38 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T32,T29 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T32,T29 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T32,T29 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T32,T29 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T32,T29 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T8 T26 T21
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T21
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T55 T56 T58
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T8,T55,T56 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T21 |
1 | 1 | Covered | T22,T23,T48 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T21 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T21 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T55,T56,T58 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T21 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T55,T56,T58 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T26 T21 T22
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T21
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T55 T56 T58
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T26,T21,T237 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T26,T21,T22 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T21 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T21 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T55,T56,T58 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T21 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T55,T56,T58 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T22 T23 T24
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T21 T22 T23
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T21 T22 T23
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T21 T22 T23
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T55 T56 T58
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T8,T26,T237 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T23,T24,T48 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T48 |
1 | 1 | Covered | T21,T22,T23 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T21,T22,T23 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T21,T22,T23 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T21,T22,T23 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T55,T56,T58 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T21,T22,T23 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T55,T56,T58 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T8 T21 T22
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T21
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T1 T2 T3
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T128,T40,T95 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T23,T24,T48 |
1 | 1 | Covered | T23,T24,T48 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T21,T22 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T21 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T21 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T21 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T1 T2 T3
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T1 T2 T3
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T1 T2 T3
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T1 T2 T3
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T128,T40,T95 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T26 T22 T23
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T22
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T22
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T22
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T35,T85,T86 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T26,T22,T23 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T22 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T22 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T22 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T22 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T22 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T33 T34
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T33 T34
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T26 T22 T23
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T22
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T22
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T22
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T33,T34 |
0 | 1 | Covered | T33,T34,T129 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T26,T22,T23 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T22 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T22 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T22 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T22 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T22 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T2 T4 T8
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T2 T4 T8
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T16 T18 T233
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T16 T18 T26
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T16 T18 T26
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T16 T18 T26
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T8 |
0 | 1 | Covered | T2,T4,T8 |
1 | 0 | Covered | T22,T23,T48 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T16,T18,T233 |
1 | 1 | Covered | T22,T23,T48 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T16,T18,T26 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T16,T18,T26 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T16,T18,T26 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T16,T18,T26 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T16,T18,T26 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T35 T85
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T35 T36 T37
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T26 T22 T23
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T26 T21
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T26 T21
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T39,T33,T34 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T26,T22,T23 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T26,T21 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T26,T21 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T26,T21 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T26,T21 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T29 T31
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T29 T31
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T16 T18
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T16
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T29,T31 |
0 | 1 | Covered | T29,T31,T16 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T16,T18 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T16 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T16 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T16 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T29 T38
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T29 T38
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T38 T69
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T29 T38 T69
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T38 T69
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T38 T69
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T29,T38 |
0 | 1 | Covered | T8,T29,T38 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T38,T69 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T38,T69 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T38,T69 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T29,T38,T69 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T38,T69 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T29,T38,T69 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T29 T38
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T29 T38
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T8 T29 T38
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T38
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T38
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T38
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T29,T38,T69 |
0 | 1 | Covered | T8,T29,T38 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T38 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T48 |
1 | 1 | Covered | T8,T29,T38 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T38 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T38 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T38 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T38 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T29 T38
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T29 T38
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T38 T69
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T29 T38 T69
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T38 T69
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T38 T69
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T29,T38 |
0 | 1 | Covered | T8,T29,T38 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T38,T69 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T38,T69 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T38,T69 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T29,T38,T69 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T38,T69 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T29,T38,T69 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T39 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T39 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T14 T43
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T14
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T14
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T14
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T39,T29 |
0 | 1 | Covered | T39,T29,T33 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T14 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T14 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T14 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T14 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T14 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T39 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T39 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T8 T39 T29
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T39 T29
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T39 T29
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T39 T29
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T39,T29,T33 |
0 | 1 | Covered | T8,T39,T29 |
1 | 0 | Covered | T24,T48,T218 |
1 | 1 | Covered | T22,T24,T48 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T39,T29 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T39,T29 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T39,T29 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T39,T29 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T39,T29 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T39,T29 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T39 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T39 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T14 T43
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T14
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T14
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T14
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T39,T29 |
0 | 1 | Covered | T39,T29,T33 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T14 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T14 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T14 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T14 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T14 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T39 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T39 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T14 T43
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T29 T14 T43
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T14 T43
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T14 T43
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T39,T29 |
0 | 1 | Covered | T8,T39,T29 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T48 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T14,T43 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T29,T14,T43 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T14,T43 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T29,T14,T43 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T39 T29
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T39 T29
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T43 T44
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T43
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T43
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T43
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T39,T29 |
0 | 1 | Covered | T39,T29,T33 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T43,T44 |
1 | 1 | Covered | T22,T24,T48 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T43 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T43 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T43 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T43 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T8 T29 T16
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T16
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T8,T29,T16 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T16 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T16 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T16 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T16 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T8 T29 T16
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T8 T29 T16
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T16 T18
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T8 T29 T16
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T8 T29 T16
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T29,T16 |
0 | 1 | Covered | T29,T16,T18 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T16,T18 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T8,T29,T16 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T29,T16 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T8,T29,T16 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T29,T16 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 39 | 0 | 0 | |
CONT_ASSIGN | 51 | 1 | 1 | 100.00 |
CONT_ASSIGN | 78 | 1 | 1 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
38 logic unused_sigs;
39 unreachable assign unused_sigs = ^{attr_i.slew_rate,
40 attr_i.drive_strength[3:1],
41 attr_i.od_en,
42 attr_i.schmitt_en,
43 attr_i.keep_en,
44 scanmode_i,
45 pok_i};
46 //VCS coverage on
47 // pragma coverage on
48
49 // Input enable (active-high)
50 logic ie;
51 1/1 assign ie = ie_i & ~attr_i.input_disable;
Tests: T22 T23 T24
52
53 if (PadType == InputStd) begin : gen_input_only
54 //VCS coverage off
55 // pragma coverage off
56 logic unused_in_sigs;
57 assign unused_in_sigs = ^{out_i,
58 oe_i,
59 attr_i.virt_od_en,
60 attr_i.drive_strength};
61 //VCS coverage on
62 // pragma coverage on
63
64 assign in_raw_o = ie ? inout_io : 1'bz;
65 // input inversion
66 assign in_o = attr_i.invert ^ in_raw_o;
67
68 // pulls are not supported by verilator
69 `ifndef VERILATOR
70 // pullup / pulldown termination
71 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
72 `endif
73 end else if (PadType == BidirTol ||
74 PadType == DualBidirTol ||
75 PadType == BidirOd ||
76 PadType == BidirStd) begin : gen_bidir
77
78 1/1 assign in_raw_o = ie ? inout_io : 1'bz;
Tests: T1 T2 T3
79 // input inversion
80 1/1 assign in_o = attr_i.invert ^ in_raw_o;
Tests: T1 T2 T3
81
82 // virtual open drain emulation
83 logic oe, out;
84 1/1 assign out = out_i ^ attr_i.invert;
Tests: T29 T14 T43
85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en);
Tests: T29 T14 T43
86
87 // drive strength attributes are not supported by verilator
88 `ifdef VERILATOR
89 assign inout_io = (oe) ? out : 1'bz;
90 `else
91 // different driver types
92 1/1 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T14 T43
93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
Tests: T29 T14 T43
94 // pullup / pulldown termination
95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
Tests: T22 T23 T24
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 33 | 33 | 100.00 |
Logical | 33 | 33 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 51
EXPRESSION (ie_i & ((~attr_i.input_disable)))
--1- ------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Unreachable | |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 78
EXPRESSION (ie ? inout_io : 1'bz)
-1
-1- | Status | Tests |
0 | Covered | T22,T23,T24 |
1 | Covered | T1,T2,T3 |
LINE 80
EXPRESSION (attr_i.invert ^ in_raw_o)
------1------ ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T8,T29,T36 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T23,T24,T218 |
LINE 84
EXPRESSION (out_i ^ attr_i.invert)
--1-- ------2------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 85
EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
--1- ---------------------------------2---------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T14,T43 |
LINE 85
SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
--------------------1------------------- -----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T22,T23,T24 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
LINE 85
SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T22,T23,T24 |
LINE 92
EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
LINE 92
SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
------1----- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T22,T23,T24 |
1 | 0 | Covered | T29,T14,T43 |
1 | 1 | Covered | T22,T23,T24 |
LINE 93
EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T29,T14,T43 |
LINE 93
SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
------1----- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T22,T23,T24 |
1 | 1 | Covered | T29,T14,T43 |
LINE 95
EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
-------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T22,T23,T24 |
Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
78 |
2 |
2 |
100.00 |
TERNARY |
92 |
2 |
2 |
100.00 |
TERNARY |
93 |
2 |
2 |
100.00 |
TERNARY |
95 |
2 |
2 |
100.00 |
78 assign in_raw_o = ie ? inout_io : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T22,T23,T24 |
92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T29,T14,T43 |
0 |
Covered |
T1,T2,T3 |
95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T22,T23,T24 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
AnalogNoScan_A |
1015 |
1015 |
0 |
0 |
AnalogNoScan_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1015 |
1015 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T8 |
1 |
1 |
0 |
0 |
T25 |
1 |
1 |
0 |
0 |
T102 |
1 |
1 |
0 |
0 |
T103 |
1 |
1 |
0 |
0 |