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,T2,T3
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 50926 0 0
CgEnOn_A 2147483647 41641 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 50926 0 0
T1 1053162 293 0 0
T3 2029817 109 0 0
T4 127805 3 0 0
T6 13454 3 0 0
T7 5060 3 0 0
T17 6853 3 0 0
T18 6891 10 0 0
T19 58918 3 0 0
T20 10023 3 0 0
T21 3561 3 0 0
T22 10124 7 0 0
T23 2513 0 0 0
T29 77733 0 0 0
T30 75594 0 0 0
T38 0 5 0 0
T40 8671 14 0 0
T41 4497 15 0 0
T42 0 10 0 0
T77 4432 0 0 0
T78 40924 0 0 0
T87 0 3 0 0
T152 13237 0 0 0
T180 0 10 0 0
T181 0 15 0 0
T182 0 15 0 0
T183 0 5 0 0
T184 0 5 0 0
T190 5535 0 0 0
T191 8801 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 41641 0 0
T1 620342 281 0 0
T2 0 199 0 0
T3 1888722 500 0 0
T4 26232 0 0 0
T7 1302 0 0 0
T17 1978 0 0 0
T18 1830 7 0 0
T19 17222 0 0 0
T20 2712 0 0 0
T21 898 0 0 0
T22 2691 4 0 0
T23 1898 0 0 0
T29 43171 0 0 0
T30 31265 0 0 0
T38 0 5 0 0
T40 8671 20 0 0
T41 4497 24 0 0
T42 0 10 0 0
T43 0 4 0 0
T73 0 2 0 0
T77 2498 0 0 0
T78 22820 11 0 0
T87 0 3 0 0
T114 4601 0 0 0
T152 13237 0 0 0
T180 0 10 0 0
T181 0 15 0 0
T182 0 15 0 0
T183 0 5 0 0
T184 0 5 0 0
T185 0 2 0 0
T188 0 22 0 0
T190 3054 7 0 0
T191 5196 0 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,T2,T3
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 261294892 136 0 0
CgEnOn_A 261294892 136 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 261294892 136 0 0
T3 755490 2 0 0
T29 17269 0 0 0
T30 12506 0 0 0
T38 0 1 0 0
T40 1921 2 0 0
T41 994 3 0 0
T42 0 2 0 0
T77 1001 0 0 0
T78 9128 0 0 0
T152 3086 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 1221 0 0 0
T191 2082 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 261294892 136 0 0
T3 755490 2 0 0
T29 17269 0 0 0
T30 12506 0 0 0
T38 0 1 0 0
T40 1921 2 0 0
T41 994 3 0 0
T42 0 2 0 0
T77 1001 0 0 0
T78 9128 0 0 0
T152 3086 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 1221 0 0 0
T191 2082 0 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,T2,T3
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 130646752 136 0 0
CgEnOn_A 130646752 136 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 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,T2,T3
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 130646752 136 0 0
CgEnOn_A 130646752 136 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 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,T2,T3
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 130646752 136 0 0
CgEnOn_A 130646752 136 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 136 0 0
T3 377744 2 0 0
T29 8634 0 0 0
T30 6253 0 0 0
T38 0 1 0 0
T40 961 2 0 0
T41 497 3 0 0
T42 0 2 0 0
T77 499 0 0 0
T78 4564 0 0 0
T152 1542 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 611 0 0 0
T191 1038 0 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,T2,T3
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 520093574 136 0 0
CgEnOn_A 520093574 130 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 520093574 136 0 0
T3 141095 2 0 0
T29 34562 0 0 0
T30 44329 0 0 0
T38 0 1 0 0
T40 3867 2 0 0
T41 2012 3 0 0
T42 0 2 0 0
T77 1934 0 0 0
T78 18104 0 0 0
T152 5525 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T190 2481 0 0 0
T191 3605 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 520093574 130 0 0
T10 625252 0 0 0
T34 7811 0 0 0
T38 0 1 0 0
T40 3867 2 0 0
T41 2012 3 0 0
T42 0 2 0 0
T114 4601 0 0 0
T152 5525 0 0 0
T153 9256 0 0 0
T154 5308 0 0 0
T180 0 2 0 0
T181 0 3 0 0
T182 0 3 0 0
T183 0 1 0 0
T184 0 1 0 0
T185 0 2 0 0
T188 4630 0 0 0
T189 5087 0 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,T2,T3
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 552758290 137 0 0
CgEnOn_A 552758290 133 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 137 0 0
T2 461609 1 0 0
T3 148044 0 0 0
T29 48004 0 0 0
T30 46177 0 0 0
T38 0 1 0 0
T40 0 4 0 0
T41 0 3 0 0
T42 0 2 0 0
T74 2138 0 0 0
T75 1246 0 0 0
T76 3908 0 0 0
T77 2014 0 0 0
T78 18860 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 3 0 0
T190 2585 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 133 0 0
T10 747323 0 0 0
T34 8138 0 0 0
T38 0 1 0 0
T40 4340 4 0 0
T41 2072 3 0 0
T42 0 2 0 0
T114 4793 0 0 0
T152 5755 0 0 0
T153 9642 0 0 0
T154 5529 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 3 0 0
T186 0 3 0 0
T188 4823 0 0 0
T189 5300 0 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,T2,T3
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 552758290 137 0 0
CgEnOn_A 552758290 133 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 137 0 0
T2 461609 1 0 0
T3 148044 0 0 0
T29 48004 0 0 0
T30 46177 0 0 0
T38 0 1 0 0
T40 0 4 0 0
T41 0 3 0 0
T42 0 2 0 0
T74 2138 0 0 0
T75 1246 0 0 0
T76 3908 0 0 0
T77 2014 0 0 0
T78 18860 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 3 0 0
T190 2585 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 133 0 0
T10 747323 0 0 0
T34 8138 0 0 0
T38 0 1 0 0
T40 4340 4 0 0
T41 2072 3 0 0
T42 0 2 0 0
T114 4793 0 0 0
T152 5755 0 0 0
T153 9642 0 0 0
T154 5529 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 3 0 0
T186 0 3 0 0
T188 4823 0 0 0
T189 5300 0 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,T2,T3
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 265272145 132 0 0
CgEnOn_A 265272145 131 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 265272145 132 0 0
T10 350079 0 0 0
T34 3906 0 0 0
T40 1976 2 0 0
T41 947 3 0 0
T42 0 3 0 0
T114 2300 0 0 0
T152 2762 0 0 0
T153 4628 0 0 0
T154 2654 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 2 0 0
T186 0 2 0 0
T187 0 2 0 0
T188 2315 0 0 0
T189 2543 0 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 265272145 131 0 0
T10 350079 0 0 0
T34 3906 0 0 0
T40 1976 2 0 0
T41 947 3 0 0
T42 0 3 0 0
T114 2300 0 0 0
T152 2762 0 0 0
T153 4628 0 0 0
T154 2654 0 0 0
T180 0 2 0 0
T181 0 5 0 0
T182 0 3 0 0
T184 0 1 0 0
T185 0 2 0 0
T186 0 2 0 0
T187 0 2 0 0
T188 2315 0 0 0
T189 2543 0 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
01CoveredT40,T41,T42
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 130646752 8123 0 0
CgEnOn_A 130646752 5813 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 8123 0 0
T1 516951 86 0 0
T4 8744 1 0 0
T6 2021 1 0 0
T7 434 1 0 0
T17 658 1 0 0
T18 610 1 0 0
T19 5740 1 0 0
T20 904 1 0 0
T21 299 1 0 0
T22 897 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 130646752 5813 0 0
T1 516951 82 0 0
T2 0 55 0 0
T3 0 132 0 0
T4 8744 0 0 0
T7 434 0 0 0
T17 658 0 0 0
T18 610 0 0 0
T19 5740 0 0 0
T20 904 0 0 0
T21 299 0 0 0
T22 897 1 0 0
T23 632 0 0 0
T40 0 2 0 0
T41 0 3 0 0
T43 0 1 0 0
T78 0 2 0 0
T188 0 8 0 0
T190 0 2 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
01CoveredT40,T41,T42
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 261294892 8199 0 0
CgEnOn_A 261294892 5889 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 261294892 8199 0 0
T1 103391 83 0 0
T4 17488 1 0 0
T6 4042 1 0 0
T7 868 1 0 0
T17 1320 1 0 0
T18 1220 1 0 0
T19 11482 1 0 0
T20 1808 1 0 0
T21 599 1 0 0
T22 1794 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 261294892 5889 0 0
T1 103391 79 0 0
T2 0 58 0 0
T3 0 131 0 0
T4 17488 0 0 0
T7 868 0 0 0
T17 1320 0 0 0
T18 1220 0 0 0
T19 11482 0 0 0
T20 1808 0 0 0
T21 599 0 0 0
T22 1794 1 0 0
T23 1266 0 0 0
T40 0 2 0 0
T41 0 3 0 0
T43 0 1 0 0
T78 0 2 0 0
T188 0 7 0 0
T190 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
01CoveredT40,T41,T42
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 520093574 8217 0 0
CgEnOn_A 520093574 5901 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 520093574 8217 0 0
T1 207582 85 0 0
T4 35055 1 0 0
T6 7391 1 0 0
T7 1841 1 0 0
T17 2388 1 0 0
T18 2479 1 0 0
T19 20422 1 0 0
T20 3581 1 0 0
T21 1304 1 0 0
T22 3640 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 520093574 5901 0 0
T1 207582 81 0 0
T2 0 56 0 0
T3 0 130 0 0
T4 35055 0 0 0
T7 1841 0 0 0
T17 2388 0 0 0
T18 2479 0 0 0
T19 20422 0 0 0
T20 3581 0 0 0
T21 1304 0 0 0
T22 3640 1 0 0
T23 2412 0 0 0
T40 0 2 0 0
T41 0 3 0 0
T43 0 1 0 0
T78 0 2 0 0
T188 0 7 0 0
T190 0 2 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
01CoveredT40,T41,T42
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 265272145 8201 0 0
CgEnOn_A 265272145 5883 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 265272145 8201 0 0
T1 107252 85 0 0
T4 31928 1 0 0
T6 3696 1 0 0
T7 920 1 0 0
T17 1194 1 0 0
T18 1239 1 0 0
T19 10212 1 0 0
T20 1790 1 0 0
T21 652 1 0 0
T22 1820 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 265272145 5883 0 0
T1 107252 81 0 0
T2 0 59 0 0
T3 0 130 0 0
T4 31928 0 0 0
T7 920 0 0 0
T17 1194 0 0 0
T18 1239 0 0 0
T19 10212 0 0 0
T20 1790 0 0 0
T21 652 0 0 0
T22 1820 1 0 0
T23 1206 0 0 0
T40 0 2 0 0
T41 0 3 0 0
T43 0 1 0 0
T78 0 2 0 0
T188 0 6 0 0
T190 0 2 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,T2,T3
10CoveredT1,T18,T22
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 552758290 4174 0 0
CgEnOn_A 552758290 4170 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4174 0 0
T1 225238 39 0 0
T2 0 31 0 0
T3 0 99 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 7 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 2 0 0
T78 0 5 0 0
T87 0 3 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4170 0 0
T1 225238 39 0 0
T2 0 30 0 0
T3 0 99 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 7 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 2 0 0
T78 0 5 0 0
T87 0 3 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,T2,T3
10CoveredT1,T18,T22
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 552758290 4330 0 0
CgEnOn_A 552758290 4326 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4330 0 0
T1 225238 34 0 0
T2 0 38 0 0
T3 0 98 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 9 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 5 0 0
T87 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4326 0 0
T1 225238 34 0 0
T2 0 37 0 0
T3 0 98 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 9 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 5 0 0
T87 0 1 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,T2,T3
10CoveredT1,T18,T22
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 552758290 4271 0 0
CgEnOn_A 552758290 4267 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4271 0 0
T1 225238 37 0 0
T2 0 37 0 0
T3 0 92 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 8 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 4 0 0
T87 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4267 0 0
T1 225238 37 0 0
T2 0 36 0 0
T3 0 92 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 8 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 4 0 0
T87 0 1 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,T2,T3
10CoveredT1,T18,T22
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 552758290 4325 0 0
CgEnOn_A 552758290 4321 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4325 0 0
T1 225238 38 0 0
T2 0 36 0 0
T3 0 103 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 11 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 3 0 0
T87 0 3 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 552758290 4321 0 0
T1 225238 38 0 0
T2 0 35 0 0
T3 0 103 0 0
T4 66518 0 0 0
T7 1917 0 0 0
T17 2487 0 0 0
T18 2582 11 0 0
T19 21274 0 0 0
T20 3730 0 0 0
T21 1359 0 0 0
T22 3793 1 0 0
T23 2513 0 0 0
T40 0 4 0 0
T43 0 1 0 0
T73 0 3 0 0
T78 0 3 0 0
T87 0 3 0 0

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