dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : tb.dut.u_s1n_32.gen_dfifo[6].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[6].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[6].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[6].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[7].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[7].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[7].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[7].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[8].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[8].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[8].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[8].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[9].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[9].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[9].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[9].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[10].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[10].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[10].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[10].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[11].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[11].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.gen_dfifo[11].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[11].fifo_d


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_s1n_32.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_32.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

Go back
Module Instances:
tb.dut.u_s1n_32.gen_dfifo[6].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[6].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[7].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[7].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[8].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[8].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[9].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[9].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[10].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[10].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[11].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[11].fifo_d.rspfifo
tb.dut.u_s1n_32.gen_dfifo[12].fifo_d.reqfifo
tb.dut.u_s1n_32.gen_dfifo[12].fifo_d.rspfifo
Line Coverage for Instance : tb.dut.u_s1n_32.gen_dfifo[6].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_32.gen_dfifo[6].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 676649 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 676649 0 0
T1 548539 3497 0 0
T2 156058 310 0 0
T3 579139 5 0 0
T7 14425 15 0 0
T8 153351 90 0 0
T9 21337 0 0 0
T10 3692 1 0 0
T11 3416 5 0 0
T12 541477 0 0 0
T13 55351 115 0 0
T14 0 10822 0 0
T16 0 42 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_32.gen_dfifo[6].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_32.gen_dfifo[6].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 4210949 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 4210949 0 0
T1 548539 265093 0 0
T2 156058 1045 0 0
T3 579139 5 0 0
T7 14425 142 0 0
T8 153351 36206 0 0
T9 21337 0 0 0
T10 3692 1 0 0
T11 3416 5 0 0
T12 541477 0 0 0
T13 55351 534 0 0
T14 0 1155 0 0
T16 0 364 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_32.gen_dfifo[7].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_32.gen_dfifo[7].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 731563 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 731563 0 0
T2 156058 181 0 0
T3 579139 8 0 0
T7 14425 24 0 0
T8 153351 95 0 0
T9 21337 1427 0 0
T10 3692 19 0 0
T11 3416 8 0 0
T12 541477 0 0 0
T13 55351 98 0 0
T14 93068 514 0 0
T15 0 1123 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_32.gen_dfifo[7].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_32.gen_dfifo[7].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 3845227 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 3845227 0 0
T2 156058 87 0 0
T3 579139 806 0 0
T7 14425 88 0 0
T8 153351 34416 0 0
T9 21337 987 0 0
T10 3692 6 0 0
T11 3416 8 0 0
T12 541477 0 0 0
T13 55351 379 0 0
T14 93068 310 0 0
T15 0 99743 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_32.gen_dfifo[8].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_32.gen_dfifo[8].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 740282 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 740282 0 0
T1 548539 5287 0 0
T2 156058 100 0 0
T3 579139 9 0 0
T7 14425 52 0 0
T8 153351 80 0 0
T9 21337 0 0 0
T10 3692 1 0 0
T11 3416 6 0 0
T12 541477 977 0 0
T13 55351 112 0 0
T14 0 4889 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_32.gen_dfifo[8].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_32.gen_dfifo[8].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 3392166 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 3392166 0 0
T1 548539 176022 0 0
T2 156058 73 0 0
T3 579139 1112 0 0
T7 14425 70 0 0
T8 153351 31880 0 0
T9 21337 0 0 0
T10 3692 1 0 0
T11 3416 6 0 0
T12 541477 82567 0 0
T13 55351 396 0 0
T14 0 994 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_32.gen_dfifo[9].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_32.gen_dfifo[9].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 346787 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 346787 0 0
T2 156058 112 0 0
T3 579139 4 0 0
T7 14425 26 0 0
T8 153351 88 0 0
T9 21337 0 0 0
T10 3692 4 0 0
T11 3416 4 0 0
T12 541477 0 0 0
T13 55351 171 0 0
T14 93068 946 0 0
T16 0 34 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_32.gen_dfifo[9].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_32.gen_dfifo[9].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 3381077 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 3381077 0 0
T2 156058 95 0 0
T3 579139 300 0 0
T7 14425 78 0 0
T8 153351 31626 0 0
T9 21337 0 0 0
T10 3692 6 0 0
T11 3416 4 0 0
T12 541477 0 0 0
T13 55351 240 0 0
T14 93068 748 0 0
T16 0 200 0 0
T17 0 24 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_32.gen_dfifo[10].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_32.gen_dfifo[10].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 337994 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 337994 0 0
T2 156058 89 0 0
T3 579139 9 0 0
T7 14425 15 0 0
T8 153351 85 0 0
T9 21337 0 0 0
T10 3692 2 0 0
T11 3416 7 0 0
T12 541477 711 0 0
T13 55351 153 0 0
T14 93068 1820 0 0
T15 0 717 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_32.gen_dfifo[10].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_32.gen_dfifo[10].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 3177691 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 3177691 0 0
T2 156058 82 0 0
T3 579139 302 0 0
T7 14425 91 0 0
T8 153351 30308 0 0
T9 21337 0 0 0
T10 3692 2 0 0
T11 3416 7 0 0
T12 541477 81702 0 0
T13 55351 260 0 0
T14 93068 781 0 0
T15 0 110276 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_32.gen_dfifo[11].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_32.gen_dfifo[11].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 531817 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 531817 0 0
T2 156058 116 0 0
T3 579139 52 0 0
T7 14425 9 0 0
T8 153351 85 0 0
T9 21337 0 0 0
T10 3692 2 0 0
T11 3416 7 0 0
T12 541477 0 0 0
T13 55351 193 0 0
T14 93068 325 0 0
T15 0 2160 0 0
T16 0 23 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_32.gen_dfifo[11].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_32.gen_dfifo[11].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 2351284 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 2351284 0 0
T2 156058 93 0 0
T3 579139 1318 0 0
T7 14425 45 0 0
T8 153351 31387 0 0
T9 21337 0 0 0
T10 3692 4 0 0
T11 3416 6 0 0
T12 541477 0 0 0
T13 55351 181 0 0
T14 93068 288 0 0
T15 0 161973 0 0
T16 0 201 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_32.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_32.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 328391 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 328391 0 0
T2 156058 96 0 0
T3 579139 248 0 0
T7 14425 15 0 0
T8 153351 81 0 0
T9 21337 0 0 0
T10 3692 5 0 0
T11 3416 1 0 0
T12 541477 0 0 0
T13 55351 142 0 0
T14 93068 2782 0 0
T15 0 744 0 0
T16 0 1421 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_32.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_32.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 3588864 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 3588864 0 0
T2 156058 83 0 0
T3 579139 365 0 0
T7 14425 121 0 0
T8 153351 28271 0 0
T9 21337 0 0 0
T10 3692 15 0 0
T11 3416 1 0 0
T12 541477 0 0 0
T13 55351 208 0 0
T14 93068 1120 0 0
T15 0 106982 0 0
T16 0 2063 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%