Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts



Module Instance : tb.dut.u_prim_clock_mux2.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_prim_clock_mux2


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_prim_rst_n_mux2.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_prim_rst_n_mux2


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.dap.i_dmi_jtag_tap.i_tck_inv.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
gen_scan.i_dft_tck_mux


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.dap.i_dmi_cdc.u_rst_mux.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_rst_mux


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Line Coverage for Module : prim_generic_clock_mux2
Line No.TotalCoveredPercent
TOTAL11100.00
CONT_ASSIGN1711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
17 1 1


Cond Coverage for Module : prim_generic_clock_mux2
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T11,T24
11CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T11,T24
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Assert Coverage for Module : prim_generic_clock_mux2
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
selKnown0 32243788 32242700 0 0
selKnown1 46440723 46439635 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 32243788 32242700 0 0
T1 59474 59472 0 0
T2 4936 4934 0 0
T3 217706 217702 0 0
T5 0 10 0 0
T10 1886 1882 0 0
T12 167524 167520 0 0
T19 0 140 0 0
T29 228 224 0 0
T30 288 284 0 0
T32 126018 126014 0 0
T33 270 266 0 0
T34 0 9 0 0
T48 222698 222694 0 0
T69 2 0 0 0
T82 18 16 0 0
T96 0 6 0 0
T127 0 40 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 46440723 46439635 0 0
T1 228785 228783 0 0
T2 10457 10455 0 0
T3 221725 221721 0 0
T5 0 4 0 0
T10 4631 4627 0 0
T12 312526 312522 0 0
T19 0 140 0 0
T29 1176 1172 0 0
T30 1820 1816 0 0
T32 286672 286668 0 0
T33 1101 1097 0 0
T34 0 8 0 0
T48 135234 135230 0 0
T69 2 0 0 0
T82 18 16 0 0
T96 0 6 0 0
T127 0 40 0 0

Line Coverage for Instance : tb.dut.u_prim_clock_mux2.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
TOTAL11100.00
CONT_ASSIGN1711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
17 1 1


Cond Coverage for Instance : tb.dut.u_prim_clock_mux2.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T11,T24
11CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT11
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Assert Coverage for Instance : tb.dut.u_prim_clock_mux2.gen_generic.u_impl_generic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
selKnown0 12637590 12637421 0 0
selKnown1 26834666 26834497 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 12637590 12637421 0 0
T1 29737 29736 0 0
T2 2468 2467 0 0
T3 108839 108838 0 0
T10 942 941 0 0
T12 83753 83752 0 0
T29 113 112 0 0
T30 143 142 0 0
T32 62996 62995 0 0
T33 134 133 0 0
T48 111333 111332 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 26834666 26834497 0 0
T1 199048 199047 0 0
T2 7989 7988 0 0
T3 112858 112857 0 0
T10 3687 3686 0 0
T12 228755 228754 0 0
T29 1061 1060 0 0
T30 1675 1674 0 0
T32 223650 223649 0 0
T33 965 964 0 0
T48 23869 23868 0 0

Line Coverage for Instance : tb.dut.u_prim_rst_n_mux2.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
TOTAL11100.00
CONT_ASSIGN1711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
17 1 1


Cond Coverage for Instance : tb.dut.u_prim_rst_n_mux2.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T11,T24
11CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT11
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Assert Coverage for Instance : tb.dut.u_prim_rst_n_mux2.gen_generic.u_impl_generic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
selKnown0 862 693 0 0
selKnown1 849 680 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 862 693 0 0
T3 14 13 0 0
T5 0 1 0 0
T10 1 0 0 0
T12 9 8 0 0
T19 0 70 0 0
T29 1 0 0 0
T30 1 0 0 0
T32 13 12 0 0
T33 1 0 0 0
T34 0 4 0 0
T48 16 15 0 0
T69 1 0 0 0
T82 9 8 0 0
T96 0 3 0 0
T127 0 20 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 849 680 0 0
T3 14 13 0 0
T5 0 2 0 0
T10 1 0 0 0
T12 9 8 0 0
T19 0 70 0 0
T29 1 0 0 0
T30 1 0 0 0
T32 13 12 0 0
T33 1 0 0 0
T34 0 4 0 0
T48 16 15 0 0
T69 1 0 0 0
T82 9 8 0 0
T96 0 3 0 0
T127 0 20 0 0

Line Coverage for Instance : tb.dut.dap.i_dmi_jtag_tap.i_tck_inv.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
TOTAL11100.00
CONT_ASSIGN1711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
17 1 1


Cond Coverage for Instance : tb.dut.dap.i_dmi_jtag_tap.i_tck_inv.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T11,T24
11CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T11,T24
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Assert Coverage for Instance : tb.dut.dap.i_dmi_jtag_tap.i_tck_inv.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
selKnown0 19603120 19602745 0 0
selKnown1 19603120 19602745 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 19603120 19602745 0 0
T1 29737 29736 0 0
T2 2468 2467 0 0
T3 108839 108838 0 0
T10 942 941 0 0
T12 83753 83752 0 0
T29 113 112 0 0
T30 143 142 0 0
T32 62996 62995 0 0
T33 134 133 0 0
T48 111333 111332 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 19603120 19602745 0 0
T1 29737 29736 0 0
T2 2468 2467 0 0
T3 108839 108838 0 0
T10 942 941 0 0
T12 83753 83752 0 0
T29 113 112 0 0
T30 143 142 0 0
T32 62996 62995 0 0
T33 134 133 0 0
T48 111333 111332 0 0

Line Coverage for Instance : tb.dut.dap.i_dmi_cdc.u_rst_mux.gen_generic.u_impl_generic
Line No.TotalCoveredPercent
TOTAL11100.00
CONT_ASSIGN1711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
17 1 1


Cond Coverage for Instance : tb.dut.dap.i_dmi_cdc.u_rst_mux.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T11,T24
11CoveredT5,T11,T24

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T11,T24
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Assert Coverage for Instance : tb.dut.dap.i_dmi_cdc.u_rst_mux.gen_generic.u_impl_generic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
selKnown0 2216 1841 0 0
selKnown1 2088 1713 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 2216 1841 0 0
T3 14 13 0 0
T5 0 9 0 0
T10 1 0 0 0
T12 9 8 0 0
T19 0 70 0 0
T29 1 0 0 0
T30 1 0 0 0
T32 13 12 0 0
T33 1 0 0 0
T34 0 5 0 0
T48 16 15 0 0
T69 1 0 0 0
T82 9 8 0 0
T96 0 3 0 0
T127 0 20 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 2088 1713 0 0
T3 14 13 0 0
T5 0 2 0 0
T10 1 0 0 0
T12 9 8 0 0
T19 0 70 0 0
T29 1 0 0 0
T30 1 0 0 0
T32 13 12 0 0
T33 1 0 0 0
T34 0 4 0 0
T48 16 15 0 0
T69 1 0 0 0
T82 9 8 0 0
T96 0 3 0 0
T127 0 20 0 0

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