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 396906024 354349 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 354349 0 0
T1 30773 82 0 0
T2 253077 4 0 0
T3 170782 4 0 0
T7 595894 453 0 0
T8 447015 5 0 0
T9 9335 45 0 0
T10 797180 62 0 0
T11 7686 29 0 0
T12 9549 70 0 0
T13 915814 385 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 618314 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 618314 0 0
T1 30773 67 0 0
T2 253077 4 0 0
T3 170782 4 0 0
T7 595894 411 0 0
T8 447015 1894 0 0
T9 9335 45 0 0
T10 797180 5853 0 0
T11 7686 28 0 0
T12 9549 70 0 0
T13 915814 930 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 413625 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 413625 0 0
T1 30773 28 0 0
T2 253077 11 0 0
T3 170782 7 0 0
T7 595894 7006 0 0
T8 447015 7 0 0
T9 9335 43 0 0
T10 797180 38 0 0
T11 7686 29 0 0
T12 9549 68 0 0
T13 915814 1176 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 644375 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 644375 0 0
T1 30773 43 0 0
T2 253077 8 0 0
T3 170782 86 0 0
T7 595894 1426 0 0
T8 447015 584 0 0
T9 9335 42 0 0
T10 797180 5988 0 0
T11 7686 29 0 0
T12 9549 65 0 0
T13 915814 174 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 354968 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 354968 0 0
T1 30773 61 0 0
T2 253077 6 0 0
T3 170782 5 0 0
T7 595894 5717 0 0
T8 447015 4 0 0
T9 9335 46 0 0
T10 797180 53 0 0
T11 7686 413 0 0
T12 9549 72 0 0
T13 915814 522 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 614439 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 614439 0 0
T1 30773 72 0 0
T2 253077 6 0 0
T3 170782 5 0 0
T7 595894 887 0 0
T8 447015 1416 0 0
T9 9335 45 0 0
T10 797180 7326 0 0
T11 7686 283 0 0
T12 9549 68 0 0
T13 915814 1782 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 388062 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 388062 0 0
T1 30773 57 0 0
T2 253077 4 0 0
T3 170782 10 0 0
T7 595894 1331 0 0
T8 447015 15 0 0
T9 9335 44 0 0
T10 797180 68 0 0
T11 7686 43 0 0
T12 9549 71 0 0
T13 915814 20 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 576586 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 576586 0 0
T1 30773 92 0 0
T2 253077 4 0 0
T3 170782 441 0 0
T7 595894 784 0 0
T8 447015 346 0 0
T9 9335 44 0 0
T10 797180 7990 0 0
T11 7686 42 0 0
T12 9549 70 0 0
T13 915814 1695 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 375338 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 375338 0 0
T1 30773 70 0 0
T2 253077 5 0 0
T3 170782 53 0 0
T7 595894 4955 0 0
T8 447015 6 0 0
T9 9335 44 0 0
T10 797180 49 0 0
T11 7686 36 0 0
T12 9549 102 0 0
T13 915814 449 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 615694 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 615694 0 0
T1 30773 38 0 0
T2 253077 5 0 0
T3 170782 328 0 0
T7 595894 1400 0 0
T8 447015 1174 0 0
T9 9335 43 0 0
T10 797180 4971 0 0
T11 7686 35 0 0
T12 9549 100 0 0
T13 915814 785 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 411576 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 411576 0 0
T1 30773 61 0 0
T2 253077 5 0 0
T3 170782 5 0 0
T7 595894 515 0 0
T8 447015 5 0 0
T9 9335 42 0 0
T10 797180 53 0 0
T11 7686 40 0 0
T12 9549 67 0 0
T13 915814 737 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 671316 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 671316 0 0
T1 30773 62 0 0
T2 253077 5 0 0
T3 170782 5 0 0
T7 595894 437 0 0
T8 447015 535 0 0
T9 9335 42 0 0
T10 797180 8063 0 0
T11 7686 39 0 0
T12 9549 66 0 0
T13 915814 1285 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 389789 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 389789 0 0
T1 30773 55 0 0
T2 253077 6 0 0
T3 170782 5 0 0
T7 595894 1953 0 0
T8 447015 3 0 0
T9 9335 79 0 0
T10 797180 60 0 0
T11 7686 57 0 0
T12 9549 81 0 0
T13 915814 429 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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 396906024 654239 0 0
DepthKnown_A 396906024 396790949 0 0
RvalidKnown_A 396906024 396790949 0 0
WreadyKnown_A 396906024 396790949 0 0
gen_passthru_fifo.paramCheckPass 900 900 0 0


DataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 654239 0 0
T1 30773 72 0 0
T2 253077 6 0 0
T3 170782 5 0 0
T7 595894 1549 0 0
T8 447015 472 0 0
T9 9335 79 0 0
T10 797180 4896 0 0
T11 7686 57 0 0
T12 9549 81 0 0
T13 915814 487 0 0

DepthKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

RvalidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 0 0

WreadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 396906024 396790949 0 0
T1 30773 30753 0 0
T2 253077 253035 0 0
T3 170782 170738 0 0
T7 595894 595871 0 0
T8 447015 446967 0 0
T9 9335 9268 0 0
T10 797180 797169 0 0
T11 7686 7366 0 0
T12 9549 9507 0 0
T13 915814 915736 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%