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 403733496 683315 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 683315 0 0
T1 4226 2 0 0
T2 1009 0 0 0
T3 499471 28 0 0
T7 413184 3 0 0
T8 20360 367 0 0
T9 266150 0 0 0
T10 34477 70 0 0
T11 538030 179 0 0
T12 163674 4291 0 0
T13 412892 12805 0 0
T14 0 3489 0 0
T15 0 195 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3134016 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3134016 0 0
T1 4226 11 0 0
T2 1009 0 0 0
T3 499471 28 0 0
T7 413184 3 0 0
T8 20360 178 0 0
T9 266150 0 0 0
T10 34477 66 0 0
T11 538030 3440 0 0
T12 163674 17971 0 0
T13 412892 7959 0 0
T14 0 238 0 0
T15 0 103 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 678494 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 678494 0 0
T1 4226 8 0 0
T2 1009 3 0 0
T3 499471 42 0 0
T7 413184 389 0 0
T8 20360 263 0 0
T9 266150 0 0 0
T10 34477 2158 0 0
T11 538030 19 0 0
T12 163674 766 0 0
T13 412892 220 0 0
T15 0 175 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3632430 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3632430 0 0
T1 4226 31 0 0
T2 1009 3 0 0
T3 499471 31 0 0
T7 413184 2097 0 0
T8 20360 109 0 0
T9 266150 0 0 0
T10 34477 270 0 0
T11 538030 6785 0 0
T12 163674 14145 0 0
T13 412892 1638 0 0
T15 0 102 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 712666 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 712666 0 0
T1 4226 2 0 0
T2 1009 2 0 0
T3 499471 39 0 0
T7 413184 6 0 0
T8 20360 121 0 0
T9 266150 0 0 0
T10 34477 1769 0 0
T11 538030 797 0 0
T12 163674 2318 0 0
T13 412892 349 0 0
T14 0 8854 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3677192 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3677192 0 0
T1 4226 16 0 0
T2 1009 2 0 0
T3 499471 39 0 0
T7 413184 6 0 0
T8 20360 92 0 0
T9 266150 0 0 0
T10 34477 315 0 0
T11 538030 4364 0 0
T12 163674 16223 0 0
T13 412892 1716 0 0
T14 0 298 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 277986 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 277986 0 0
T1 4226 9 0 0
T2 1009 3 0 0
T3 499471 46 0 0
T7 413184 2 0 0
T8 20360 412 0 0
T9 266150 0 0 0
T10 34477 522 0 0
T11 538030 737 0 0
T12 163674 294 0 0
T13 412892 260 0 0
T14 0 893 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3221845 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3221845 0 0
T1 4226 51 0 0
T2 1009 3 0 0
T3 499471 41 0 0
T7 413184 250 0 0
T8 20360 370 0 0
T9 266150 0 0 0
T10 34477 330 0 0
T11 538030 8791 0 0
T12 163674 21291 0 0
T13 412892 1805 0 0
T14 0 230 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 290927 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 290927 0 0
T1 4226 3 0 0
T2 1009 2 0 0
T3 499471 34 0 0
T7 413184 57 0 0
T8 20360 104 0 0
T9 266150 775 0 0
T10 34477 41 0 0
T11 538030 15 0 0
T12 163674 913 0 0
T13 412892 262 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3256418 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3256418 0 0
T1 4226 25 0 0
T2 1009 2 0 0
T3 499471 435 0 0
T7 413184 244 0 0
T8 20360 102 0 0
T9 266150 90572 0 0
T10 34477 41 0 0
T11 538030 4078 0 0
T12 163674 16334 0 0
T13 412892 2028 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 441782 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 441782 0 0
T1 4226 19 0 0
T2 1009 4 0 0
T3 499471 36 0 0
T7 413184 5 0 0
T8 20360 115 0 0
T9 266150 0 0 0
T10 34477 69 0 0
T11 538030 439 0 0
T12 163674 3300 0 0
T13 412892 383 0 0
T15 0 85 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3757291 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3757291 0 0
T1 4226 33 0 0
T2 1009 3 0 0
T3 499471 33 0 0
T7 413184 23 0 0
T8 20360 98 0 0
T9 266150 0 0 0
T10 34477 61 0 0
T11 538030 6626 0 0
T12 163674 17676 0 0
T13 412892 1823 0 0
T15 0 73 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 282833 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 282833 0 0
T1 4226 5 0 0
T2 1009 2 0 0
T3 499471 31 0 0
T7 413184 0 0 0
T8 20360 532 0 0
T9 266150 0 0 0
T10 34477 49 0 0
T11 538030 12 0 0
T12 163674 975 0 0
T13 412892 1049 0 0
T15 0 118 0 0
T16 0 401 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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 403733496 3440753 0 0
DepthKnown_A 403733496 403619028 0 0
RvalidKnown_A 403733496 403619028 0 0
WreadyKnown_A 403733496 403619028 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 3440753 0 0
T1 4226 23 0 0
T2 1009 2 0 0
T3 499471 35 0 0
T7 413184 0 0 0
T8 20360 354 0 0
T9 266150 0 0 0
T10 34477 49 0 0
T11 538030 4168 0 0
T12 163674 14961 0 0
T13 412892 3566 0 0
T15 0 108 0 0
T16 0 2866 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 403733496 403619028 0 0
T1 4226 4176 0 0
T2 1009 944 0 0
T3 499471 499454 0 0
T7 413184 413136 0 0
T8 20360 19671 0 0
T9 266150 266147 0 0
T10 34477 34414 0 0
T11 538030 537973 0 0
T12 163674 163670 0 0
T13 412892 412780 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%