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



Module Instance : tb.dut.clkmgr_cg_io_div2_infra

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_div4_infra

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_div4_secure

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_div4_timers

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_infra

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_infra

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_secure

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_usb_infra

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_div4_peri

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_div2_peri

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_io_peri

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_usb_peri

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_aes

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_hmac

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_kmac

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.clkmgr_cg_main_otbn

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.65 100.00 93.24 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

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


Cond Coverage for Module : clkmgr_cg_en_sva_if
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10CoveredT6,T1,T7
11CoveredT6,T1,T7

Assert Coverage for Module : clkmgr_cg_en_sva_if
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
CgEnOff_A 2147483647 47825 0 0
CgEnOn_A 2147483647 38220 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 47825 0 0
T1 2030722 3 0 0
T2 1377484 3 0 0
T4 742390 39 0 0
T5 1243530 42 0 0
T6 17520 63 0 0
T7 23770 3 0 0
T10 0 46 0 0
T17 19568 32 0 0
T18 17710 4 0 0
T19 29508 3 0 0
T20 63158 7 0 0
T21 0 10 0 0
T35 0 4 0 0
T36 0 11 0 0
T44 0 10 0 0
T89 0 15 0 0
T91 0 10 0 0
T93 0 15 0 0
T116 0 6 0 0
T150 0 15 0 0
T151 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 38220 0 0
T1 2030722 0 0 0
T2 1377484 0 0 0
T3 0 142 0 0
T4 742390 0 0 0
T5 1243530 0 0 0
T6 17520 64 0 0
T7 23770 0 0 0
T10 0 401 0 0
T12 0 228 0 0
T17 19568 34 0 0
T18 17710 1 0 0
T19 29508 0 0 0
T20 63158 8 0 0
T21 0 20 0 0
T35 0 10 0 0
T36 0 18 0 0
T44 0 10 0 0
T65 0 29 0 0
T70 0 12 0 0
T72 0 19 0 0
T73 0 1 0 0
T89 0 15 0 0
T91 0 10 0 0
T93 0 15 0 0
T116 0 13 0 0
T150 0 24 0 0
T151 0 5 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div2_infra
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div2_infra
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div2_infra
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
CgEnOff_A 213227110 161 0 0
CgEnOn_A 213227110 161 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 213227110 161 0 0
T1 90220 0 0 0
T2 61193 0 0 0
T4 22309 0 0 0
T5 38671 0 0 0
T6 740 7 0 0
T7 1030 0 0 0
T10 0 1 0 0
T17 817 3 0 0
T18 771 0 0 0
T19 1290 0 0 0
T20 2780 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 213227110 161 0 0
T1 90220 0 0 0
T2 61193 0 0 0
T4 22309 0 0 0
T5 38671 0 0 0
T6 740 7 0 0
T7 1030 0 0 0
T10 0 1 0 0
T17 817 3 0 0
T18 771 0 0 0
T19 1290 0 0 0
T20 2780 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div4_infra
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div4_infra
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div4_infra
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
CgEnOff_A 106612844 161 0 0
CgEnOn_A 106612844 161 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div4_secure
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div4_secure
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div4_secure
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
CgEnOff_A 106612844 161 0 0
CgEnOn_A 106612844 161 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div4_timers
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div4_timers
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div4_timers
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
CgEnOff_A 106612844 161 0 0
CgEnOn_A 106612844 161 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 161 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 1 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_infra
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_infra
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_infra
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
CgEnOff_A 427507042 161 0 0
CgEnOn_A 427507042 159 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 427507042 161 0 0
T1 180519 0 0 0
T2 122452 0 0 0
T4 70610 0 0 0
T5 117709 0 0 0
T6 1614 7 0 0
T7 2124 0 0 0
T10 0 1 0 0
T17 1754 3 0 0
T18 1581 0 0 0
T19 2632 0 0 0
T20 5626 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 427507042 159 0 0
T1 180519 0 0 0
T2 122452 0 0 0
T4 70610 0 0 0
T5 117709 0 0 0
T6 1614 7 0 0
T7 2124 0 0 0
T10 0 1 0 0
T17 1754 3 0 0
T18 1581 0 0 0
T19 2632 0 0 0
T20 5626 0 0 0
T36 0 2 0 0
T44 0 2 0 0
T89 0 3 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 3 0 0
T151 0 1 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_infra
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_infra
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_infra
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
CgEnOff_A 455832013 147 0 0
CgEnOn_A 455832013 144 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 147 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T16 0 1 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T36 0 1 0 0
T44 0 3 0 0
T89 0 1 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 4 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 144 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T36 0 1 0 0
T44 0 3 0 0
T89 0 1 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 4 0 0
T151 0 1 0 0
T152 0 4 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_secure
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_secure
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_secure
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
CgEnOff_A 455832013 147 0 0
CgEnOn_A 455832013 144 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 147 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T16 0 1 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T36 0 1 0 0
T44 0 3 0 0
T89 0 1 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 4 0 0
T151 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 144 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T36 0 1 0 0
T44 0 3 0 0
T89 0 1 0 0
T91 0 2 0 0
T93 0 3 0 0
T150 0 4 0 0
T151 0 1 0 0
T152 0 4 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_usb_infra
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_usb_infra
TotalCoveredPercent
Conditions22100.00
Logical22100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10Unreachable
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_usb_infra
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
CgEnOff_A 218609628 167 0 0
CgEnOn_A 218609628 165 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 218609628 167 0 0
T1 90264 0 0 0
T2 61229 0 0 0
T4 35306 0 0 0
T5 58857 0 0 0
T6 725 4 0 0
T7 1062 0 0 0
T17 880 5 0 0
T18 790 0 0 0
T19 1316 0 0 0
T20 2813 0 0 0
T36 0 2 0 0
T44 0 1 0 0
T89 0 2 0 0
T91 0 3 0 0
T93 0 6 0 0
T150 0 4 0 0
T151 0 1 0 0
T152 0 3 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 218609628 165 0 0
T1 90264 0 0 0
T2 61229 0 0 0
T4 35306 0 0 0
T5 58857 0 0 0
T6 725 4 0 0
T7 1062 0 0 0
T17 880 5 0 0
T18 790 0 0 0
T19 1316 0 0 0
T20 2813 0 0 0
T36 0 2 0 0
T44 0 1 0 0
T89 0 2 0 0
T91 0 3 0 0
T93 0 6 0 0
T150 0 4 0 0
T151 0 1 0 0
T152 0 3 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div4_peri
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div4_peri
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T17,T36
10CoveredT6,T1,T7
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div4_peri
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
CgEnOff_A 106612844 7706 0 0
CgEnOn_A 106612844 5312 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 7706 0 0
T1 45110 1 0 0
T2 30597 1 0 0
T4 11154 13 0 0
T5 19337 14 0 0
T6 370 8 0 0
T7 515 1 0 0
T17 408 4 0 0
T18 386 1 0 0
T19 645 1 0 0
T20 1390 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 106612844 5312 0 0
T1 45110 0 0 0
T2 30597 0 0 0
T3 0 36 0 0
T4 11154 0 0 0
T5 19337 0 0 0
T6 370 7 0 0
T7 515 0 0 0
T10 0 99 0 0
T12 0 77 0 0
T17 408 3 0 0
T18 386 0 0 0
T19 645 0 0 0
T20 1390 0 0 0
T36 0 2 0 0
T65 0 9 0 0
T70 0 4 0 0
T72 0 7 0 0
T150 0 3 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_div2_peri
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_div2_peri
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T17,T36
10CoveredT6,T1,T7
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_div2_peri
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
CgEnOff_A 213227110 7735 0 0
CgEnOn_A 213227110 5341 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 213227110 7735 0 0
T1 90220 1 0 0
T2 61193 1 0 0
T4 22309 13 0 0
T5 38671 14 0 0
T6 740 8 0 0
T7 1030 1 0 0
T17 817 4 0 0
T18 771 1 0 0
T19 1290 1 0 0
T20 2780 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 213227110 5341 0 0
T1 90220 0 0 0
T2 61193 0 0 0
T3 0 36 0 0
T4 22309 0 0 0
T5 38671 0 0 0
T6 740 7 0 0
T7 1030 0 0 0
T10 0 99 0 0
T12 0 73 0 0
T17 817 3 0 0
T18 771 0 0 0
T19 1290 0 0 0
T20 2780 0 0 0
T36 0 2 0 0
T65 0 9 0 0
T70 0 4 0 0
T72 0 6 0 0
T150 0 3 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_io_peri
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_io_peri
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T17,T36
10CoveredT6,T1,T7
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_io_peri
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
CgEnOff_A 427507042 7755 0 0
CgEnOn_A 427507042 5359 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 427507042 7755 0 0
T1 180519 1 0 0
T2 122452 1 0 0
T4 70610 13 0 0
T5 117709 14 0 0
T6 1614 8 0 0
T7 2124 1 0 0
T17 1754 4 0 0
T18 1581 1 0 0
T19 2632 1 0 0
T20 5626 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 427507042 5359 0 0
T1 180519 0 0 0
T2 122452 0 0 0
T3 0 34 0 0
T4 70610 0 0 0
T5 117709 0 0 0
T6 1614 7 0 0
T7 2124 0 0 0
T10 0 106 0 0
T12 0 78 0 0
T17 1754 3 0 0
T18 1581 0 0 0
T19 2632 0 0 0
T20 5626 0 0 0
T36 0 2 0 0
T65 0 11 0 0
T70 0 4 0 0
T72 0 6 0 0
T150 0 3 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_usb_peri
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_usb_peri
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T17,T36
10CoveredT6,T1,T7
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_usb_peri
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
CgEnOff_A 218609628 7782 0 0
CgEnOn_A 218609628 5383 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 218609628 7782 0 0
T1 90264 1 0 0
T2 61229 1 0 0
T4 35306 13 0 0
T5 58857 14 0 0
T6 725 5 0 0
T7 1062 1 0 0
T17 880 6 0 0
T18 790 1 0 0
T19 1316 1 0 0
T20 2813 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 218609628 5383 0 0
T1 90264 0 0 0
T2 61229 0 0 0
T3 0 39 0 0
T4 35306 0 0 0
T5 58857 0 0 0
T6 725 4 0 0
T7 1062 0 0 0
T10 0 98 0 0
T12 0 81 0 0
T17 880 5 0 0
T18 790 0 0 0
T19 1316 0 0 0
T20 2813 0 0 0
T36 0 2 0 0
T65 0 9 0 0
T70 0 3 0 0
T72 0 7 0 0
T150 0 4 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_aes
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_aes
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10CoveredT18,T20,T21
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_aes
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
CgEnOff_A 455832013 3870 0 0
CgEnOn_A 455832013 3867 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3870 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 16 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 41 0 0
T17 1839 5 0 0
T18 1647 1 0 0
T19 2742 0 0 0
T20 5860 4 0 0
T21 0 10 0 0
T35 0 4 0 0
T36 0 1 0 0
T116 0 6 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3867 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 16 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 41 0 0
T17 1839 5 0 0
T18 1647 1 0 0
T19 2742 0 0 0
T20 5860 4 0 0
T21 0 10 0 0
T35 0 4 0 0
T36 0 1 0 0
T116 0 6 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_hmac
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_hmac
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10CoveredT20,T21,T35
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_hmac
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
CgEnOff_A 455832013 3912 0 0
CgEnOn_A 455832013 3909 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3912 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 20 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 51 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 4 0 0
T21 0 10 0 0
T35 0 6 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 7 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3909 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 20 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 51 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 4 0 0
T21 0 10 0 0
T35 0 6 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 7 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_kmac
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_kmac
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10CoveredT20,T21,T35
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_kmac
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
CgEnOff_A 455832013 3892 0 0
CgEnOn_A 455832013 3889 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3892 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 20 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 43 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 3 0 0
T21 0 9 0 0
T35 0 1 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3889 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 20 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 43 0 0
T17 1839 5 0 0
T18 1647 0 0 0
T19 2742 0 0 0
T20 5860 3 0 0
T21 0 9 0 0
T35 0 1 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 5 0 0

Line Coverage for Instance : tb.dut.clkmgr_cg_main_otbn
Line No.TotalCoveredPercent
TOTAL11100.00
ALWAYS2411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' or '../src/lowrisc_dv_clkmgr_sva_ifs_0.1/clkmgr_cg_en_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
24 1 1


Cond Coverage for Instance : tb.dut.clkmgr_cg_main_otbn
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       24
 EXPRESSION (ip_clk_en && sw_clk_en)
             ----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,T5
10CoveredT18,T21,T35
11CoveredT6,T1,T7

Assert Coverage for Instance : tb.dut.clkmgr_cg_main_otbn
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
CgEnOff_A 455832013 3907 0 0
CgEnOn_A 455832013 3904 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3907 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 15 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 50 0 0
T17 1839 5 0 0
T18 1647 1 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T21 0 13 0 0
T35 0 4 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 8 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 455832013 3904 0 0
T1 188046 0 0 0
T2 127558 0 0 0
T3 0 15 0 0
T4 73554 0 0 0
T5 122618 0 0 0
T6 1647 4 0 0
T7 2213 0 0 0
T10 0 50 0 0
T17 1839 5 0 0
T18 1647 1 0 0
T19 2742 0 0 0
T20 5860 0 0 0
T21 0 13 0 0
T35 0 4 0 0
T36 0 1 0 0
T73 0 1 0 0
T116 0 8 0 0

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