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,T15,T32
10CoveredT1,T5,T4
11CoveredT1,T5,T4

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 49066 0 0
CgEnOn_A 2147483647 39601 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 49066 0 0
T1 5950824 64 0 0
T2 2558867 0 0 0
T3 3231304 0 0 0
T4 933025 3 0 0
T5 15049 3 0 0
T15 187004 303 0 0
T16 22196 3 0 0
T17 13089 3 0 0
T18 27852 7 0 0
T19 12756 3 0 0
T20 31362 3 0 0
T21 8622 3 0 0
T31 50960 8 0 0
T32 6549 17 0 0
T33 0 5 0 0
T34 0 25 0 0
T38 11787 0 0 0
T51 16874 0 0 0
T52 0 5 0 0
T56 0 5 0 0
T57 0 5 0 0
T59 18367 0 0 0
T60 9068 0 0 0
T103 8368 0 0 0
T104 41348 0 0 0
T154 0 10 0 0
T155 0 10 0 0
T156 0 15 0 0
T157 0 10 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 39601 0 0
T1 5950824 13 0 0
T2 2558867 53 0 0
T3 3231304 99 0 0
T4 933025 0 0 0
T5 15049 0 0 0
T9 0 93 0 0
T15 187004 0 0 0
T16 22196 0 0 0
T17 13089 0 0 0
T18 27852 2 0 0
T19 12756 0 0 0
T20 31362 0 0 0
T21 8622 0 0 0
T31 50960 0 0 0
T32 6549 21 0 0
T33 0 5 0 0
T34 0 25 0 0
T38 11787 0 0 0
T51 16874 0 0 0
T52 0 5 0 0
T56 0 5 0 0
T57 0 4 0 0
T59 18367 0 0 0
T60 9068 0 0 0
T61 0 1 0 0
T63 0 9 0 0
T103 8368 0 0 0
T104 41348 0 0 0
T154 0 10 0 0
T155 0 10 0 0
T156 0 15 0 0
T157 0 10 0 0
T158 0 2 0 0
T161 0 14 0 0
T162 0 13 0 0
T163 0 15 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,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 231704379 142 0 0
CgEnOn_A 231704379 142 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231704379 142 0 0
T2 605388 0 0 0
T3 139039 0 0 0
T31 5258 0 0 0
T32 658 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 1255 0 0 0
T51 1726 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 1919 0 0 0
T60 989 0 0 0
T103 870 0 0 0
T104 4648 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231704379 142 0 0
T2 605388 0 0 0
T3 139039 0 0 0
T31 5258 0 0 0
T32 658 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 1255 0 0 0
T51 1726 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 1919 0 0 0
T60 989 0 0 0
T103 870 0 0 0
T104 4648 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 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
01CoveredT1,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 115851573 142 0 0
CgEnOn_A 115851573 142 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 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
01CoveredT1,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 115851573 142 0 0
CgEnOn_A 115851573 142 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 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
01CoveredT1,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 115851573 142 0 0
CgEnOn_A 115851573 142 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 142 0 0
T2 302694 0 0 0
T3 695192 0 0 0
T31 2629 0 0 0
T32 329 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 626 0 0 0
T51 863 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 960 0 0 0
T60 493 0 0 0
T103 434 0 0 0
T104 2324 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 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
01CoveredT1,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 465028000 142 0 0
CgEnOn_A 465028000 139 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 465028000 142 0 0
T2 121158 0 0 0
T3 279039 0 0 0
T31 10553 0 0 0
T32 1368 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2415 0 0 0
T51 3505 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T57 0 1 0 0
T59 3787 0 0 0
T60 1842 0 0 0
T103 1729 0 0 0
T104 8296 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 465028000 139 0 0
T2 121158 0 0 0
T3 279039 0 0 0
T31 10553 0 0 0
T32 1368 3 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2415 0 0 0
T51 3505 0 0 0
T52 0 1 0 0
T56 0 1 0 0
T59 3787 0 0 0
T60 1842 0 0 0
T103 1729 0 0 0
T104 8296 0 0 0
T154 0 2 0 0
T155 0 2 0 0
T156 0 3 0 0
T157 0 2 0 0
T158 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,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 494933814 144 0 0
CgEnOn_A 494933814 143 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 144 0 0
T2 137610 0 0 0
T3 293198 1 0 0
T31 10993 0 0 0
T32 1435 2 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2516 0 0 0
T51 3651 0 0 0
T59 3944 0 0 0
T60 1919 0 0 0
T103 1801 0 0 0
T104 8642 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 3 0 0
T158 0 2 0 0
T159 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 143 0 0
T2 137610 0 0 0
T3 293198 1 0 0
T31 10993 0 0 0
T32 1435 2 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2516 0 0 0
T51 3651 0 0 0
T59 3944 0 0 0
T60 1919 0 0 0
T103 1801 0 0 0
T104 8642 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 3 0 0
T158 0 2 0 0
T159 0 1 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,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 494933814 144 0 0
CgEnOn_A 494933814 143 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 144 0 0
T2 137610 0 0 0
T3 293198 1 0 0
T31 10993 0 0 0
T32 1435 2 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2516 0 0 0
T51 3651 0 0 0
T59 3944 0 0 0
T60 1919 0 0 0
T103 1801 0 0 0
T104 8642 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 3 0 0
T158 0 2 0 0
T159 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 143 0 0
T2 137610 0 0 0
T3 293198 1 0 0
T31 10993 0 0 0
T32 1435 2 0 0
T33 0 1 0 0
T34 0 5 0 0
T38 2516 0 0 0
T51 3651 0 0 0
T59 3944 0 0 0
T60 1919 0 0 0
T103 1801 0 0 0
T104 8642 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 3 0 0
T158 0 2 0 0
T159 0 1 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,T15,T32
10Unreachable
11CoveredT1,T5,T4

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 237458420 153 0 0
CgEnOn_A 237458420 153 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 237458420 153 0 0
T2 649019 0 0 0
T3 141254 0 0 0
T31 5276 0 0 0
T32 666 4 0 0
T33 0 2 0 0
T34 0 5 0 0
T35 0 1 0 0
T38 1207 0 0 0
T51 1752 0 0 0
T59 1893 0 0 0
T60 920 0 0 0
T103 865 0 0 0
T104 4148 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 4 0 0
T158 0 2 0 0
T160 0 6 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 237458420 153 0 0
T2 649019 0 0 0
T3 141254 0 0 0
T31 5276 0 0 0
T32 666 4 0 0
T33 0 2 0 0
T34 0 5 0 0
T35 0 1 0 0
T38 1207 0 0 0
T51 1752 0 0 0
T59 1893 0 0 0
T60 920 0 0 0
T103 865 0 0 0
T104 4148 0 0 0
T154 0 3 0 0
T155 0 1 0 0
T156 0 5 0 0
T157 0 4 0 0
T158 0 2 0 0
T160 0 6 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
01CoveredT32,T33,T34
10CoveredT1,T5,T4
11CoveredT1,T5,T4

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 115851573 7666 0 0
CgEnOn_A 115851573 5304 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 7666 0 0
T1 220215 15 0 0
T4 35062 1 0 0
T5 632 1 0 0
T15 5439 101 0 0
T16 838 1 0 0
T17 504 1 0 0
T18 1077 2 0 0
T19 525 1 0 0
T20 1192 1 0 0
T21 329 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 115851573 5304 0 0
T1 220215 6 0 0
T2 0 27 0 0
T3 0 47 0 0
T4 35062 0 0 0
T5 632 0 0 0
T9 0 45 0 0
T15 5439 0 0 0
T16 838 0 0 0
T17 504 0 0 0
T18 1077 1 0 0
T19 525 0 0 0
T20 1192 0 0 0
T21 329 0 0 0
T32 0 3 0 0
T63 0 5 0 0
T161 0 7 0 0
T162 0 6 0 0
T163 0 15 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
01CoveredT32,T33,T34
10CoveredT1,T5,T4
11CoveredT1,T5,T4

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 231704379 7712 0 0
CgEnOn_A 231704379 5350 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231704379 7712 0 0
T1 440432 16 0 0
T4 70123 1 0 0
T5 1269 1 0 0
T15 10887 101 0 0
T16 1676 1 0 0
T17 1010 1 0 0
T18 2153 2 0 0
T19 1052 1 0 0
T20 2384 1 0 0
T21 659 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231704379 5350 0 0
T1 440432 7 0 0
T2 0 26 0 0
T3 0 52 0 0
T4 70123 0 0 0
T5 1269 0 0 0
T9 0 48 0 0
T15 10887 0 0 0
T16 1676 0 0 0
T17 1010 0 0 0
T18 2153 1 0 0
T19 1052 0 0 0
T20 2384 0 0 0
T21 659 0 0 0
T32 0 3 0 0
T61 0 1 0 0
T63 0 4 0 0
T161 0 7 0 0
T162 0 7 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
01CoveredT32,T33,T34
10CoveredT1,T5,T4
11CoveredT1,T5,T4

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 465028000 7717 0 0
CgEnOn_A 465028000 5352 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 465028000 7717 0 0
T1 881357 15 0 0
T4 140326 1 0 0
T5 2320 1 0 0
T15 30118 101 0 0
T16 3473 1 0 0
T17 2042 1 0 0
T18 4345 2 0 0
T19 1973 1 0 0
T20 4903 1 0 0
T21 1348 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 465028000 5352 0 0
T1 881357 6 0 0
T2 0 28 0 0
T3 0 50 0 0
T4 140326 0 0 0
T5 2320 0 0 0
T9 0 45 0 0
T15 30118 0 0 0
T16 3473 0 0 0
T17 2042 0 0 0
T18 4345 1 0 0
T19 1973 0 0 0
T20 4903 0 0 0
T21 1348 0 0 0
T32 0 3 0 0
T61 0 1 0 0
T63 0 5 0 0
T161 0 8 0 0
T162 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
01CoveredT32,T35,T33
10CoveredT1,T5,T4
11CoveredT1,T5,T4

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 237458420 7746 0 0
CgEnOn_A 237458420 5379 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 237458420 7746 0 0
T1 472380 16 0 0
T4 78806 1 0 0
T5 1160 1 0 0
T15 15060 101 0 0
T16 1737 1 0 0
T17 1021 1 0 0
T18 2173 2 0 0
T19 986 1 0 0
T20 2451 1 0 0
T21 674 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 237458420 5379 0 0
T1 472380 7 0 0
T2 0 26 0 0
T3 0 45 0 0
T4 78806 0 0 0
T5 1160 0 0 0
T9 0 43 0 0
T15 15060 0 0 0
T16 1737 0 0 0
T17 1021 0 0 0
T18 2173 1 0 0
T19 986 0 0 0
T20 2451 0 0 0
T21 674 0 0 0
T32 0 4 0 0
T61 0 1 0 0
T63 0 5 0 0
T161 0 9 0 0
T162 0 6 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,T15,T32
10CoveredT1,T18,T31
11CoveredT1,T5,T4

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 494933814 4215 0 0
CgEnOn_A 494933814 4214 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4215 0 0
T1 984110 18 0 0
T2 0 19 0 0
T3 0 53 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 61 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 0 0 0
T21 1403 0 0 0
T31 0 8 0 0
T32 0 2 0 0
T51 0 11 0 0
T61 0 1 0 0
T105 0 12 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4214 0 0
T1 984110 18 0 0
T2 0 19 0 0
T3 0 53 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 61 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 0 0 0
T21 1403 0 0 0
T31 0 8 0 0
T32 0 2 0 0
T51 0 11 0 0
T61 0 1 0 0
T105 0 12 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,T15,T32
10CoveredT1,T18,T20
11CoveredT1,T5,T4

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 494933814 4230 0 0
CgEnOn_A 494933814 4229 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4230 0 0
T1 984110 23 0 0
T2 0 23 0 0
T3 0 56 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 51 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 1 0 0
T21 1403 0 0 0
T31 0 9 0 0
T32 0 2 0 0
T51 0 8 0 0
T61 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4229 0 0
T1 984110 23 0 0
T2 0 23 0 0
T3 0 56 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 51 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 1 0 0
T21 1403 0 0 0
T31 0 9 0 0
T32 0 2 0 0
T51 0 8 0 0
T61 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,T15,T32
10CoveredT1,T18,T20
11CoveredT1,T5,T4

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 494933814 4333 0 0
CgEnOn_A 494933814 4332 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4333 0 0
T1 984110 24 0 0
T2 0 16 0 0
T3 0 59 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 54 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 1 0 0
T21 1403 0 0 0
T31 0 9 0 0
T32 0 2 0 0
T51 0 7 0 0
T61 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4332 0 0
T1 984110 24 0 0
T2 0 16 0 0
T3 0 59 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 54 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 1 0 0
T21 1403 0 0 0
T31 0 9 0 0
T32 0 2 0 0
T51 0 7 0 0
T61 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,T15,T32
10CoveredT1,T18,T20
11CoveredT1,T5,T4

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 494933814 4296 0 0
CgEnOn_A 494933814 4295 0 0


CgEnOff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4296 0 0
T1 984110 30 0 0
T2 0 29 0 0
T3 0 52 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 59 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 2 0 0
T21 1403 0 0 0
T31 0 7 0 0
T32 0 2 0 0
T51 0 9 0 0
T61 0 1 0 0

CgEnOn_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 494933814 4295 0 0
T1 984110 30 0 0
T2 0 29 0 0
T3 0 52 0 0
T4 152177 0 0 0
T5 2417 0 0 0
T9 0 59 0 0
T15 31375 0 0 0
T16 3618 0 0 0
T17 2128 0 0 0
T18 4526 1 0 0
T19 2055 0 0 0
T20 5108 2 0 0
T21 1403 0 0 0
T31 0 7 0 0
T32 0 2 0 0
T51 0 9 0 0
T61 0 1 0 0

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