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 | fifo_h |
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 | fifo_h |
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[0].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[0].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[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[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 |
84.25 | 100.00 | 66.67 | 84.62 | 85.71 | 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 |
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 | 438426742 | 33665796 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 33665796 | 0 | 0 |
T1 | 36336 | 17614 | 0 | 0 |
T2 | 1494 | 129 | 0 | 0 |
T3 | 834762 | 26188 | 0 | 0 |
T4 | 107254 | 15076 | 0 | 0 |
T5 | 4570 | 1931 | 0 | 0 |
T15 | 4780 | 1846 | 0 | 0 |
T16 | 159044 | 70698 | 0 | 0 |
T17 | 3239 | 150 | 0 | 0 |
T18 | 1898 | 229 | 0 | 0 |
T19 | 496992 | 28281 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 43023110 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 43023110 | 0 | 0 |
T1 | 36336 | 17460 | 0 | 0 |
T2 | 1494 | 122 | 0 | 0 |
T3 | 834762 | 26188 | 0 | 0 |
T4 | 107254 | 15076 | 0 | 0 |
T5 | 4570 | 1450 | 0 | 0 |
T15 | 4780 | 1846 | 0 | 0 |
T16 | 159044 | 70698 | 0 | 0 |
T17 | 3239 | 150 | 0 | 0 |
T18 | 1898 | 229 | 0 | 0 |
T19 | 496992 | 28281 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 2382568 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 2382568 | 0 | 0 |
T1 | 36336 | 951 | 0 | 0 |
T2 | 1494 | 0 | 0 | 0 |
T3 | 834762 | 0 | 0 | 0 |
T4 | 107254 | 5120 | 0 | 0 |
T5 | 4570 | 517 | 0 | 0 |
T15 | 4780 | 243 | 0 | 0 |
T16 | 159044 | 1512 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 32 | 0 | 0 |
T19 | 496992 | 18784 | 0 | 0 |
T20 | 0 | 7589 | 0 | 0 |
T23 | 0 | 16 | 0 | 0 |
T24 | 0 | 16 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 3609202 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 3609202 | 0 | 0 |
T1 | 36336 | 951 | 0 | 0 |
T2 | 1494 | 0 | 0 | 0 |
T3 | 834762 | 0 | 0 | 0 |
T4 | 107254 | 5120 | 0 | 0 |
T5 | 4570 | 42 | 0 | 0 |
T15 | 4780 | 243 | 0 | 0 |
T16 | 159044 | 1512 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 32 | 0 | 0 |
T19 | 496992 | 18784 | 0 | 0 |
T20 | 0 | 14068 | 0 | 0 |
T23 | 0 | 16 | 0 | 0 |
T24 | 0 | 16 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 4112329 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 4112329 | 0 | 0 |
T1 | 36336 | 1295 | 0 | 0 |
T2 | 1494 | 19 | 0 | 0 |
T3 | 834762 | 13440 | 0 | 0 |
T4 | 107254 | 4096 | 0 | 0 |
T5 | 4570 | 18 | 0 | 0 |
T15 | 4780 | 305 | 0 | 0 |
T16 | 159044 | 2896 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 0 | 0 | 0 |
T19 | 496992 | 0 | 0 | 0 |
T20 | 0 | 4096 | 0 | 0 |
T22 | 0 | 160 | 0 | 0 |
T23 | 0 | 74 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 4887785 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 4887785 | 0 | 0 |
T1 | 36336 | 1141 | 0 | 0 |
T2 | 1494 | 12 | 0 | 0 |
T3 | 834762 | 13440 | 0 | 0 |
T4 | 107254 | 4096 | 0 | 0 |
T5 | 4570 | 12 | 0 | 0 |
T15 | 4780 | 305 | 0 | 0 |
T16 | 159044 | 2896 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 0 | 0 | 0 |
T19 | 496992 | 0 | 0 | 0 |
T20 | 0 | 12905 | 0 | 0 |
T22 | 0 | 160 | 0 | 0 |
T23 | 0 | 74 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 27102106 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 27102106 | 0 | 0 |
T1 | 36336 | 15368 | 0 | 0 |
T2 | 1494 | 110 | 0 | 0 |
T3 | 834762 | 12748 | 0 | 0 |
T4 | 107254 | 5860 | 0 | 0 |
T5 | 4570 | 1396 | 0 | 0 |
T15 | 4780 | 1298 | 0 | 0 |
T16 | 159044 | 66290 | 0 | 0 |
T17 | 3239 | 150 | 0 | 0 |
T18 | 1898 | 197 | 0 | 0 |
T19 | 496992 | 9497 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | 438426742 | 34526123 | 0 | 0 |
DepthKnown_A | 438426742 | 437476671 | 0 | 0 |
RvalidKnown_A | 438426742 | 437476671 | 0 | 0 |
WreadyKnown_A | 438426742 | 437476671 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1277 | 1277 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 34526123 | 0 | 0 |
T1 | 36336 | 15368 | 0 | 0 |
T2 | 1494 | 110 | 0 | 0 |
T3 | 834762 | 12748 | 0 | 0 |
T4 | 107254 | 5860 | 0 | 0 |
T5 | 4570 | 1396 | 0 | 0 |
T15 | 4780 | 1298 | 0 | 0 |
T16 | 159044 | 66290 | 0 | 0 |
T17 | 3239 | 150 | 0 | 0 |
T18 | 1898 | 197 | 0 | 0 |
T19 | 496992 | 9497 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 438426742 | 437476671 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1277 | 1277 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T15 | 1 | 1 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T17 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 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 | T1,T4,T15 |
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 | T1,T4,T15 |
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 | T1,T4,T15 |
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,T15,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T4,T15 |
LINE 138 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int) ----------1----------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T4,T15 |
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 | T1,T4,T15 |
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 | T1,T4,T15 |
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 | 435599635 | 3581913 | 0 | 0 |
DepthKnown_A | 435599635 | 434729124 | 0 | 0 |
RvalidKnown_A | 435599635 | 434729124 | 0 | 0 |
WreadyKnown_A | 435599635 | 434729124 | 0 | 0 |
gen_normal_fifo.depthShallNotExceedParamDepth | 435599635 | 3581913 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 435599635 | 3581913 | 0 | 0 |
T1 | 36336 | 951 | 0 | 0 |
T2 | 1494 | 0 | 0 | 0 |
T3 | 834762 | 0 | 0 | 0 |
T4 | 107254 | 5120 | 0 | 0 |
T5 | 4570 | 42 | 0 | 0 |
T15 | 4780 | 243 | 0 | 0 |
T16 | 159044 | 1512 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 32 | 0 | 0 |
T19 | 496992 | 18784 | 0 | 0 |
T20 | 0 | 14068 | 0 | 0 |
T23 | 0 | 16 | 0 | 0 |
T24 | 0 | 16 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 435599635 | 434729124 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 435599635 | 434729124 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 435599635 | 434729124 | 0 | 0 |
T1 | 36336 | 36257 | 0 | 0 |
T2 | 1494 | 1431 | 0 | 0 |
T3 | 834762 | 834589 | 0 | 0 |
T4 | 107254 | 107204 | 0 | 0 |
T5 | 4570 | 4511 | 0 | 0 |
T15 | 4780 | 4639 | 0 | 0 |
T16 | 159044 | 149474 | 0 | 0 |
T17 | 3239 | 3166 | 0 | 0 |
T18 | 1898 | 1760 | 0 | 0 |
T19 | 496992 | 496983 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 435599635 | 3581913 | 0 | 0 |
T1 | 36336 | 951 | 0 | 0 |
T2 | 1494 | 0 | 0 | 0 |
T3 | 834762 | 0 | 0 | 0 |
T4 | 107254 | 5120 | 0 | 0 |
T5 | 4570 | 42 | 0 | 0 |
T15 | 4780 | 243 | 0 | 0 |
T16 | 159044 | 1512 | 0 | 0 |
T17 | 3239 | 0 | 0 | 0 |
T18 | 1898 | 32 | 0 | 0 |
T19 | 496992 | 18784 | 0 | 0 |
T20 | 0 | 14068 | 0 | 0 |
T23 | 0 | 16 | 0 | 0 |
T24 | 0 | 16 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |