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
01CoveredT24,T2,T29
10CoveredT5,T6,T7
11CoveredT5,T6,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 53226 0 0
CgEnOn_A 2147483647 43414 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 53226 0 0
T1 281000 3 0 0
T2 0 18 0 0
T3 486912 0 0 0
T4 186008 3 0 0
T5 2698 3 0 0
T6 13102 4 0 0
T7 35549 12 0 0
T11 1681014 0 0 0
T18 8306 12 0 0
T19 13946 3 0 0
T20 5154 31 0 0
T21 4775 3 0 0
T22 22634 11 0 0
T23 3932 0 0 0
T25 178895 0 0 0
T29 3050 18 0 0
T30 4836 0 0 0
T31 10080 0 0 0
T32 55200 0 0 0
T33 154626 0 0 0
T37 0 5 0 0
T39 0 18 0 0
T40 0 25 0 0
T100 50805 0 0 0
T132 8033 0 0 0
T139 0 10 0 0
T140 0 20 0 0
T141 0 5 0 0
T142 0 25 0 0
T143 0 5 0 0
T146 0 10 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 43414 0 0
T2 834346 64 0 0
T3 486912 0 0 0
T4 186008 0 0 0
T6 4922 1 0 0
T7 13291 9 0 0
T11 1681014 46 0 0
T12 0 62 0 0
T13 0 229 0 0
T20 5154 28 0 0
T21 4775 0 0 0
T22 22634 0 0 0
T23 10619 0 0 0
T24 63220 0 0 0
T25 178895 0 0 0
T27 6148 0 0 0
T28 7785 0 0 0
T29 5446 27 0 0
T30 4836 0 0 0
T31 10080 0 0 0
T32 55200 0 0 0
T33 154626 0 0 0
T37 0 4 0 0
T39 0 27 0 0
T40 0 25 0 0
T58 0 3 0 0
T59 0 9 0 0
T100 50805 0 0 0
T132 8033 22 0 0
T139 0 10 0 0
T140 0 20 0 0
T141 0 5 0 0
T142 0 25 0 0
T143 0 5 0 0
T144 0 5 0 0
T146 0 10 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 279009589 164 0 0
CgEnOn_A 279009589 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 279009589 164 0 0
T3 108182 0 0 0
T11 373910 0 0 0
T25 30142 0 0 0
T29 654 3 0 0
T30 1082 0 0 0
T31 2352 0 0 0
T32 10429 0 0 0
T33 24219 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 11935 0 0 0
T132 1777 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 279009589 164 0 0
T3 108182 0 0 0
T11 373910 0 0 0
T25 30142 0 0 0
T29 654 3 0 0
T30 1082 0 0 0
T31 2352 0 0 0
T32 10429 0 0 0
T33 24219 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 11935 0 0 0
T132 1777 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 139504068 164 0 0
CgEnOn_A 139504068 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 139504068 164 0 0
CgEnOn_A 139504068 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 139504068 164 0 0
CgEnOn_A 139504068 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 164 0 0
T3 54091 0 0 0
T11 186953 0 0 0
T25 15071 0 0 0
T29 327 3 0 0
T30 539 0 0 0
T31 1175 0 0 0
T32 5210 0 0 0
T33 12110 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 5967 0 0 0
T132 888 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 558717927 164 0 0
CgEnOn_A 558717927 158 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 558717927 164 0 0
T3 216457 0 0 0
T11 746245 0 0 0
T25 103540 0 0 0
T29 1415 3 0 0
T30 2137 0 0 0
T31 4203 0 0 0
T32 29141 0 0 0
T33 94077 0 0 0
T37 0 1 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 20969 0 0 0
T132 3592 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T146 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 558717927 158 0 0
T3 216457 0 0 0
T11 746245 0 0 0
T25 103540 0 0 0
T29 1415 3 0 0
T30 2137 0 0 0
T31 4203 0 0 0
T32 29141 0 0 0
T33 94077 0 0 0
T39 0 3 0 0
T40 0 5 0 0
T100 20969 0 0 0
T132 3592 0 0 0
T139 0 2 0 0
T140 0 4 0 0
T141 0 1 0 0
T142 0 5 0 0
T143 0 1 0 0
T144 0 5 0 0
T146 0 2 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 595751743 166 0 0
CgEnOn_A 595751743 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 166 0 0
T3 225483 0 0 0
T11 825363 0 0 0
T25 107858 0 0 0
T29 1572 3 0 0
T30 2226 0 0 0
T31 4378 0 0 0
T32 30356 0 0 0
T33 98001 0 0 0
T39 0 3 0 0
T40 0 3 0 0
T56 0 1 0 0
T100 21843 0 0 0
T132 3742 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 164 0 0
T3 225483 0 0 0
T11 825363 0 0 0
T25 107858 0 0 0
T29 1572 3 0 0
T30 2226 0 0 0
T31 4378 0 0 0
T32 30356 0 0 0
T33 98001 0 0 0
T39 0 3 0 0
T40 0 3 0 0
T100 21843 0 0 0
T132 3742 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 5 0 0
T145 0 3 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 595751743 166 0 0
CgEnOn_A 595751743 164 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 166 0 0
T3 225483 0 0 0
T11 825363 0 0 0
T25 107858 0 0 0
T29 1572 3 0 0
T30 2226 0 0 0
T31 4378 0 0 0
T32 30356 0 0 0
T33 98001 0 0 0
T39 0 3 0 0
T40 0 3 0 0
T56 0 1 0 0
T100 21843 0 0 0
T132 3742 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 164 0 0
T3 225483 0 0 0
T11 825363 0 0 0
T25 107858 0 0 0
T29 1572 3 0 0
T30 2226 0 0 0
T31 4378 0 0 0
T32 30356 0 0 0
T33 98001 0 0 0
T39 0 3 0 0
T40 0 3 0 0
T100 21843 0 0 0
T132 3742 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 5 0 0
T145 0 3 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
01CoveredT24,T2,T29
10Unreachable
11CoveredT5,T6,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 285945322 157 0 0
CgEnOn_A 285945322 154 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 285945322 157 0 0
T3 108233 0 0 0
T11 390420 0 0 0
T25 51772 0 0 0
T29 747 4 0 0
T30 1069 0 0 0
T31 2101 0 0 0
T32 14571 0 0 0
T33 47041 0 0 0
T39 0 2 0 0
T40 0 5 0 0
T100 10484 0 0 0
T132 1796 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 4 0 0
T145 0 3 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 285945322 154 0 0
T3 108233 0 0 0
T11 390420 0 0 0
T25 51772 0 0 0
T29 747 4 0 0
T30 1069 0 0 0
T31 2101 0 0 0
T32 14571 0 0 0
T33 47041 0 0 0
T39 0 2 0 0
T40 0 5 0 0
T100 10484 0 0 0
T132 1796 0 0 0
T139 0 3 0 0
T140 0 3 0 0
T141 0 1 0 0
T142 0 6 0 0
T143 0 1 0 0
T144 0 4 0 0
T145 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
01CoveredT29,T39,T40
10CoveredT5,T6,T7
11CoveredT5,T6,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 139504068 8581 0 0
CgEnOn_A 139504068 6137 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 8581 0 0
T1 25159 1 0 0
T4 18252 1 0 0
T5 388 1 0 0
T6 1151 1 0 0
T7 3166 1 0 0
T18 729 1 0 0
T19 1239 1 0 0
T20 437 11 0 0
T21 451 1 0 0
T22 2020 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 139504068 6137 0 0
T2 119191 15 0 0
T4 18252 0 0 0
T11 0 6 0 0
T12 0 19 0 0
T13 0 80 0 0
T20 437 10 0 0
T21 451 0 0 0
T22 2020 0 0 0
T23 971 0 0 0
T24 7863 0 0 0
T27 865 0 0 0
T28 1109 0 0 0
T29 327 3 0 0
T39 0 3 0 0
T58 0 1 0 0
T59 0 3 0 0
T132 0 7 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
01CoveredT29,T39,T40
10CoveredT5,T6,T7
11CoveredT5,T6,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 279009589 8643 0 0
CgEnOn_A 279009589 6199 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 279009589 8643 0 0
T1 50319 1 0 0
T4 36504 1 0 0
T5 778 1 0 0
T6 2303 1 0 0
T7 6333 1 0 0
T18 1459 1 0 0
T19 2479 1 0 0
T20 874 10 0 0
T21 902 1 0 0
T22 4040 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 279009589 6199 0 0
T2 238386 16 0 0
T4 36504 0 0 0
T11 0 6 0 0
T12 0 22 0 0
T13 0 74 0 0
T20 874 9 0 0
T21 902 0 0 0
T22 4040 0 0 0
T23 1942 0 0 0
T24 15722 0 0 0
T27 1730 0 0 0
T28 2217 0 0 0
T29 654 3 0 0
T39 0 3 0 0
T58 0 1 0 0
T59 0 3 0 0
T132 0 8 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
01CoveredT29,T39,T40
10CoveredT5,T6,T7
11CoveredT5,T6,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 558717927 8662 0 0
CgEnOn_A 558717927 6212 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 558717927 8662 0 0
T1 100662 1 0 0
T4 73102 1 0 0
T5 1532 1 0 0
T6 4726 1 0 0
T7 12759 1 0 0
T18 2997 1 0 0
T19 5010 1 0 0
T20 1882 10 0 0
T21 1676 1 0 0
T22 8118 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 558717927 6212 0 0
T2 476769 15 0 0
T4 73102 0 0 0
T11 0 6 0 0
T12 0 21 0 0
T13 0 75 0 0
T20 1882 9 0 0
T21 1676 0 0 0
T22 8118 0 0 0
T23 3774 0 0 0
T24 39635 0 0 0
T27 3553 0 0 0
T28 4459 0 0 0
T29 1415 3 0 0
T39 0 3 0 0
T58 0 1 0 0
T59 0 3 0 0
T132 0 7 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
01CoveredT29,T39,T40
10CoveredT5,T6,T7
11CoveredT5,T6,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 285945322 8674 0 0
CgEnOn_A 285945322 6221 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 285945322 8674 0 0
T1 50333 1 0 0
T4 30793 1 0 0
T5 766 1 0 0
T6 2363 1 0 0
T7 6379 1 0 0
T18 1498 1 0 0
T19 2504 1 0 0
T20 941 10 0 0
T21 838 1 0 0
T22 4058 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 285945322 6221 0 0
T2 278717 17 0 0
T4 30793 0 0 0
T11 0 6 0 0
T12 0 21 0 0
T13 0 72 0 0
T20 941 9 0 0
T21 838 0 0 0
T22 4058 0 0 0
T23 1887 0 0 0
T24 19819 0 0 0
T27 1777 0 0 0
T28 2230 0 0 0
T29 747 4 0 0
T39 0 2 0 0
T58 0 1 0 0
T59 0 2 0 0
T132 0 8 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
01CoveredT24,T2,T29
10CoveredT6,T7,T18
11CoveredT5,T6,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 595751743 4325 0 0
CgEnOn_A 595751743 4323 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4325 0 0
T1 104860 0 0 0
T2 0 18 0 0
T4 58150 0 0 0
T6 4922 1 0 0
T7 13291 9 0 0
T11 0 28 0 0
T18 3121 9 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 8 0 0
T23 3932 0 0 0
T28 0 11 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 6 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4323 0 0
T1 104860 0 0 0
T2 0 18 0 0
T4 58150 0 0 0
T6 4922 1 0 0
T7 13291 9 0 0
T11 0 28 0 0
T18 3121 9 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 8 0 0
T23 3932 0 0 0
T28 0 11 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 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
01CoveredT24,T2,T29
10CoveredT6,T7,T18
11CoveredT5,T6,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 595751743 4396 0 0
CgEnOn_A 595751743 4394 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4396 0 0
T1 104860 0 0 0
T2 0 24 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 11 0 0
T11 0 27 0 0
T18 3121 5 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 7 0 0
T23 3932 0 0 0
T28 0 7 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 10 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4394 0 0
T1 104860 0 0 0
T2 0 24 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 11 0 0
T11 0 27 0 0
T18 3121 5 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 7 0 0
T23 3932 0 0 0
T28 0 7 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 10 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
01CoveredT24,T2,T29
10CoveredT6,T7,T18
11CoveredT5,T6,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 595751743 4322 0 0
CgEnOn_A 595751743 4320 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4322 0 0
T1 104860 0 0 0
T2 0 16 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 10 0 0
T11 0 28 0 0
T18 3121 10 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 11 0 0
T23 3932 0 0 0
T28 0 8 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 7 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4320 0 0
T1 104860 0 0 0
T2 0 16 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 10 0 0
T11 0 28 0 0
T18 3121 10 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 11 0 0
T23 3932 0 0 0
T28 0 8 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 7 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
01CoveredT24,T2,T29
10CoveredT6,T7,T18
11CoveredT5,T6,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 595751743 4314 0 0
CgEnOn_A 595751743 4312 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4314 0 0
T1 104860 0 0 0
T2 0 12 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 5 0 0
T11 0 25 0 0
T18 3121 7 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 8 0 0
T23 3932 0 0 0
T28 0 10 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 10 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 595751743 4312 0 0
T1 104860 0 0 0
T2 0 12 0 0
T4 58150 0 0 0
T6 4922 2 0 0
T7 13291 5 0 0
T11 0 25 0 0
T18 3121 7 0 0
T19 5218 0 0 0
T20 1961 0 0 0
T21 1746 0 0 0
T22 8456 8 0 0
T23 3932 0 0 0
T28 0 10 0 0
T29 0 3 0 0
T39 0 3 0 0
T101 0 10 0 0

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