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



Module Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_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_clk_mux


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_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_div2.u_step_down_mux


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_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_clk_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
00CoveredT6,T5,T1
01CoveredT6,T5,T1
10CoveredT20,T23,T2

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT6,T5,T1
10CoveredT20,T23,T2
11CoveredT20,T23,T2

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT20,T23,T2
10CoveredT6,T5,T1
11CoveredT6,T5,T1

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 556916395 556913980 0 0
selKnown1 1341618342 1341615927 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 556916395 556913980 0 0
T1 110370 110367 0 0
T5 23967 23964 0 0
T6 3035 3032 0 0
T16 13774 13771 0 0
T17 4355 4352 0 0
T18 1790 1787 0 0
T19 2662 2659 0 0
T20 2932 2929 0 0
T21 1312 1309 0 0
T22 5760 5757 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 1341618342 1341615927 0 0
T1 265086 265083 0 0
T5 57756 57753 0 0
T6 7482 7479 0 0
T16 47880 47877 0 0
T17 10569 10566 0 0
T18 4572 4569 0 0
T19 6711 6708 0 0
T20 6990 6987 0 0
T21 3222 3219 0 0
T22 13938 13935 0 0

Line Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_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.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions55100.00
Logical55100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT6,T5,T1
01CoveredT6,T5,T1
10Unreachable

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT6,T5,T1
10Unreachable
11Unreachable

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01Unreachable
10CoveredT6,T5,T1
11CoveredT6,T5,T1

Assert Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_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 222886692 222885887 0 0
selKnown1 447206114 447205309 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 222886692 222885887 0 0
T1 44148 44147 0 0
T5 9587 9586 0 0
T6 1214 1213 0 0
T16 5509 5508 0 0
T17 1742 1741 0 0
T18 716 715 0 0
T19 1065 1064 0 0
T20 1219 1218 0 0
T21 525 524 0 0
T22 2304 2303 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 447206114 447205309 0 0
T1 88362 88361 0 0
T5 19252 19251 0 0
T6 2494 2493 0 0
T16 15960 15959 0 0
T17 3523 3522 0 0
T18 1524 1523 0 0
T19 2237 2236 0 0
T20 2330 2329 0 0
T21 1074 1073 0 0
T22 4646 4645 0 0

Line Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_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.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_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
00CoveredT6,T5,T1
01CoveredT6,T5,T1
10CoveredT20,T23,T2

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT6,T5,T1
10CoveredT20,T23,T2
11CoveredT20,T23,T2

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT20,T23,T2
10CoveredT6,T5,T1
11CoveredT6,T5,T1

Assert Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_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 222586969 222586164 0 0
selKnown1 447206114 447205309 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 222586969 222586164 0 0
T1 44148 44147 0 0
T5 9587 9586 0 0
T6 1214 1213 0 0
T16 5509 5508 0 0
T17 1742 1741 0 0
T18 716 715 0 0
T19 1065 1064 0 0
T20 1105 1104 0 0
T21 525 524 0 0
T22 2304 2303 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 447206114 447205309 0 0
T1 88362 88361 0 0
T5 19252 19251 0 0
T6 2494 2493 0 0
T16 15960 15959 0 0
T17 3523 3522 0 0
T18 1524 1523 0 0
T19 2237 2236 0 0
T20 2330 2329 0 0
T21 1074 1073 0 0
T22 4646 4645 0 0

Line Coverage for Instance : tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_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.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic
TotalCoveredPercent
Conditions55100.00
Logical55100.00
Non-Logical00
Event00

 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
-1--2-StatusTests
00CoveredT6,T5,T1
01CoveredT6,T5,T1
10Unreachable

 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
-1--2-StatusTests
01CoveredT6,T5,T1
10Unreachable
11Unreachable

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01Unreachable
10CoveredT6,T5,T1
11CoveredT6,T5,T1

Assert Coverage for Instance : tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_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 111442734 111441929 0 0
selKnown1 447206114 447205309 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 111442734 111441929 0 0
T1 22074 22073 0 0
T5 4793 4792 0 0
T6 607 606 0 0
T16 2756 2755 0 0
T17 871 870 0 0
T18 358 357 0 0
T19 532 531 0 0
T20 608 607 0 0
T21 262 261 0 0
T22 1152 1151 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 447206114 447205309 0 0
T1 88362 88361 0 0
T5 19252 19251 0 0
T6 2494 2493 0 0
T16 15960 15959 0 0
T17 3523 3522 0 0
T18 1524 1523 0 0
T19 2237 2236 0 0
T20 2330 2329 0 0
T21 1074 1073 0 0
T22 4646 4645 0 0

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