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,T6
01CoveredT2,T3,T6
10CoveredT2,T3,T6

 LINE       107
 EXPRESSION (por_n_i[rstmgr_pkg::DomainAonSel] && ((!scanmode)))
             ----------------1----------------    ------2------
-1--2-StatusTests
01CoveredT2,T3,T5
10CoveredT2,T3,T6
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 55947315 8967 0 0
CascadeEffAonToRstPorAboveRise_A 55947315 8967 0 0
CascadeEffAonToRstPorIoAboveFall_A 53707812 8967 0 0
CascadeEffAonToRstPorIoAboveRise_A 53707812 8967 0 0
CascadeEffAonToRstPorIoDiv2AboveFall_A 26854629 8967 0 0
CascadeEffAonToRstPorIoDiv2AboveRise_A 26854629 8967 0 0
CascadeEffAonToRstPorIoDiv4AboveFall_A 13426987 8967 0 0
CascadeEffAonToRstPorIoDiv4AboveRise_A 13426987 8967 0 0
CascadeEffAonToRstPorUcbAboveFall_A 26854640 8967 0 0
CascadeEffAonToRstPorUcbAboveRise_A 26854640 8967 0 0
CascadeLcToLcAboveFall_A 55947315 23314 0 0
CascadeLcToLcAboveRise_A 55947315 23314 0 0
CascadeLcToLcAonAboveFall_A 1697868 23314 0 0
CascadeLcToLcAonAboveRise_A 1697868 23314 0 0
CascadeLcToLcShadowedAboveFall_A 55947315 23314 0 0
CascadeLcToLcShadowedAboveRise_A 55947315 23314 0 0
CascadePorToAonAboveFall_A 1697868 6902 0 0
CascadeSysToSysAboveFall_A 55947315 23314 0 0
CascadeSysToSysAboveRise_A 55947315 23314 0 0
ScanRstToAonRise_A 1697868 241 0 0
StablePorToAonRise_A 1697868 8967 0 0
g_power_domains[0].CascadeLcToSysAboveFall_A 11790944 23314 0 0
g_power_domains[0].CascadeLcToSysAboveRise_A 11790944 23314 0 0
g_power_domains[0].CascadeLocalRstToLcAboveFall_A 11790944 23314 0 0
g_power_domains[0].CascadeLocalRstToLcAboveRise_A 11790944 23314 0 0
g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveFall_A 13426987 23314 0 0
g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveRise_A 13426987 23314 0 0
g_power_domains[1].CascadeLcToSysAboveFall_A 11790944 23314 0 0
g_power_domains[1].CascadeLcToSysAboveRise_A 11790944 23314 0 0
g_power_domains[1].CascadeLocalRstToLcAboveFall_A 11790944 23314 0 0
g_power_domains[1].CascadeLocalRstToLcAboveRise_A 11790944 23314 0 0


CascadeEffAonToRstPorAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 8967 0 0
T1 10822 1 0 0
T2 102395 141 0 0
T3 709970 145 0 0
T4 8451 1 0 0
T5 24332 8 0 0
T6 242242 25 0 0
T7 7677 1 0 0
T8 19395 1 0 0
T9 19209 2 0 0
T10 13880 1 0 0

CascadeEffAonToRstPorAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 8967 0 0
T1 10822 1 0 0
T2 102395 141 0 0
T3 709970 145 0 0
T4 8451 1 0 0
T5 24332 8 0 0
T6 242242 25 0 0
T7 7677 1 0 0
T8 19395 1 0 0
T9 19209 2 0 0
T10 13880 1 0 0

CascadeEffAonToRstPorIoAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 53707812 8967 0 0
T1 10388 1 0 0
T2 983065 141 0 0
T3 681589 145 0 0
T4 8113 1 0 0
T5 23362 8 0 0
T6 232559 25 0 0
T7 7370 1 0 0
T8 18619 1 0 0
T9 18444 2 0 0
T10 13325 1 0 0

CascadeEffAonToRstPorIoAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 53707812 8967 0 0
T1 10388 1 0 0
T2 983065 141 0 0
T3 681589 145 0 0
T4 8113 1 0 0
T5 23362 8 0 0
T6 232559 25 0 0
T7 7370 1 0 0
T8 18619 1 0 0
T9 18444 2 0 0
T10 13325 1 0 0

CascadeEffAonToRstPorIoDiv2AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 26854629 8967 0 0
T1 5193 1 0 0
T2 491510 141 0 0
T3 340771 145 0 0
T4 4056 1 0 0
T5 11682 8 0 0
T6 116278 25 0 0
T7 3683 1 0 0
T8 9309 1 0 0
T9 9219 2 0 0
T10 6661 1 0 0

CascadeEffAonToRstPorIoDiv2AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 26854629 8967 0 0
T1 5193 1 0 0
T2 491510 141 0 0
T3 340771 145 0 0
T4 4056 1 0 0
T5 11682 8 0 0
T6 116278 25 0 0
T7 3683 1 0 0
T8 9309 1 0 0
T9 9219 2 0 0
T10 6661 1 0 0

CascadeEffAonToRstPorIoDiv4AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 13426987 8967 0 0
T1 2595 1 0 0
T2 245768 141 0 0
T3 170382 145 0 0
T4 2026 1 0 0
T5 5837 8 0 0
T6 58137 25 0 0
T7 1842 1 0 0
T8 4654 1 0 0
T9 4608 2 0 0
T10 3329 1 0 0

CascadeEffAonToRstPorIoDiv4AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 13426987 8967 0 0
T1 2595 1 0 0
T2 245768 141 0 0
T3 170382 145 0 0
T4 2026 1 0 0
T5 5837 8 0 0
T6 58137 25 0 0
T7 1842 1 0 0
T8 4654 1 0 0
T9 4608 2 0 0
T10 3329 1 0 0

CascadeEffAonToRstPorUcbAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 26854640 8967 0 0
T1 5194 1 0 0
T2 491541 141 0 0
T3 340793 145 0 0
T4 4056 1 0 0
T5 11677 8 0 0
T6 116275 25 0 0
T7 3684 1 0 0
T8 9309 1 0 0
T9 9218 2 0 0
T10 6662 1 0 0

CascadeEffAonToRstPorUcbAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 26854640 8967 0 0
T1 5194 1 0 0
T2 491541 141 0 0
T3 340793 145 0 0
T4 4056 1 0 0
T5 11677 8 0 0
T6 116275 25 0 0
T7 3684 1 0 0
T8 9309 1 0 0
T9 9218 2 0 0
T10 6662 1 0 0

CascadeLcToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

CascadeLcToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

CascadeLcToLcAonAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1697868 23314 0 0
T1 323 10 0 0
T2 31144 371 0 0
T3 21779 433 0 0
T4 253 5 0 0
T5 732 8 0 0
T6 7300 68 0 0
T7 229 1 0 0
T8 580 16 0 0
T9 574 6 0 0
T10 415 1 0 0

CascadeLcToLcAonAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1697868 23314 0 0
T1 323 10 0 0
T2 31144 371 0 0
T3 21779 433 0 0
T4 253 5 0 0
T5 732 8 0 0
T6 7300 68 0 0
T7 229 1 0 0
T8 580 16 0 0
T9 574 6 0 0
T10 415 1 0 0

CascadeLcToLcShadowedAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

CascadeLcToLcShadowedAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

CascadePorToAonAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1697868 6902 0 0
T1 323 1 0 0
T2 31144 66 0 0
T3 21779 79 0 0
T4 253 1 0 0
T5 732 8 0 0
T6 7300 11 0 0
T7 229 1 0 0
T8 580 1 0 0
T9 574 1 0 0
T10 415 1 0 0

CascadeSysToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

CascadeSysToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 55947315 23314 0 0
T1 10822 10 0 0
T2 102395 371 0 0
T3 709970 433 0 0
T4 8451 5 0 0
T5 24332 8 0 0
T6 242242 68 0 0
T7 7677 1 0 0
T8 19395 16 0 0
T9 19209 6 0 0
T10 13880 1 0 0

ScanRstToAonRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1697868 241 0 0
T2 31144 7 0 0
T3 21779 5 0 0
T4 253 0 0 0
T5 732 0 0 0
T6 7300 3 0 0
T7 229 0 0 0
T8 580 0 0 0
T9 574 0 0 0
T10 415 0 0 0
T12 0 9 0 0
T13 0 5 0 0
T14 729 0 0 0
T25 0 1 0 0
T42 0 2 0 0
T46 0 1 0 0
T57 0 3 0 0
T58 0 1 0 0

StablePorToAonRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1697868 8967 0 0
T1 323 1 0 0
T2 31144 141 0 0
T3 21779 145 0 0
T4 253 1 0 0
T5 732 8 0 0
T6 7300 25 0 0
T7 229 1 0 0
T8 580 1 0 0
T9 574 2 0 0
T10 415 1 0 0

g_power_domains[0].CascadeLcToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[0].CascadeLcToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[0].CascadeLocalRstToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[0].CascadeLocalRstToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 13426987 23314 0 0
T1 2595 10 0 0
T2 245768 371 0 0
T3 170382 433 0 0
T4 2026 5 0 0
T5 5837 8 0 0
T6 58137 68 0 0
T7 1842 1 0 0
T8 4654 16 0 0
T9 4608 6 0 0
T10 3329 1 0 0

g_power_domains[0].gen_sys_io_div4_chk.CascadeSysToSysIoDiv4AboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 13426987 23314 0 0
T1 2595 10 0 0
T2 245768 371 0 0
T3 170382 433 0 0
T4 2026 5 0 0
T5 5837 8 0 0
T6 58137 68 0 0
T7 1842 1 0 0
T8 4654 16 0 0
T9 4608 6 0 0
T10 3329 1 0 0

g_power_domains[1].CascadeLcToSysAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[1].CascadeLcToSysAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[1].CascadeLocalRstToLcAboveFall_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

g_power_domains[1].CascadeLocalRstToLcAboveRise_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 11790944 23314 0 0
T1 2006 10 0 0
T2 214513 371 0 0
T3 133798 433 0 0
T4 1674 5 0 0
T5 5294 8 0 0
T6 51987 68 0 0
T7 1775 1 0 0
T8 3641 16 0 0
T9 4515 6 0 0
T10 3312 1 0 0

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