dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[21].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[22].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[23].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[24].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[25].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[26].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[27].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[28].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[29].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[30].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[31].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[32].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[33].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[34].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[35].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[36].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[37].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[38].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[39].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[40].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[41].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_mio_pads[42].u_mio_pad


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Go back
Module Instances:
tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T27 T28  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T27 T28  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T28 T10  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T27 T28  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: T4 T27 T28  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T27 T28  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T27,T28
01CoveredT4,T28,T58
10CoveredT16,T17,T18
11CoveredT16,T18,T197

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T28,T10
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T27,T28

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T27,T28
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T27,T28

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T27,T28

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[21].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T27,T28
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T14 T16 T17  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T10 T14 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: T10 T14 T16  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T10 T14 T16  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T48 T49 T50 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT88,T122,T211
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT14,T16,T17
11CoveredT17,T18,T197

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T14,T16

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT10,T14,T16
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T14,T16

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T14,T16

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T49,T50

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[22].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T10,T14,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-StatusTests
1 Covered T48,T49,T50
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T16 T17 T18  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T14 T16 T17  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: T14 T16 T17  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T14 T16 T17  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T48 T49 T50 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT10,T88,T122
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT14,T16,T17

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT14,T16,T17
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT14,T16,T17

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT14,T16,T17

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T49,T50

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[23].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T14,T16,T17
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T48,T49,T50
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T16 T17 T18  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T10 T16 T17  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: T10 T16 T17  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T10 T16 T17  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T48 T49 T50 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT88,T122,T211
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT10,T16,T17
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T16,T17

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T49,T50

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[24].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T10,T16,T17
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T48,T49,T50
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T16 T17 T18  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T10 T16 T17  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: T10 T16 T17  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T10 T16 T17  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
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT120,T10,T121
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT10,T16,T17
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T16,T17

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[25].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T10,T16,T17
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT120,T10,T121
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT1,T2,T3
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT1,T2,T3
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[26].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
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-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T16 T17 T18  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T16 T17 T18  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 T17 T18  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T16 T17 T18  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT10,T32,T80
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[27].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T29 T10 T30  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T29 T10 T30  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T16 T17 T18  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T10 T16 T17  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: T10 T16 T17  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T10 T16 T17  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT29,T10,T30
01CoveredT29,T30,T139
10CoveredT16,T18,T197
11CoveredT16,T18,T198

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT10,T16,T17
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T16,T17

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT10,T16,T17

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[28].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T10,T16,T17
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T10 T5 T26  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T10 T5 T26  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T12 T13 T14  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T12 T13 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: T12 T13 T14  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T12 T13 T14  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT10,T5,T26
01CoveredT10,T5,T26
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT12,T13,T14
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT12,T13,T14

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT12,T13,T14
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT12,T13,T14

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT12,T13,T14

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[29].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T12,T13,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-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T14 T16 T17  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T14 T16 T17  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: T14 T16 T17  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T14 T16 T17  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT31,T29,T10
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT14,T16,T17
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT14,T16,T17

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT14,T16,T17
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT14,T16,T17

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT14,T16,T17

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T14,T16,T17
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[30].u_mio_pad.gen_generic.u_impl_generic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T10 T26  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T10 T26  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T12 T13  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T12  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: T4 T10 T12  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T12  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T10,T26
01CoveredT4,T26,T15
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T12,T13
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T12
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T12

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[31].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T12
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T28 T10  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T28 T10  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T28 T118  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T28 T118  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: T4 T28 T118  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T28 T118  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T28,T10
01CoveredT4,T28,T10
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T28,T118
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T118

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T28,T118
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T28,T118

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T118

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[32].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T28,T118
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T28 T10  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T28 T10  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T28 T10  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T28 T10  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: T4 T28 T10  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T28 T10  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T28,T32
01CoveredT4,T28,T10
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T28,T10
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T10

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T28,T10
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T28,T10

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T10

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[33].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T28,T10
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T28 T10  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T28 T10  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T28 T10  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T28 T10  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: T4 T28 T10  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T28 T10  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T28,T32
01CoveredT4,T28,T10
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T28,T10
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T10

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T28,T10
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T28,T10

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T28,T10

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[34].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T28,T10
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T31 T29  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T31 T29  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T37 T9  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T37  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: T4 T10 T37  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T37  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T31,T29
01CoveredT4,T31,T29
10CoveredT16,T18,T198
11CoveredT16,T18,T197

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T37,T9
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T37

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[35].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T37
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T31 T29  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T31 T29  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T31 T29  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T31 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: T4 T31 T29  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T31 T29  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T31,T29
01CoveredT4,T31,T29
10CoveredT16,T17,T18
11CoveredT16,T18,T198

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T31,T29
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T31,T29

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T31,T29
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T31,T29

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T31,T29

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[36].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T31,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-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T31 T29  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T31 T29  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T37 T9  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T37 T9  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: T4 T37 T9  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T37 T9  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T31,T29
01CoveredT4,T31,T29
10CoveredT16,T17,T197
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T37,T9
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T37,T9

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T37,T9
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T37,T9

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T37,T9

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[37].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T37,T9
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T31 T29  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T31 T29  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T10 T37  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T37  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: T4 T10 T37  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T37  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T31,T29
01CoveredT4,T31,T29
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T37

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[38].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T37
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T31 T29  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T31 T29  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T10 T37  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T37  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: T4 T10 T37  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T37  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T31,T29
01CoveredT4,T31,T29
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T37

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[39].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T37
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T10 T12  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T12  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: T4 T10 T12  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T12  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT4,T10,T12
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T10,T12
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T12
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T12

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[40].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T12
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T10 T12  79 // input inversion 80 1/1 assign in_o = attr_i.invert ^ in_raw_o; Tests: T4 T10 T12  81 82 // virtual open drain emulation 83 logic oe, out; 84 1/1 assign out = out_i ^ attr_i.invert; Tests: T4 T12 T13  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T12  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: T4 T10 T12  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T12  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT4,T10,T12
01CoveredT4,T12,T13
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T12,T13
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T12
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T12

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T12

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[41].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T12
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 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.TotalCoveredPercent
TOTAL88100.00
CONT_ASSIGN3900
CONT_ASSIGN5111100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN9511100.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: T16 T17 T18  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: T4 T10 T37  85 1/1 assign oe = oe_i & ((attr_i.virt_od_en & ~out) | ~attr_i.virt_od_en); Tests: T4 T10 T37  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: T4 T10 T37  93 1/1 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; Tests: T4 T10 T37  94 // pullup / pulldown termination 95 1/1 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; Tests: T16 T17 T18 

Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions3333100.00
Logical3333100.00
Non-Logical00
Event00

 LINE       51
 EXPRESSION (ie_i & ((~attr_i.input_disable)))
             --1-   ------------2------------
