Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts



Module Instance : tb.dut.u_asf_35.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_35


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_37.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_37


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_39.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_39


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_41.rspfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.21 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_41


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_35.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_35


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_37.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_37


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_39.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_39


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00



Module Instance : tb.dut.u_asf_41.reqfifo

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_asf_41


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
sync_rptr 100.00 100.00 100.00
sync_wptr 100.00 100.00 100.00

Line Coverage for Module : prim_fifo_async
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Module : prim_fifo_async ( parameter Width=107,Depth=1,OutputZeroIfEmpty=0,OutputZeroIfInvalid=1,DepthW=1,PTRV_W=1,PTR_WIDTH=1 )
Cond Coverage for Module self-instances :
SCORECOND
100.00 100.00
tb.dut.u_asf_35.reqfifo

SCORECOND
100.00 100.00
tb.dut.u_asf_37.reqfifo

SCORECOND
100.00 100.00
tb.dut.u_asf_39.reqfifo

SCORECOND
100.00 100.00
tb.dut.u_asf_41.reqfifo

TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Cond Coverage for Module : prim_fifo_async ( parameter Width=64,Depth=1,OutputZeroIfEmpty=0,OutputZeroIfInvalid=1,DepthW=1,PTRV_W=1,PTR_WIDTH=1 )
Cond Coverage for Module self-instances :
SCORECOND
98.21 92.86
tb.dut.u_asf_35.rspfifo

SCORECOND
98.21 92.86
tb.dut.u_asf_37.rspfifo

SCORECOND
98.21 92.86
tb.dut.u_asf_39.rspfifo

SCORECOND
98.21 92.86
tb.dut.u_asf_41.rspfifo

TotalCoveredPercent
Conditions141392.86
Logical141392.86
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Module : prim_fifo_async
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Module : prim_fifo_async
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 2147483647 2147483647 0 0
GrayWptr_A 2147483647 2147483647 0 0
ParamCheckDepth_A 7200 7200 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1151587 1150249 0 0
T2 322884 318554 0 0
T3 1735325 1735273 0 0
T4 663123 662681 0 0
T7 3010985 3010330 0 0
T8 2075255 2075230 0 0
T9 101105 100899 0 0
T10 73890 73356 0 0
T11 15063 14551 0 0
T12 2443968 2443957 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1151587 1150249 0 0
T2 322884 318554 0 0
T3 1735325 1735273 0 0
T4 663123 662681 0 0
T7 3010985 3010330 0 0
T8 2075255 2075230 0 0
T9 101105 100899 0 0
T10 73890 73356 0 0
T11 15063 14551 0 0
T12 2443968 2443957 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7200 7200 0 0
T1 8 8 0 0
T2 8 8 0 0
T3 8 8 0 0
T4 8 8 0 0
T7 8 8 0 0
T8 8 8 0 0
T9 8 8 0 0
T10 8 8 0 0
T11 8 8 0 0
T12 8 8 0 0

Line Coverage for Instance : tb.dut.u_asf_35.rspfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_35.rspfifo
TotalCoveredPercent
Conditions141392.86
Logical141392.86
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_35.rspfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_35.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 435744204 435615837 0 0
GrayWptr_A 719378812 719242809 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 719378812 719242809 0 0
T1 103540 103420 0 0
T2 61250 60431 0 0
T3 258324 258316 0 0
T4 34299 34276 0 0
T7 160730 160694 0 0
T8 261516 261513 0 0
T9 9249 9230 0 0
T10 8918 8853 0 0
T11 2675 2585 0 0
T12 951971 951967 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_37.rspfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_37.rspfifo
TotalCoveredPercent
Conditions141392.86
Logical141392.86
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_37.rspfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_37.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 435744204 435615837 0 0
GrayWptr_A 689485799 689361466 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 689485799 689361466 0 0
T1 84522 84423 0 0
T2 49151 48494 0 0
T3 336960 336949 0 0
T4 62248 62207 0 0
T7 225024 224974 0 0
T8 489299 489293 0 0
T9 24560 24510 0 0
T10 7006 6955 0 0
T11 1013 978 0 0
T12 148854 148853 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_39.rspfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_39.rspfifo
TotalCoveredPercent
Conditions141392.86
Logical141392.86
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_39.rspfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_39.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 435744204 435615837 0 0
GrayWptr_A 647116796 646984369 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 647116796 646984369 0 0
T1 160591 160403 0 0
T2 28735 28346 0 0
T3 449277 449264 0 0
T4 12703 12695 0 0
T7 985782 985570 0 0
T8 160282 160280 0 0
T9 27111 27057 0 0
T10 10403 10328 0 0
T11 1351 1305 0 0
T12 114234 114233 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_41.rspfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_41.rspfifo
TotalCoveredPercent
Conditions141392.86
Logical141392.86
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_41.rspfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_41.rspfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 435744204 435615837 0 0
GrayWptr_A 667412266 667289524 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 667412266 667289524 0 0
T1 185942 185727 0 0
T2 53688 52971 0 0
T3 129168 129164 0 0
T4 116869 116791 0 0
T7 182161 182120 0 0
T8 185590 185588 0 0
T9 7017 7002 0 0
T10 7643 7588 0 0
T11 1464 1415 0 0
T12 259629 259628 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_35.reqfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_35.reqfifo
TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_35.reqfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_35.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 719378812 719242809 0 0
GrayWptr_A 435744204 435615837 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 719378812 719242809 0 0
T1 103540 103420 0 0
T2 61250 60431 0 0
T3 258324 258316 0 0
T4 34299 34276 0 0
T7 160730 160694 0 0
T8 261516 261513 0 0
T9 9249 9230 0 0
T10 8918 8853 0 0
T11 2675 2585 0 0
T12 951971 951967 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_37.reqfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_37.reqfifo
TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_37.reqfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_37.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 689485799 689361466 0 0
GrayWptr_A 435744204 435615837 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 689485799 689361466 0 0
T1 84522 84423 0 0
T2 49151 48494 0 0
T3 336960 336949 0 0
T4 62248 62207 0 0
T7 225024 224974 0 0
T8 489299 489293 0 0
T9 24560 24510 0 0
T10 7006 6955 0 0
T11 1013 978 0 0
T12 148854 148853 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_39.reqfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_39.reqfifo
TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_39.reqfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_39.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 647116796 646984369 0 0
GrayWptr_A 435744204 435615837 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 647116796 646984369 0 0
T1 160591 160403 0 0
T2 28735 28346 0 0
T3 449277 449264 0 0
T4 12703 12695 0 0
T7 985782 985570 0 0
T8 160282 160280 0 0
T9 27111 27057 0 0
T10 10403 10328 0 0
T11 1351 1305 0 0
T12 114234 114233 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

