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

Module : rstmgr_cascading_sva_if
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_rstmgr_sva_ifs_0.1/rstmgr_cascading_sva_if.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.rstmgr_cascading_sva_if 100.00 100.00 100.00 100.00



Module Instance : tb.dut.rstmgr_cascading_sva_if

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.55 100.00 98.21 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : rstmgr_cascading_sva_if
Line No.TotalCoveredPercent
TOTAL77100.00
ALWAYS10011100.00
ALWAYS10311100.00
ALWAYS10711100.00
ALWAYS12711100.00
ALWAYS13811100.00
ALWAYS14111100.00
ALWAYS14411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_dv_rstmgr_sva_ifs_0.1/rstmgr_cascading_sva_if.sv' or '../src/lowrisc_dv_rstmgr_sva_ifs_0.1/rstmgr_cascading_sva_if.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
100 1 1
103 1 1
107 1 1
127 1 1
138 1 1
141 1 1
144 1 1


Cond Coverage for Module : rstmgr_cascading_sva_if
TotalCoveredPercent
Conditions66100.00
Logical66100.00
Non-Logical00
Event00

 LINE       103
 EXPRESSION (((!scanmode)) || scan_rst_ni)
             ------1------    -----2-----
-1--2-StatusTests
00CoveredT2,T3,T5
01CoveredT3,T5,T23
10CoveredT2,T24,T51

 LINE       107
 EXPRESSION (por_n_i[rstmgr_pkg::DomainAonSel] && ((!scanmode)))
             ----------------1----------------    ------2------
-1--2-StatusTests
01CoveredT2,T4,T8
10CoveredT2,T3,T5
11CoveredT1,T2,T3

Assert Coverage for Module : rstmgr_cascading_sva_if
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 31 31 100.00 31 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 31 31 100.00 31 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
CascadeEffAonToRstPorAboveFall_A 51453055 8639 0 0
CascadeEffAonToRstPorAboveRise_A 51453055 8639 0 0
CascadeEffAonToRstPorIoAboveFall_A 49394234 8639 0 0
CascadeEffAonToRstPorIoAboveRise_A 49394234 8639 0 0
CascadeEffAonToRstPorIoDiv2AboveFall_A 24697834 8639 0 0
CascadeEffAonToRstPorIoDiv2AboveRise_A 24697834 8639 0 0
CascadeEffAonToRstPorIoDiv4AboveFall_A 12348402 8639 0 0
CascadeEffAonToRstPorIoDiv4AboveRise_A 12348402 8639 0 0
CascadeEffAonToRstPorUcbAboveFall_A 24697893 8639 0 0
CascadeEffAonToRstPorUcbAboveRise_A 24697893 8639 0 0
CascadeLcToLcAboveFall_A 51453055 21143 0 0
CascadeLcToLcAboveRise_A 51453055 21143 0 0
CascadeLcToLcAonAboveFall_A 1558611 21143 0 0
CascadeLcToLcAonAboveRise_A 1558611 21143 0 0
CascadeLcToLcShadowedAboveFall_A 51453055 21143 0 0
CascadeLcToLcShadowedAboveRise_A 51453055 21143 0 0
CascadePorToAonAboveFall_A 1558611 6961 0 0
CascadeSysToSysAboveFall_A 51453055 21143 0 0
CascadeSysToSysAboveRise_A 51453055 21143 0 0
ScanRstToAonRise_A 1558611 204 0 0
StablePorToAonRise_A 1558611 8639 0 0
g_power_domains[0].CascadeLcToSysAboveFall_A 10907855 21143 0 0
g_power_domains[0].CascadeLcToSysAboveRise_A 10907855 21143 0 0
g_power_domains[0].CascadeLocalRstToLcAboveFall_A 10907855 21143 0 0
g_power_domains[0].CascadeLocalRstToLcAboveRise_A 10907855 21143 0 0
g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveFall_A 12348402 21143 0 0
g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveRise_A 12348402 21143 0 0
g_power_domains[1].CascadeLcToSysAboveFall_A 10907855 21143 0 0
g_power_domains[1].CascadeLcToSysAboveRise_A 10907855 21143 0 0
g_power_domains[1].CascadeLocalRstToLcAboveFall_A 10907855 21143 0 0
g_power_domains[1].CascadeLocalRstToLcAboveRise_A 10907855 21143 0 0


CascadeEffAonToRstPorAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 8639 0 0
T1 22219 1 0 0
T2 85541 18 0 0
T3 9759 2 0 0
T4 11751 2 0 0
T5 24144 2 0 0
T6 17104 2 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeEffAonToRstPorAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 8639 0 0
T1 22219 1 0 0
T2 85541 18 0 0
T3 9759 2 0 0
T4 11751 2 0 0
T5 24144 2 0 0
T6 17104 2 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeEffAonToRstPorIoAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 49394234 8639 0 0
T1 21328 1 0 0
T2 82133 18 0 0
T3 9357 2 0 0
T4 11280 2 0 0
T5 23180 2 0 0
T6 16421 2 0 0
T7 8221 1 0 0
T8 11669 2 0 0
T9 8242 1 0 0
T10 25094 1 0 0

CascadeEffAonToRstPorIoAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 49394234 8639 0 0
T1 21328 1 0 0
T2 82133 18 0 0
T3 9357 2 0 0
T4 11280 2 0 0
T5 23180 2 0 0
T6 16421 2 0 0
T7 8221 1 0 0
T8 11669 2 0 0
T9 8242 1 0 0
T10 25094 1 0 0

CascadeEffAonToRstPorIoDiv2AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 24697834 8639 0 0
T1 10664 1 0 0
T2 41063 18 0 0
T3 4679 2 0 0
T4 5640 2 0 0
T5 11587 2 0 0
T6 8208 2 0 0
T7 4109 1 0 0
T8 5834 2 0 0
T9 4120 1 0 0
T10 12546 1 0 0

CascadeEffAonToRstPorIoDiv2AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 24697834 8639 0 0
T1 10664 1 0 0
T2 41063 18 0 0
T3 4679 2 0 0
T4 5640 2 0 0
T5 11587 2 0 0
T6 8208 2 0 0
T7 4109 1 0 0
T8 5834 2 0 0
T9 4120 1 0 0
T10 12546 1 0 0

CascadeEffAonToRstPorIoDiv4AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12348402 8639 0 0
T1 5332 1 0 0
T2 20532 18 0 0
T3 2339 2 0 0
T4 2819 2 0 0
T5 5793 2 0 0
T6 4103 2 0 0
T7 2053 1 0 0
T8 2916 2 0 0
T9 2059 1 0 0
T10 6272 1 0 0

CascadeEffAonToRstPorIoDiv4AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12348402 8639 0 0
T1 5332 1 0 0
T2 20532 18 0 0
T3 2339 2 0 0
T4 2819 2 0 0
T5 5793 2 0 0
T6 4103 2 0 0
T7 2053 1 0 0
T8 2916 2 0 0
T9 2059 1 0 0
T10 6272 1 0 0

CascadeEffAonToRstPorUcbAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 24697893 8639 0 0
T1 10663 1 0 0
T2 41068 18 0 0
T3 4683 2 0 0
T4 5640 2 0 0
T5 11588 2 0 0
T6 8209 2 0 0
T7 4109 1 0 0
T8 5834 2 0 0
T9 4120 1 0 0
T10 12547 1 0 0

CascadeEffAonToRstPorUcbAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 24697893 8639 0 0
T1 10663 1 0 0
T2 41068 18 0 0
T3 4683 2 0 0
T4 5640 2 0 0
T5 11588 2 0 0
T6 8209 2 0 0
T7 4109 1 0 0
T8 5834 2 0 0
T9 4120 1 0 0
T10 12547 1 0 0

CascadeLcToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeLcToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeLcToLcAonAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1558611 21143 0 0
T1 665 1 0 0
T2 2655 52 0 0
T3 290 6 0 0
T4 352 2 0 0
T5 724 6 0 0
T6 511 6 0 0
T7 256 1 0 0
T8 363 2 0 0
T9 256 1 0 0
T10 784 1 0 0

CascadeLcToLcAonAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1558611 21143 0 0
T1 665 1 0 0
T2 2655 52 0 0
T3 290 6 0 0
T4 352 2 0 0
T5 724 6 0 0
T6 511 6 0 0
T7 256 1 0 0
T8 363 2 0 0
T9 256 1 0 0
T10 784 1 0 0

CascadeLcToLcShadowedAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeLcToLcShadowedAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadePorToAonAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1558611 6961 0 0
T1 665 1 0 0
T2 2655 10 0 0
T3 290 1 0 0
T4 352 7 0 0
T5 724 1 0 0
T6 511 1 0 0
T7 256 1 0 0
T8 363 7 0 0
T9 256 1 0 0
T10 784 1 0 0

CascadeSysToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

CascadeSysToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51453055 21143 0 0
T1 22219 1 0 0
T2 85541 52 0 0
T3 9759 6 0 0
T4 11751 2 0 0
T5 24144 6 0 0
T6 17104 6 0 0
T7 8563 1 0 0
T8 12155 2 0 0
T9 8585 1 0 0
T10 26143 1 0 0

ScanRstToAonRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1558611 204 0 0
T3 290 1 0 0
T4 352 0 0 0
T5 724 0 0 0
T6 511 0 0 0
T7 256 0 0 0
T8 363 0 0 0
T9 256 0 0 0
T10 784 0 0 0
T11 444 0 0 0
T12 1005 0 0 0
T24 0 2 0 0
T51 0 2 0 0
T52 0 3 0 0
T113 0 1 0 0
T114 0 5 0 0
T116 0 1 0 0
T117 0 6 0 0
T146 0 1 0 0
T147 0 1 0 0

StablePorToAonRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1558611 8639 0 0
T1 665 1 0 0
T2 2655 18 0 0
T3 290 2 0 0
T4 352 2 0 0
T5 724 2 0 0
T6 511 2 0 0
T7 256 1 0 0
T8 363 2 0 0
T9 256 1 0 0
T10 784 1 0 0

g_power_domains[0].CascadeLcToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[0].CascadeLcToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[0].CascadeLocalRstToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[0].CascadeLocalRstToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12348402 21143 0 0
T1 5332 1 0 0
T2 20532 52 0 0
T3 2339 6 0 0
T4 2819 2 0 0
T5 5793 6 0 0
T6 4103 6 0 0
T7 2053 1 0 0
T8 2916 2 0 0
T9 2059 1 0 0
T10 6272 1 0 0

g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12348402 21143 0 0
T1 5332 1 0 0
T2 20532 52 0 0
T3 2339 6 0 0
T4 2819 2 0 0
T5 5793 6 0 0
T6 4103 6 0 0
T7 2053 1 0 0
T8 2916 2 0 0
T9 2059 1 0 0
T10 6272 1 0 0

g_power_domains[1].CascadeLcToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[1].CascadeLcToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[1].CascadeLocalRstToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

g_power_domains[1].CascadeLocalRstToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 10907855 21143 0 0
T1 5241 1 0 0
T2 15819 52 0 0
T3 2098 6 0 0
T4 2681 2 0 0
T5 5601 6 0 0
T6 3861 6 0 0
T7 1988 1 0 0
T8 2874 2 0 0
T9 1969 1 0 0
T10 6230 1 0 0

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