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
01CoveredT1,T5,T17
10CoveredT6,T7,T8
11CoveredT6,T7,T8

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 44934 0 0
CgEnOn_A 2147483647 35213 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 44934 0 0
T1 3259502 244 0 0
T2 1529610 3 0 0
T4 579224 0 0 0
T5 1061588 48 0 0
T6 3431 3 0 0
T7 16551 9 0 0
T8 14844 3 0 0
T10 0 25 0 0
T17 216052 33 0 0
T18 12676 11 0 0
T19 21492 3 0 0
T20 206828 0 0 0
T21 10028 0 0 0
T22 45696 0 0 0
T23 15548 3 0 0
T26 425925 0 0 0
T32 14655 17 0 0
T33 0 35 0 0
T34 44175 1 0 0
T60 0 5 0 0
T101 0 1 0 0
T143 0 5 0 0
T144 0 10 0 0
T145 0 10 0 0
T146 0 15 0 0
T147 0 25 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 35213 0 0
T1 3259502 263 0 0
T2 1529610 0 0 0
T4 837790 0 0 0
T5 1061588 47 0 0
T7 10800 11 0 0
T8 9512 0 0 0
T10 0 283 0 0
T17 216052 42 0 0
T18 12676 8 0 0
T19 21492 0 0 0
T20 244814 0 0 0
T21 14674 37 0 0
T22 67202 0 0 0
T23 10116 0 0 0
T26 425925 0 0 0
T32 14655 30 0 0
T33 0 63 0 0
T34 44175 5 0 0
T60 0 4 0 0
T101 0 2 0 0
T102 0 10 0 0
T103 0 3 0 0
T143 0 7 0 0
T144 0 14 0 0
T145 0 12 0 0
T146 0 17 0 0
T147 0 27 0 0
T148 0 6 0 0
T149 0 2 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 173334352 168 0 0
CgEnOn_A 173334352 168 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 173334352 168 0 0
T4 35507 0 0 0
T17 9474 3 0 0
T18 517 1 0 0
T19 991 0 0 0
T20 7130 0 0 0
T21 988 0 0 0
T22 5243 0 0 0
T26 29966 0 0 0
T32 1524 3 0 0
T33 0 6 0 0
T34 4540 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 173334352 168 0 0
T4 35507 0 0 0
T17 9474 3 0 0
T18 517 1 0 0
T19 991 0 0 0
T20 7130 0 0 0
T21 988 0 0 0
T22 5243 0 0 0
T26 29966 0 0 0
T32 1524 3 0 0
T33 0 6 0 0
T34 4540 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 86666551 168 0 0
CgEnOn_A 86666551 168 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 86666551 168 0 0
CgEnOn_A 86666551 168 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 86666551 168 0 0
CgEnOn_A 86666551 168 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 168 0 0
T4 17755 0 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 0 0 0
T22 2619 0 0 0
T26 14985 0 0 0
T32 762 3 0 0
T33 0 6 0 0
T34 2270 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 348369267 168 0 0
CgEnOn_A 348369267 160 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 348369267 168 0 0
T4 136867 0 0 0
T17 18972 3 0 0
T18 1140 1 0 0
T19 1894 0 0 0
T20 14354 0 0 0
T21 2109 0 0 0
T22 9096 0 0 0
T26 97952 0 0 0
T32 3168 3 0 0
T33 0 6 0 0
T34 9160 0 0 0
T60 0 1 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 348369267 160 0 0
T4 136867 0 0 0
T17 18972 3 0 0
T18 1140 1 0 0
T19 1894 0 0 0
T20 14354 0 0 0
T21 2109 0 0 0
T22 9096 0 0 0
T26 97952 0 0 0
T32 3168 3 0 0
T33 0 6 0 0
T34 9160 0 0 0
T143 0 1 0 0
T144 0 2 0 0
T145 0 2 0 0
T146 0 3 0 0
T147 0 5 0 0
T148 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 372807150 158 0 0
CgEnOn_A 372807150 155 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 158 0 0
T4 142574 0 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T21 2197 0 0 0
T22 9476 0 0 0
T26 102037 0 0 0
T32 3027 2 0 0
T33 0 5 0 0
T34 9542 0 0 0
T143 0 2 0 0
T144 0 4 0 0
T145 0 2 0 0
T146 0 2 0 0
T147 0 2 0 0
T148 0 4 0 0
T149 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 155 0 0
T4 142574 0 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T21 2197 0 0 0
T22 9476 0 0 0
T26 102037 0 0 0
T32 3027 2 0 0
T33 0 5 0 0
T34 9542 0 0 0
T143 0 2 0 0
T144 0 4 0 0
T145 0 2 0 0
T146 0 2 0 0
T147 0 2 0 0
T148 0 4 0 0
T149 0 2 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 372807150 158 0 0
CgEnOn_A 372807150 155 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 158 0 0
T4 142574 0 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T21 2197 0 0 0
T22 9476 0 0 0
T26 102037 0 0 0
T32 3027 2 0 0
T33 0 5 0 0
T34 9542 0 0 0
T143 0 2 0 0
T144 0 4 0 0
T145 0 2 0 0
T146 0 2 0 0
T147 0 2 0 0
T148 0 4 0 0
T149 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 155 0 0
T4 142574 0 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T21 2197 0 0 0
T22 9476 0 0 0
T26 102037 0 0 0
T32 3027 2 0 0
T33 0 5 0 0
T34 9542 0 0 0
T143 0 2 0 0
T144 0 4 0 0
T145 0 2 0 0
T146 0 2 0 0
T147 0 2 0 0
T148 0 4 0 0
T149 0 2 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
01CoveredT1,T5,T17
10Unreachable
11CoveredT6,T7,T8

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 178931655 164 0 0
CgEnOn_A 178931655 162 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 178931655 164 0 0
T4 68437 0 0 0
T17 9554 7 0 0
T18 574 0 0 0
T19 947 0 0 0
T20 12937 0 0 0
T21 1055 0 0 0
T22 4548 0 0 0
T26 48978 0 0 0
T32 1623 3 0 0
T33 0 4 0 0
T34 4581 0 0 0
T63 0 1 0 0
T143 0 1 0 0
T144 0 1 0 0
T145 0 2 0 0
T146 0 4 0 0
T147 0 3 0 0
T148 0 3 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 178931655 162 0 0
T4 68437 0 0 0
T17 9554 7 0 0
T18 574 0 0 0
T19 947 0 0 0
T20 12937 0 0 0
T21 1055 0 0 0
T22 4548 0 0 0
T26 48978 0 0 0
T32 1623 3 0 0
T33 0 4 0 0
T34 4581 0 0 0
T143 0 1 0 0
T144 0 1 0 0
T145 0 2 0 0
T146 0 4 0 0
T147 0 3 0 0
T148 0 3 0 0
T149 0 2 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
01CoveredT17,T18,T32
10CoveredT6,T7,T8
11CoveredT6,T7,T8

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 86666551 7215 0 0
CgEnOn_A 86666551 4796 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 7215 0 0
T1 926898 70 0 0
T2 59576 1 0 0
T5 34686 14 0 0
T6 368 1 0 0
T7 621 1 0 0
T8 635 1 0 0
T17 4737 4 0 0
T18 258 2 0 0
T19 496 1 0 0
T23 596 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 86666551 4796 0 0
T1 926898 60 0 0
T2 59576 0 0 0
T4 17755 0 0 0
T5 34686 11 0 0
T10 0 79 0 0
T17 4737 3 0 0
T18 258 1 0 0
T19 496 0 0 0
T20 3565 0 0 0
T21 494 11 0 0
T22 2619 0 0 0
T32 0 3 0 0
T33 0 6 0 0
T34 0 1 0 0
T103 0 1 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
01CoveredT17,T18,T32
10CoveredT6,T7,T8
11CoveredT6,T7,T8

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 173334352 7242 0 0
CgEnOn_A 173334352 4823 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 173334352 7242 0 0
T1 185381 69 0 0
T2 119152 1 0 0
T5 69372 14 0 0
T6 736 1 0 0
T7 1242 1 0 0
T8 1272 1 0 0
T17 9474 4 0 0
T18 517 2 0 0
T19 991 1 0 0
T23 1194 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 173334352 4823 0 0
T1 185381 59 0 0
T2 119152 0 0 0
T4 35507 0 0 0
T5 69372 11 0 0
T10 0 73 0 0
T17 9474 3 0 0
T18 517 1 0 0
T19 991 0 0 0
T20 7130 0 0 0
T21 988 14 0 0
T22 5243 0 0 0
T32 0 3 0 0
T33 0 6 0 0
T34 0 1 0 0
T103 0 1 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
01CoveredT17,T18,T32
10CoveredT6,T7,T8
11CoveredT6,T7,T8

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 348369267 7268 0 0
CgEnOn_A 348369267 4841 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 348369267 7268 0 0
T1 371423 65 0 0
T2 238384 1 0 0
T5 138985 12 0 0
T6 1551 1 0 0
T7 2592 1 0 0
T8 2283 1 0 0
T17 18972 4 0 0
T18 1140 2 0 0
T19 1894 1 0 0
T23 2428 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 348369267 4841 0 0
T1 371423 55 0 0
T2 238384 0 0 0
T4 136867 0 0 0
T5 138985 9 0 0
T10 0 73 0 0
T17 18972 3 0 0
T18 1140 1 0 0
T19 1894 0 0 0
T20 14354 0 0 0
T21 2109 12 0 0
T22 9096 0 0 0
T32 0 3 0 0
T33 0 6 0 0
T34 0 1 0 0
T103 0 1 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
01CoveredT17,T32,T33
10CoveredT6,T7,T8
11CoveredT6,T7,T8

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 178931655 7276 0 0
CgEnOn_A 178931655 4848 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 178931655 7276 0 0
T1 189752 68 0 0
T2 119198 1 0 0
T5 95417 14 0 0
T6 776 1 0 0
T7 1296 1 0 0
T8 1142 1 0 0
T17 9554 8 0 0
T18 574 1 0 0
T19 947 1 0 0
T23 1214 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 178931655 4848 0 0
T1 189752 58 0 0
T2 119198 0 0 0
T4 68437 0 0 0
T5 95417 11 0 0
T10 0 69 0 0
T11 0 25 0 0
T17 9554 7 0 0
T18 574 0 0 0
T19 947 0 0 0
T20 12937 0 0 0
T21 1055 10 0 0
T22 4548 0 0 0
T32 0 3 0 0
T33 0 4 0 0
T34 0 1 0 0
T103 0 1 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
01CoveredT1,T5,T17
10CoveredT7,T1,T5
11CoveredT6,T7,T8

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 372807150 3597 0 0
CgEnOn_A 372807150 3594 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3597 0 0
T1 396512 40 0 0
T2 248325 0 0 0
T5 180782 8 0 0
T7 2700 6 0 0
T8 2378 0 0 0
T10 0 25 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3594 0 0
T1 396512 40 0 0
T2 248325 0 0 0
T5 180782 8 0 0
T7 2700 6 0 0
T8 2378 0 0 0
T10 0 25 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 5 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
01CoveredT1,T5,T17
10CoveredT7,T1,T5
11CoveredT6,T7,T8

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 372807150 3630 0 0
CgEnOn_A 372807150 3627 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3630 0 0
T1 396512 49 0 0
T2 248325 0 0 0
T5 180782 8 0 0
T7 2700 5 0 0
T8 2378 0 0 0
T10 0 33 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 5 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3627 0 0
T1 396512 49 0 0
T2 248325 0 0 0
T5 180782 8 0 0
T7 2700 5 0 0
T8 2378 0 0 0
T10 0 33 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 5 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
01CoveredT1,T5,T17
10CoveredT7,T1,T5
11CoveredT6,T7,T8

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 372807150 3784 0 0
CgEnOn_A 372807150 3781 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3784 0 0
T1 396512 42 0 0
T2 248325 0 0 0
T5 180782 6 0 0
T7 2700 3 0 0
T8 2378 0 0 0
T10 0 25 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 6 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3781 0 0
T1 396512 42 0 0
T2 248325 0 0 0
T5 180782 6 0 0
T7 2700 3 0 0
T8 2378 0 0 0
T10 0 25 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T101 0 1 0 0
T102 0 6 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
01CoveredT1,T5,T17
10CoveredT7,T1,T5
11CoveredT6,T7,T8

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 372807150 3602 0 0
CgEnOn_A 372807150 3599 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3602 0 0
T1 396512 48 0 0
T2 248325 0 0 0
T5 180782 10 0 0
T7 2700 3 0 0
T8 2378 0 0 0
T10 0 28 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T102 0 7 0 0
T103 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 372807150 3599 0 0
T1 396512 48 0 0
T2 248325 0 0 0
T5 180782 10 0 0
T7 2700 3 0 0
T8 2378 0 0 0
T10 0 28 0 0
T17 20184 6 0 0
T18 1197 0 0 0
T19 1974 0 0 0
T20 26952 0 0 0
T23 2529 0 0 0
T32 0 2 0 0
T33 0 5 0 0
T34 0 1 0 0
T102 0 7 0 0
T103 0 1 0 0

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