Line Coverage for Instance : tb.dut.u_asf_41.reqfifo
Line No.TotalCoveredPercent
TOTAL3838100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN5611100.00
ALWAYS5944100.00
ALWAYS6844100.00
CONT_ASSIGN8611100.00
CONT_ASSIGN8911100.00
ALWAYS9244100.00
ALWAYS10144100.00
ALWAYS11733100.00
CONT_ASSIGN13011100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
ALWAYS19222100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN28411100.00
CONT_ASSIGN28511100.00
CONT_ASSIGN28711100.00
CONT_ASSIGN28811100.00
WARNING: The source file '/workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
53 1 1
56 1 1
59 1 1
60 1 1
61 1 1
62 1 1
MISSING_ELSE
68 1 1
69 1 1
70 1 1
71 1 1
MISSING_ELSE
86 1 1
89 1 1
92 1 1
93 1 1
94 1 1
95 1 1
MISSING_ELSE
101 1 1
102 1 1
103 1 1
104 1 1
MISSING_ELSE
117 1 1
118 1 1
120 1 1
130 1 1
131 1 1
132 1 1
166 1 1
167 1 1
171 1 1
172 1 1
192 1 1
193 1 1
MISSING_ELSE
197 1 1
211 1 1
284 1 1
285 1 1
287 1 1
288 1 1


Cond Coverage for Instance : tb.dut.u_asf_41.reqfifo
TotalCoveredPercent
Conditions1414100.00
Logical1414100.00
Non-Logical00
Event00

 LINE       53
 EXPRESSION (wvalid_i & wready_o)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       86
 EXPRESSION (rvalid_o & rready_i)
             ----1---   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T7
11CoveredT1,T2,T3

 LINE       130
 EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       131
 EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       132
 EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
            ------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       211
 EXPRESSION (rvalid_o ? rdata_int : '0)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_asf_41.reqfifo
Line No.TotalCoveredPercent
Branches 18 18 100.00
TERNARY 211 2 2 100.00
IF 59 3 3 100.00
IF 68 3 3 100.00
IF 92 3 3 100.00
IF 101 3 3 100.00
IF 117 2 2 100.00
IF 192 2 2 100.00

WARNING: The source file /workspace/xbar_build_mode/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 211 (rvalid_o) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 59 if ((!rst_wr_ni)) -2-: 61 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 68 if ((!rst_wr_ni)) -2-: 70 if (fifo_incr_wptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 92 if ((!rst_rd_ni)) -2-: 94 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 101 if ((!rst_rd_ni)) -2-: 103 if (fifo_incr_rptr)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 117 if ((!rst_wr_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 192 if (fifo_incr_wptr)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_asf_41.reqfifo
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
GrayRptr_A 667412266 667289524 0 0
GrayWptr_A 435744204 435615837 0 0
ParamCheckDepth_A 900 900 0 0


GrayRptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 667412266 667289524 0 0
T1 185942 185727 0 0
T2 53688 52971 0 0
T3 129168 129164 0 0
T4 116869 116791 0 0
T7 182161 182120 0 0
T8 185590 185588 0 0
T9 7017 7002 0 0
T10 7643 7588 0 0
T11 1464 1415 0 0
T12 259629 259628 0 0

GrayWptr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 435744204 435615837 0 0
T1 154248 154069 0 0
T2 32515 32078 0 0
T3 140399 140395 0 0
T4 109251 109178 0 0
T7 364322 364243 0 0
T8 244642 244639 0 0
T9 8292 8275 0 0
T10 9980 9908 0 0
T11 2140 2067 0 0
T12 242320 242319 0 0

ParamCheckDepth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 900 900 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

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