-1--2-StatusTests
01Unreachable
10CoveredT16,T17,T18
11CoveredT1,T2,T3

 LINE       78
 EXPRESSION (ie ? inout_io : 1'bz)
             -1
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       80
 EXPRESSION (attr_i.invert ^ in_raw_o)
             ------1------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT4,T10,T217
10CoveredT17,T18,T197
11CoveredT17,T18,T197

 LINE       84
 EXPRESSION (out_i ^ attr_i.invert)
             --1--   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       85
 EXPRESSION (oe_i & ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en))))
             --1-   ---------------------------------2---------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       85
 SUB-EXPRESSION ((attr_i.virt_od_en & ((~gen_bidir.out))) | ((~attr_i.virt_od_en)))
                 --------------------1-------------------   -----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT1,T2,T3
10CoveredT16,T17,T18

 LINE       85
 SUB-EXPRESSION (attr_i.virt_od_en & ((~gen_bidir.out)))
                 --------1--------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 LINE       92
 EXPRESSION ((gen_bidir.oe && attr_i.drive_strength[0]) ? gen_bidir.out : 1'bz)
             ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

 LINE       92
 SUB-EXPRESSION (gen_bidir.oe && attr_i.drive_strength[0])
                 ------1-----    ------------2-----------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT4,T10,T37
11CoveredT16,T17,T18

 LINE       93
 EXPRESSION ((gen_bidir.oe && ((!attr_i.drive_strength[0]))) ? gen_bidir.out : 1'bz)
             -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T10,T37

 LINE       93
 SUB-EXPRESSION (gen_bidir.oe && ((!attr_i.drive_strength[0])))
                 ------1-----    --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T17,T18
11CoveredT4,T10,T37

 LINE       95
 EXPRESSION (attr_i.pull_en ? attr_i.pull_select : 1'bz)
             -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T17,T18

Branch Coverage for Instance : tb.dut.u_padring.gen_mio_pads[42].u_mio_pad.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T16,T17,T18


92 assign (strong0, strong1) inout_io = (oe && attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
0 Covered T1,T2,T3


93 assign (pull0, pull1) inout_io = (oe && !attr_i.drive_strength[0]) ? out : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T4,T10,T37
0 Covered T1,T2,T3


95 assign (weak0, weak1) inout_io = attr_i.pull_en ? attr_i.pull_select : 1'bz; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T16,T17,T18
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AnalogNoScan_A 777 777 0 0


AnalogNoScan_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 777 777 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T11 1 1 0 0
T22 1 1 0 0
T24 1 1 0 0
T31 1 1 0 0
T39 1 1 0 0
T97 1 1 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%