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 |
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 | 415038073 | 3707468 | 0 | 0 |
DepthKnown_A | 415038073 | 414194840 | 0 | 0 |
RvalidKnown_A | 415038073 | 414194840 | 0 | 0 |
WreadyKnown_A | 415038073 | 414194840 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1259 | 1259 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 3707468 | 0 | 0 |
T49 | 2932 | 1 | 0 | 0 |
T51 | 1034 | 0 | 0 | 0 |
T52 | 1157 | 0 | 0 | 0 |
T53 | 3215 | 165 | 0 | 0 |
T54 | 4119 | 133 | 0 | 0 |
T55 | 960 | 0 | 0 | 0 |
T56 | 1113 | 0 | 0 | 0 |
T57 | 1391 | 0 | 0 | 0 |
T137 | 752 | 0 | 0 | 0 |
T138 | 3089 | 233 | 0 | 0 |
T139 | 0 | 401 | 0 | 0 |
T141 | 0 | 91 | 0 | 0 |
T144 | 0 | 331 | 0 | 0 |
T145 | 0 | 192 | 0 | 0 |
T146 | 0 | 2 | 0 | 0 |
T147 | 0 | 31 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1259 | 1259 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T48 | 1 | 1 | 0 | 0 |
T49 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T52 | 1 | 1 | 0 | 0 |
T53 | 1 | 1 | 0 | 0 |
T54 | 1 | 1 | 0 | 0 |
T55 | 1 | 1 | 0 | 0 |
T56 | 1 | 1 | 0 | 0 |
T57 | 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 | 415038073 | 4144788 | 0 | 0 |
DepthKnown_A | 415038073 | 414194840 | 0 | 0 |
RvalidKnown_A | 415038073 | 414194840 | 0 | 0 |
WreadyKnown_A | 415038073 | 414194840 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1259 | 1259 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 4144788 | 0 | 0 |
T49 | 2932 | 1 | 0 | 0 |
T51 | 1034 | 0 | 0 | 0 |
T52 | 1157 | 0 | 0 | 0 |
T53 | 3215 | 154 | 0 | 0 |
T54 | 4119 | 125 | 0 | 0 |
T55 | 960 | 0 | 0 | 0 |
T56 | 1113 | 0 | 0 | 0 |
T57 | 1391 | 0 | 0 | 0 |
T137 | 752 | 0 | 0 | 0 |
T138 | 3089 | 182 | 0 | 0 |
T139 | 0 | 294 | 0 | 0 |
T141 | 0 | 89 | 0 | 0 |
T144 | 0 | 294 | 0 | 0 |
T145 | 0 | 180 | 0 | 0 |
T146 | 0 | 2 | 0 | 0 |
T147 | 0 | 31 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1259 | 1259 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T48 | 1 | 1 | 0 | 0 |
T49 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T52 | 1 | 1 | 0 | 0 |
T53 | 1 | 1 | 0 | 0 |
T54 | 1 | 1 | 0 | 0 |
T55 | 1 | 1 | 0 | 0 |
T56 | 1 | 1 | 0 | 0 |
T57 | 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 | 415038073 | 23675571 | 0 | 0 |
DepthKnown_A | 415038073 | 414194840 | 0 | 0 |
RvalidKnown_A | 415038073 | 414194840 | 0 | 0 |
WreadyKnown_A | 415038073 | 414194840 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1259 | 1259 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 23675571 | 0 | 0 |
T16 | 1214 | 103 | 0 | 0 |
T48 | 68404 | 8561 | 0 | 0 |
T49 | 2932 | 1695 | 0 | 0 |
T51 | 1034 | 18 | 0 | 0 |
T52 | 1157 | 19 | 0 | 0 |
T53 | 3215 | 943 | 0 | 0 |
T54 | 4119 | 1904 | 0 | 0 |
T55 | 960 | 17 | 0 | 0 |
T56 | 1113 | 12 | 0 | 0 |
T57 | 1391 | 57 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1259 | 1259 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T48 | 1 | 1 | 0 | 0 |
T49 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T52 | 1 | 1 | 0 | 0 |
T53 | 1 | 1 | 0 | 0 |
T54 | 1 | 1 | 0 | 0 |
T55 | 1 | 1 | 0 | 0 |
T56 | 1 | 1 | 0 | 0 |
T57 | 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 | 415038073 | 29879629 | 0 | 0 |
DepthKnown_A | 415038073 | 414194840 | 0 | 0 |
RvalidKnown_A | 415038073 | 414194840 | 0 | 0 |
WreadyKnown_A | 415038073 | 414194840 | 0 | 0 |
gen_passthru_fifo.paramCheckPass | 1259 | 1259 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 29879629 | 0 | 0 |
T16 | 1214 | 103 | 0 | 0 |
T48 | 68404 | 7932 | 0 | 0 |
T49 | 2932 | 965 | 0 | 0 |
T51 | 1034 | 18 | 0 | 0 |
T52 | 1157 | 19 | 0 | 0 |
T53 | 3215 | 644 | 0 | 0 |
T54 | 4119 | 1085 | 0 | 0 |
T55 | 960 | 17 | 0 | 0 |
T56 | 1113 | 62 | 0 | 0 |
T57 | 1391 | 57 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 415038073 | 414194840 | 0 | 0 |
T16 | 1214 | 1120 | 0 | 0 |
T48 | 68404 | 63939 | 0 | 0 |
T49 | 2932 | 2840 | 0 | 0 |
T51 | 1034 | 971 | 0 | 0 |
T52 | 1157 | 1072 | 0 | 0 |
T53 | 3215 | 3138 | 0 | 0 |
T54 | 4119 | 4063 | 0 | 0 |
T55 | 960 | 868 | 0 | 0 |
T56 | 1113 | 1063 | 0 | 0 |
T57 | 1391 | 1333 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1259 | 1259 | 0 | 0 |
T16 | 1 | 1 | 0 | 0 |
T48 | 1 | 1 | 0 | 0 |
T49 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T52 | 1 | 1 | 0 | 0 |
T53 | 1 | 1 | 0 | 0 |
T54 | 1 | 1 | 0 | 0 |
T55 | 1 | 1 | 0 | 0 |
T56 | 1 | 1 | 0 | 0 |
T57 | 1 | 1 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |