dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[12].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[12].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[13].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[13].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[14].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[14].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[15].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[15].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[16].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[16].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[17].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[17].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[18].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_dfifo[18].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Go back
Module Instances:
tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.rspfifo
tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.reqfifo
tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.rspfifo
Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 424774 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 424774 0 0
T2 156058 100 0 0
T3 579139 7 0 0
T7 14425 8 0 0
T8 153351 85 0 0
T9 21337 0 0 0
T10 3692 6 0 0
T11 3416 10 0 0
T12 541477 0 0 0
T13 55351 129 0 0
T14 93068 2158 0 0
T15 0 868 0 0
T16 0 1676 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[12].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 717352 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 717352 0 0
T2 156058 9573 0 0
T3 579139 7 0 0
T7 14425 8 0 0
T8 153351 2782 0 0
T9 21337 0 0 0
T10 3692 8 0 0
T11 3416 10 0 0
T12 541477 0 0 0
T13 55351 114 0 0
T14 93068 1075 0 0
T15 0 9003 0 0
T16 0 856 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 476381 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 476381 0 0
T2 156058 96 0 0
T3 579139 58 0 0
T7 14425 10 0 0
T8 153351 73 0 0
T9 21337 0 0 0
T10 3692 3 0 0
T11 3416 7 0 0
T12 541477 0 0 0
T13 55351 111 0 0
T14 93068 1753 0 0
T16 0 35 0 0
T17 0 15 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[13].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 726142 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 726142 0 0
T2 156058 9676 0 0
T3 579139 5 0 0
T7 14425 10 0 0
T8 153351 1931 0 0
T9 21337 0 0 0
T10 3692 3 0 0
T11 3416 7 0 0
T12 541477 0 0 0
T13 55351 103 0 0
T14 93068 1113 0 0
T16 0 65 0 0
T17 0 18 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 415502 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 415502 0 0
T1 548539 868 0 0
T2 156058 98 0 0
T3 579139 4 0 0
T7 14425 17 0 0
T8 153351 70 0 0
T9 21337 0 0 0
T10 3692 2 0 0
T11 3416 13 0 0
T12 541477 953 0 0
T13 55351 166 0 0
T14 0 1285 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[14].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 730644 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 730644 0 0
T1 548539 14086 0 0
T2 156058 8741 0 0
T3 579139 4 0 0
T7 14425 27 0 0
T8 153351 1105 0 0
T9 21337 0 0 0
T10 3692 8 0 0
T11 3416 13 0 0
T12 541477 16073 0 0
T13 55351 103 0 0
T14 0 806 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 423611 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 423611 0 0
T2 156058 148 0 0
T3 579139 7 0 0
T7 14425 13 0 0
T8 153351 92 0 0
T9 21337 1144 0 0
T10 3692 2 0 0
T11 3416 5 0 0
T12 541477 850 0 0
T13 55351 147 0 0
T14 93068 1328 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[15].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 711217 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 711217 0 0
T2 156058 12654 0 0
T3 579139 7 0 0
T7 14425 24 0 0
T8 153351 4121 0 0
T9 21337 594 0 0
T10 3692 3 0 0
T11 3416 5 0 0
T12 541477 10949 0 0
T13 55351 119 0 0
T14 93068 812 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 456426 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 456426 0 0
T2 156058 99 0 0
T3 579139 4 0 0
T7 14425 24 0 0
T8 153351 90 0 0
T9 21337 0 0 0
T10 3692 10 0 0
T11 3416 2 0 0
T12 541477 2525 0 0
T13 55351 191 0 0
T14 93068 1055 0 0
T16 0 318 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[16].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 763607 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 763607 0 0
T2 156058 9425 0 0
T3 579139 4 0 0
T7 14425 21 0 0
T8 153351 1444 0 0
T9 21337 0 0 0
T10 3692 24 0 0
T11 3416 2 0 0
T12 541477 43995 0 0
T13 55351 139 0 0
T14 93068 556 0 0
T16 0 203 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 446273 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 446273 0 0
T2 156058 104 0 0
T3 579139 4 0 0
T7 14425 27 0 0
T8 153351 79 0 0
T9 21337 0 0 0
T10 3692 6 0 0
T11 3416 8 0 0
T12 541477 0 0 0
T13 55351 129 0 0
T14 93068 1602 0 0
T15 0 1801 0 0
T16 0 166 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[17].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 782288 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 782288 0 0
T2 156058 12396 0 0
T3 579139 4 0 0
T7 14425 15 0 0
T8 153351 2170 0 0
T9 21337 0 0 0
T10 3692 8 0 0
T11 3416 8 0 0
T12 541477 0 0 0
T13 55351 96 0 0
T14 93068 1091 0 0
T15 0 29350 0 0
T16 0 86 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.reqfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 465065 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 465065 0 0
T2 156058 110 0 0
T3 579139 771 0 0
T7 14425 25 0 0
T8 153351 78 0 0
T9 21337 0 0 0
T10 3692 22 0 0
T11 3416 8 0 0
T12 541477 891 0 0
T13 55351 170 0 0
T14 93068 342 0 0
T15 0 1910 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Line Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.rspfifo
Line No.TotalCoveredPercent
TOTAL44100.00
CONT_ASSIGN4411100.00
CONT_ASSIGN4511100.00
CONT_ASSIGN4811100.00
CONT_ASSIGN4911100.00
CONT_ASSIGN5300
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
44 1 1
45 1 1
48 1 1
49 1 1
53 unreachable


Assert Coverage for Instance : tb.dut.u_s1n_57.gen_dfifo[18].fifo_d.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 5 5 100.00 5 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 5 5 100.00 5 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
DataKnown_A 442452457 759390 0 0
DepthKnown_A 442452457 442312719 0 0
RvalidKnown_A 442452457 442312719 0 0
WreadyKnown_A 442452457 442312719 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 759390 0 0
T2 156058 10606 0 0
T3 579139 8 0 0
T7 14425 33 0 0
T8 153351 2446 0 0
T9 21337 0 0 0
T10 3692 18 0 0
T11 3416 8 0 0
T12 541477 13321 0 0
T13 55351 123 0 0
T14 93068 339 0 0
T15 0 47684 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 442452457 442312719 0 0
T1 548539 548533 0 0
T2 156058 156055 0 0
T3 579139 579085 0 0
T7 14425 14359 0 0
T8 153351 153349 0 0
T9 21337 21308 0 0
T10 3692 3631 0 0
T11 3416 3362 0 0
T12 541477 541469 0 0
T13 55351 55341 0 0

gen_passthru_fifo.paramCheckPass
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

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