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,T19,T71

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

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T19,T71
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 28244093 28243019 0 0
selKnown1 43492321 43491247 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 28244093 28243019 0 0
T1 1008342 1008338 0 0
T2 182602 182598 0 0
T3 773528 773524 0 0
T9 21718 21714 0 0
T16 0 8 0 0
T23 257818 257816 0 0
T24 1132 1128 0 0
T36 45098 45094 0 0
T37 148114 148110 0 0
T38 337486 337482 0 0
T39 218 214 0 0
T44 0 40 0 0
T61 0 54 0 0
T63 0 138 0 0
T64 0 4 0 0
T73 0 130 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 43492321 43491247 0 0
T1 652897 652894 0 0
T2 383398 383394 0 0
T3 668961 668957 0 0
T9 124475 124471 0 0
T23 426568 426566 0 0
T24 7087 7083 0 0
T36 208113 208109 0 0
T37 214222 214218 0 0
T38 355502 355498 0 0
T39 1517 1513 0 0
T44 0 40 0 0
T61 0 54 0 0
T63 0 138 0 0
T64 0 4 0 0
T73 0 130 0 0
T76 0 42 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,T19,T71

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

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT19
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 11462853 11462688 0 0
selKnown1 26711269 26711104 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 11462853 11462688 0 0
T1 504113 504112 0 0
T2 91294 91293 0 0
T3 386763 386762 0 0
T9 10858 10857 0 0
T23 128908 128908 0 0
T24 565 564 0 0
T36 22548 22547 0 0
T37 74048 74047 0 0
T38 168725 168724 0 0
T39 108 107 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 26711269 26711104 0 0
T1 148668 148668 0 0
T2 292090 292089 0 0
T3 282196 282195 0 0
T9 113615 113614 0 0
T23 297658 297658 0 0
T24 6520 6519 0 0
T36 185563 185562 0 0
T37 140156 140155 0 0
T38 186741 186740 0 0
T39 1407 1406 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,T19,T71

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

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT19
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 827 662 0 0
selKnown1 802 637 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 827 662 0 0
T1 58 57 0 0
T2 7 6 0 0
T3 1 0 0 0
T9 1 0 0 0
T16 0 4 0 0
T23 1 0 0 0
T24 1 0 0 0
T36 1 0 0 0
T37 9 8 0 0
T38 18 17 0 0
T39 1 0 0 0
T44 0 20 0 0
T61 0 27 0 0
T63 0 69 0 0
T64 0 2 0 0
T73 0 65 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 802 637 0 0
T1 58 57 0 0
T2 7 6 0 0
T3 1 0 0 0
T9 1 0 0 0
T23 1 0 0 0
T24 1 0 0 0
T36 1 0 0 0
T37 9 8 0 0
T38 18 17 0 0
T39 1 0 0 0
T44 0 20 0 0
T61 0 27 0 0
T63 0 69 0 0
T64 0 2 0 0
T73 0 65 0 0
T76 0 21 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,T19,T71

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

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T19,T71
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 16778179 16777807 0 0
selKnown1 16778179 16777807 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 16778179 16777807 0 0
T1 504113 504112 0 0
T2 91294 91293 0 0
T3 386763 386762 0 0
T9 10858 10857 0 0
T23 128908 128908 0 0
T24 565 564 0 0
T36 22548 22547 0 0
T37 74048 74047 0 0
T38 168725 168724 0 0
T39 108 107 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 16778179 16777807 0 0
T1 504113 504112 0 0
T2 91294 91293 0 0
T3 386763 386762 0 0
T9 10858 10857 0 0
T23 128908 128908 0 0
T24 565 564 0 0
T36 22548 22547 0 0
T37 74048 74047 0 0
T38 168725 168724 0 0
T39 108 107 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,T19,T71

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

 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
-1--2-StatusTests
01CoveredT5,T19,T71
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 2234 1862 0 0
selKnown1 2071 1699 0 0


selKnown0
NameAttemptsReal SuccessesFailuresIncomplete
Total 2234 1862 0 0
T1 58 57 0 0
T2 7 6 0 0
T3 1 0 0 0
T9 1 0 0 0
T16 0 4 0 0
T23 1 0 0 0
T24 1 0 0 0
T36 1 0 0 0
T37 9 8 0 0
T38 18 17 0 0
T39 1 0 0 0
T44 0 20 0 0
T61 0 27 0 0
T63 0 69 0 0
T64 0 2 0 0
T73 0 65 0 0

selKnown1
NameAttemptsReal SuccessesFailuresIncomplete
Total 2071 1699 0 0
T1 58 57 0 0
T2 7 6 0 0
T3 1 0 0 0
T9 1 0 0 0
T23 1 0 0 0
T24 1 0 0 0
T36 1 0 0 0
T37 9 8 0 0
T38 18 17 0 0
T39 1 0 0 0
T44 0 20 0 0
T61 0 27 0 0
T63 0 69 0 0
T64 0 2 0 0
T73 0 65 0 0
T76 0 21 0 0

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