SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
100.00 | 100.00 | 100.00 | gen_dfifo[1].fifo_d |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
100.00 | 100.00 | 100.00 | gen_dfifo[2].fifo_d |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
100.00 | 100.00 | 100.00 | gen_dfifo[2].fifo_d |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
92.19 | 100.00 | 68.75 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
92.36 | 100.00 | 75.00 | 94.44 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
83.96 | 100.00 | 65.52 | 85.71 | 84.62 | u_to_prog_fifo |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_normal_fifo.u_fifo_cnt | 90.30 | 100.00 | 80.00 | 90.91 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
67.47 | 85.71 | 38.46 | 85.71 | 60.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
72.63 | 94.44 | 54.84 | 81.25 | 60.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
83.96 | 100.00 | 65.52 | 85.71 | 84.62 | u_to_prog_fifo |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_normal_fifo.u_fifo_cnt | 81.48 | 100.00 | 66.67 | 77.78 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 4 | 4 | 100.00 | |
CONT_ASSIGN | 44 | 1 | 1 | 100.00 |
CONT_ASSIGN | 45 | 1 | 1 | 100.00 |
CONT_ASSIGN | 48 | 1 | 1 | 100.00 |
CONT_ASSIGN | 49 | 1 | 1 | 100.00 |
CONT_ASSIGN | 53 | 0 | 0 |
Line No. | Covered | Statements | |
---|---|---|---|
44 | 1 | 1 | |
45 | 1 | 1 | |
48 | 1 | 1 | |
49 | 1 | 1 | |
53 | unreachable |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
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 |
Name | Attempts | Real Successes | Failures | Incomplete |
DataKnown_A | 383637534 | 5084537 | 0 | 0 |
DepthKnown_A | 383637534 | 382688660 | 0 | 0 |
RvalidKnown_A | 383637534 | 382688660 | 0 | 0 |
WreadyKnown_A | 383637534 | 382688660 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1261 | 1261 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 5084537 | 0 | 0 |
T1 | 166213 | 27712 | 0 | 0 |
T2 | 40699 | 0 | 0 | 0 |
T3 | 570474 | 0 | 0 | 0 |
T4 | 216569 | 23072 | 0 | 0 |
T5 | 0 | 85 | 0 | 0 |
T6 | 0 | 7680 | 0 | 0 |
T7 | 4527 | 32 | 0 | 0 |
T11 | 1153 | 0 | 0 | 0 |
T18 | 77716 | 5120 | 0 | 0 |
T19 | 2463 | 0 | 0 | 0 |
T20 | 3624 | 0 | 0 | 0 |
T21 | 221492 | 0 | 0 | 0 |
T22 | 0 | 25501 | 0 | 0 |
T24 | 0 | 26752 | 0 | 0 |
T25 | 0 | 34 | 0 | 0 |
T56 | 0 | 992 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1261 | 1261 | 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 |
T11 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T21 | 1 | 1 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 4 | 4 | 100.00 | |
CONT_ASSIGN | 44 | 1 | 1 | 100.00 |
CONT_ASSIGN | 45 | 1 | 1 | 100.00 |
CONT_ASSIGN | 48 | 1 | 1 | 100.00 |
CONT_ASSIGN | 49 | 1 | 1 | 100.00 |
CONT_ASSIGN | 53 | 0 | 0 |
Line No. | Covered | Statements | |
---|---|---|---|
44 | 1 | 1 | |
45 | 1 | 1 | |
48 | 1 | 1 | |
49 | 1 | 1 | |
53 | unreachable |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
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 |
Name | Attempts | Real Successes | Failures | Incomplete |
DataKnown_A | 383637534 | 28315583 | 0 | 0 |
DepthKnown_A | 383637534 | 382688660 | 0 | 0 |
RvalidKnown_A | 383637534 | 382688660 | 0 | 0 |
WreadyKnown_A | 383637534 | 382688660 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1261 | 1261 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 28315583 | 0 | 0 |
T1 | 166213 | 14061 | 0 | 0 |
T2 | 40699 | 18165 | 0 | 0 |
T3 | 570474 | 989 | 0 | 0 |
T4 | 216569 | 9011 | 0 | 0 |
T7 | 4527 | 1183 | 0 | 0 |
T11 | 1153 | 106 | 0 | 0 |
T18 | 77716 | 17614 | 0 | 0 |
T19 | 2463 | 131 | 0 | 0 |
T20 | 3624 | 1220 | 0 | 0 |
T21 | 221492 | 12881 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1261 | 1261 | 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 |
T11 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T21 | 1 | 1 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 4 | 4 | 100.00 | |
CONT_ASSIGN | 44 | 1 | 1 | 100.00 |
CONT_ASSIGN | 45 | 1 | 1 | 100.00 |
CONT_ASSIGN | 48 | 1 | 1 | 100.00 |
CONT_ASSIGN | 49 | 1 | 1 | 100.00 |
CONT_ASSIGN | 53 | 0 | 0 |
Line No. | Covered | Statements | |
---|---|---|---|
44 | 1 | 1 | |
45 | 1 | 1 | |
48 | 1 | 1 | |
49 | 1 | 1 | |
53 | unreachable |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
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 |
Name | Attempts | Real Successes | Failures | Incomplete |
DataKnown_A | 383637534 | 35840577 | 0 | 0 |
DepthKnown_A | 383637534 | 382688660 | 0 | 0 |
RvalidKnown_A | 383637534 | 382688660 | 0 | 0 |
WreadyKnown_A | 383637534 | 382688660 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1261 | 1261 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 35840577 | 0 | 0 |
T1 | 166213 | 14061 | 0 | 0 |
T2 | 40699 | 18165 | 0 | 0 |
T3 | 570474 | 989 | 0 | 0 |
T4 | 216569 | 40714 | 0 | 0 |
T7 | 4527 | 1183 | 0 | 0 |
T11 | 1153 | 106 | 0 | 0 |
T18 | 77716 | 17614 | 0 | 0 |
T19 | 2463 | 131 | 0 | 0 |
T20 | 3624 | 1220 | 0 | 0 |
T21 | 221492 | 12881 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 383637534 | 382688660 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1261 | 1261 | 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 |
T11 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T21 | 1 | 1 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 15 | 15 | 100.00 | |
ALWAYS | 69 | 4 | 4 | 100.00 |
CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
CONT_ASSIGN | 100 | 1 | 1 | 100.00 |
CONT_ASSIGN | 101 | 1 | 1 | 100.00 |
CONT_ASSIGN | 108 | 1 | 1 | 100.00 |
ALWAYS | 111 | 2 | 2 | 100.00 |
CONT_ASSIGN | 116 | 1 | 1 | 100.00 |
CONT_ASSIGN | 133 | 1 | 1 | 100.00 |
CONT_ASSIGN | 134 | 1 | 1 | 100.00 |
CONT_ASSIGN | 138 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
69 | 1 | 1 | |
70 | 1 | 1 | |
71 | 1 | 1 | |
72 | 1 | 1 | |
MISSING_ELSE | |||
81 | 1 | 1 | |
82 | 1 | 1 | |
100 | 1 | 1 | |
101 | 1 | 1 | |
108 | 1 | 1 | |
111 | 1 | 1 | |
112 | 1 | 1 | |
MISSING_ELSE | |||
116 | 1 | 1 | |
133 | 1 | 1 | |
134 | 1 | 1 | |
138 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 16 | 11 | 68.75 |
Logical | 16 | 11 | 68.75 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 81 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst))) -----1----- ---------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T2,T18,T7 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 82 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) -------------1------------ ---------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T2,T18,T7 |
LINE 100 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) ----1--- ----2--- ---------------3--------------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Not Covered | |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T18,T7 |
LINE 101 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) ----1--- ----2--- ---------------3--------------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T4,T6,T22 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T18,T7 |
LINE 138 EXPRESSION (gen_normal_fifo.empty ? (17'(0)) : gen_normal_fifo.rdata_int) ----------1----------
-1- | Status | Tests |
---|---|---|
0 | Covered | T2,T18,T7 |
1 | Covered | T1,T2,T3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 7 | 7 | 100.00 | |
TERNARY | 138 | 2 | 2 | 100.00 |
IF | 69 | 3 | 3 | 100.00 |
IF | 111 | 2 | 2 | 100.00 |
LineNo. Expression -1-: 138 (gen_normal_fifo.empty) ?
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T2,T18,T7 |
LineNo. Expression -1-: 69 if ((!rst_ni)) -2-: 71 if (gen_normal_fifo.under_rst)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
0 | 0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 111 if (gen_normal_fifo.fifo_incr_wptr)
-1- | Status | Tests |
---|---|---|
1 | Covered | T2,T18,T7 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
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 |
Name | Attempts | Real Successes | Failures | Incomplete |
DataKnown_A | 380996352 | 3735627 | 0 | 0 |
DepthKnown_A | 380996352 | 380128306 | 0 | 0 |
RvalidKnown_A | 380996352 | 380128306 | 0 | 0 |
WreadyKnown_A | 380996352 | 380128306 | 0 | 0 |
gen_normal_fifo.depthShallNotExceedParamDepth | 380996352 | 3735627 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 3735627 | 0 | 0 |
T2 | 40699 | 1730 | 0 | 0 |
T3 | 570474 | 0 | 0 | 0 |
T4 | 216569 | 25316 | 0 | 0 |
T5 | 70393 | 43 | 0 | 0 |
T6 | 0 | 4608 | 0 | 0 |
T7 | 4527 | 53 | 0 | 0 |
T11 | 1153 | 0 | 0 | 0 |
T18 | 77716 | 6144 | 0 | 0 |
T19 | 2463 | 0 | 0 | 0 |
T20 | 3624 | 78 | 0 | 0 |
T21 | 221492 | 7864 | 0 | 0 |
T22 | 0 | 20552 | 0 | 0 |
T25 | 0 | 2 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 3735627 | 0 | 0 |
T2 | 40699 | 1730 | 0 | 0 |
T3 | 570474 | 0 | 0 | 0 |
T4 | 216569 | 25316 | 0 | 0 |
T5 | 70393 | 43 | 0 | 0 |
T6 | 0 | 4608 | 0 | 0 |
T7 | 4527 | 53 | 0 | 0 |
T11 | 1153 | 0 | 0 | 0 |
T18 | 77716 | 6144 | 0 | 0 |
T19 | 2463 | 0 | 0 | 0 |
T20 | 3624 | 78 | 0 | 0 |
T21 | 221492 | 7864 | 0 | 0 |
T22 | 0 | 20552 | 0 | 0 |
T25 | 0 | 2 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 14 | 12 | 85.71 | |
ALWAYS | 69 | 4 | 4 | 100.00 |
CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
CONT_ASSIGN | 100 | 1 | 1 | 100.00 |
CONT_ASSIGN | 101 | 0 | 0 | |
CONT_ASSIGN | 108 | 1 | 0 | 0.00 |
ALWAYS | 111 | 2 | 2 | 100.00 |
CONT_ASSIGN | 116 | 1 | 1 | 100.00 |
CONT_ASSIGN | 133 | 1 | 0 | 0.00 |
CONT_ASSIGN | 134 | 1 | 1 | 100.00 |
CONT_ASSIGN | 138 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
69 | 1 | 1 | |
70 | 1 | 1 | |
71 | 1 | 1 | |
72 | 1 | 1 | |
MISSING_ELSE | |||
81 | 1 | 1 | |
82 | 1 | 1 | |
100 | 1 | 1 | |
101 | unreachable | ||
108 | 0 | 1 | |
111 | 1 | 1 | |
112 | 1 | 1 | |
MISSING_ELSE | |||
116 | 1 | 1 | |
133 | 0 | 1 | |
134 | 1 | 1 | |
138 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 13 | 5 | 38.46 |
Logical | 13 | 5 | 38.46 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 81 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst))) -----1----- ---------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 82 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) -------------1------------ ---------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 100 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) ----1--- ----2--- ---------------3--------------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Not Covered | |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Not Covered |
LINE 101 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) ----1--- ----2--- ---------------3--------------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 1 | 1 | Unreachable | |
1 | 0 | 1 | Not Covered | |
1 | 1 | 0 | Unreachable | |
1 | 1 | 1 | Unreachable |
LINE 138 EXPRESSION (gen_normal_fifo.empty ? (5'(0)) : gen_normal_fifo.rdata_int) ----------1----------
-1- | Status | Tests |
---|---|---|
0 | Not Covered | |
1 | Covered | T1,T2,T3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 7 | 6 | 85.71 | |
TERNARY | 138 | 2 | 1 | 50.00 |
IF | 69 | 3 | 3 | 100.00 |
IF | 111 | 2 | 2 | 100.00 |
LineNo. Expression -1-: 138 (gen_normal_fifo.empty) ?
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Not Covered |
LineNo. Expression -1-: 69 if ((!rst_ni)) -2-: 71 if (gen_normal_fifo.under_rst)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
0 | 0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 111 if (gen_normal_fifo.fifo_incr_wptr)
-1- | Status | Tests |
---|---|---|
1 | Covered | T8,T14 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 5 | 5 | 100.00 | 3 | 60.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 5 | 5 | 100.00 | 3 | 60.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
DataKnown_A | 380996352 | 0 | 0 | 0 |
DepthKnown_A | 380996352 | 380128306 | 0 | 0 |
RvalidKnown_A | 380996352 | 380128306 | 0 | 0 |
WreadyKnown_A | 380996352 | 380128306 | 0 | 0 |
gen_normal_fifo.depthShallNotExceedParamDepth | 380996352 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 380128306 | 0 | 0 |
T1 | 166213 | 166088 | 0 | 0 |
T2 | 40699 | 40608 | 0 | 0 |
T3 | 570474 | 570300 | 0 | 0 |
T4 | 216569 | 216517 | 0 | 0 |
T7 | 4527 | 4449 | 0 | 0 |
T11 | 1153 | 923 | 0 | 0 |
T18 | 77716 | 77623 | 0 | 0 |
T19 | 2463 | 2390 | 0 | 0 |
T20 | 3624 | 3551 | 0 | 0 |
T21 | 221492 | 221487 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 380996352 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |