| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| u_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[0].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[1].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[2].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| u_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[0].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[1].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 0.00 | 0.00 | 0.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| gen_info_types[2].u_info_mem | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| no children | |||||||
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 7 | 0 | 0.00 | |
| CONT_ASSIGN | 42 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 52 | 0 | 0 | |
| ALWAYS | 63 | 6 | 0 | 0.00 | 
| Line No. | Covered | Statements | |
|---|---|---|---|
| 42 | 0 | 1 | |
| 52 | unreachable | ||
| 63 | 0 | 1 | |
| 64 | 0 | 1 | |
| 65 | 0 | 1 | |
| 66 | 0 | 1 | |
| 67 | 0 | 1 | |
| ==> MISSING_ELSE | |||
| 72 | 0 | 1 | |
| ==> MISSING_ELSE | 
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| Branches | 3 | 0 | 0.00 | |
| IF | 63 | 3 | 0 | 0.00 | 
LineNo. Expression -1-: 63 if (req_i) -2-: 64 if (write_i)
| -1- | -2- | Status | Tests | 
|---|---|---|---|
| 1 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 0 | - | Not Covered | 
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |