| 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | u_clkmgr_byp |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 100.00 | 100.00 | 100.00 | ||||
| gen_sec_buf.u_prim_sec_buf | 100.00 | 100.00 |
| 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 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | u_clkmgr_byp |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 100.00 | 100.00 | 100.00 | ||||
| gen_sec_buf.u_prim_sec_buf | 100.00 | 100.00 |
| 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 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | u_clkmgr_byp |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 98.63 | 100.00 | 93.15 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | 100.00 | 100.00 | u_clk_main_aes_trans |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | 100.00 | 100.00 | u_clk_main_hmac_trans |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | 100.00 | 100.00 | u_clk_main_kmac_trans |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 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 |
| 100.00 | 100.00 | 100.00 | 100.00 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | 100.00 | 100.00 | u_clk_main_otbn_trans |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| gen_flops.u_prim_flop | 100.00 | 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 2 | 2 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 85 | 1 | 1 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| SCORE | LINE |
| 100.00 | 100.00 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 2147483647 | 2147483647 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 2147483647 | 2147483647 | 0 | 0 |
| T1 | 4630320 | 4624285 | 0 | 0 |
| T2 | 1285430 | 1284312 | 0 | 0 |
| T4 | 39343 | 37444 | 0 | 0 |
| T5 | 47168 | 44932 | 0 | 0 |
| T15 | 56224 | 53646 | 0 | 0 |
| T16 | 40819 | 36671 | 0 | 0 |
| T17 | 20396 | 18139 | 0 | 0 |
| T18 | 42642 | 40338 | 0 | 0 |
| T19 | 35520 | 33408 | 0 | 0 |
| T20 | 37517 | 34309 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 2 | 2 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 168225665 | 165719583 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 168225665 | 165719583 | 0 | 0 |
| T1 | 114410 | 114257 | 0 | 0 |
| T2 | 52256 | 52208 | 0 | 0 |
| T4 | 841 | 798 | 0 | 0 |
| T5 | 1924 | 1826 | 0 | 0 |
| T15 | 2212 | 2104 | 0 | 0 |
| T16 | 2911 | 2595 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 890 | 840 | 0 | 0 |
| T19 | 1370 | 1290 | 0 | 0 |
| T20 | 2521 | 2287 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 2 | 2 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 168225665 | 165719583 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 168225665 | 165719583 | 0 | 0 |
| T1 | 114410 | 114257 | 0 | 0 |
| T2 | 52256 | 52208 | 0 | 0 |
| T4 | 841 | 798 | 0 | 0 |
| T5 | 1924 | 1826 | 0 | 0 |
| T15 | 2212 | 2104 | 0 | 0 |
| T16 | 2911 | 2595 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 890 | 840 | 0 | 0 |
| T19 | 1370 | 1290 | 0 | 0 |
| T20 | 2521 | 2287 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 168225665 | 165719583 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 168225665 | 165719583 | 0 | 0 |
| T1 | 114410 | 114257 | 0 | 0 |
| T2 | 52256 | 52208 | 0 | 0 |
| T4 | 841 | 798 | 0 | 0 |
| T5 | 1924 | 1826 | 0 | 0 |
| T15 | 2212 | 2104 | 0 | 0 |
| T16 | 2911 | 2595 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 890 | 840 | 0 | 0 |
| T19 | 1370 | 1290 | 0 | 0 |
| T20 | 2521 | 2287 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 114968483 | 114430456 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 114968483 | 114430456 | 0 | 0 |
| T1 | 91996 | 91931 | 0 | 0 |
| T2 | 25073 | 25059 | 0 | 0 |
| T4 | 802 | 785 | 0 | 0 |
| T5 | 901 | 877 | 0 | 0 |
| T15 | 1083 | 1052 | 0 | 0 |
| T16 | 680 | 642 | 0 | 0 |
| T17 | 345 | 335 | 0 | 0 |
| T18 | 875 | 840 | 0 | 0 |
| T19 | 679 | 648 | 0 | 0 |
| T20 | 701 | 670 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 233936852 | 231739792 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 233936852 | 231739792 | 0 | 0 |
| T1 | 191879 | 191605 | 0 | 0 |
| T2 | 50167 | 50121 | 0 | 0 |
| T4 | 1658 | 1570 | 0 | 0 |
| T5 | 1847 | 1753 | 0 | 0 |
| T15 | 2212 | 2104 | 0 | 0 |
| T16 | 1440 | 1283 | 0 | 0 |
| T17 | 713 | 625 | 0 | 0 |
| T18 | 1782 | 1681 | 0 | 0 |
| T19 | 1411 | 1324 | 0 | 0 |
| T20 | 1316 | 1194 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 457385032 | 453049813 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 457385032 | 453049813 | 0 | 0 |
| T1 | 366458 | 365913 | 0 | 0 |
| T2 | 100330 | 100236 | 0 | 0 |
| T4 | 3316 | 3140 | 0 | 0 |
| T5 | 3697 | 3507 | 0 | 0 |
| T15 | 4424 | 4207 | 0 | 0 |
| T16 | 2880 | 2567 | 0 | 0 |
| T17 | 1426 | 1250 | 0 | 0 |
| T18 | 3565 | 3361 | 0 | 0 |
| T19 | 2767 | 2591 | 0 | 0 |
| T20 | 2632 | 2387 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 229938236 | 228862039 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 229938236 | 228862039 | 0 | 0 |
| T1 | 183993 | 183861 | 0 | 0 |
| T2 | 50146 | 50118 | 0 | 0 |
| T4 | 1605 | 1570 | 0 | 0 |
| T5 | 1802 | 1754 | 0 | 0 |
| T15 | 2165 | 2103 | 0 | 0 |
| T16 | 1360 | 1284 | 0 | 0 |
| T17 | 691 | 670 | 0 | 0 |
| T18 | 1750 | 1681 | 0 | 0 |
| T19 | 1358 | 1296 | 0 | 0 |
| T20 | 1404 | 1342 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 114968483 | 114430456 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 114968483 | 114430456 | 0 | 0 |
| T1 | 91996 | 91931 | 0 | 0 |
| T2 | 25073 | 25059 | 0 | 0 |
| T4 | 802 | 785 | 0 | 0 |
| T5 | 901 | 877 | 0 | 0 |
| T15 | 1083 | 1052 | 0 | 0 |
| T16 | 680 | 642 | 0 | 0 |
| T17 | 345 | 335 | 0 | 0 |
| T18 | 875 | 840 | 0 | 0 |
| T19 | 679 | 648 | 0 | 0 |
| T20 | 701 | 670 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 114968483 | 114430456 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 114968483 | 114430456 | 0 | 0 |
| T1 | 91996 | 91931 | 0 | 0 |
| T2 | 25073 | 25059 | 0 | 0 |
| T4 | 802 | 785 | 0 | 0 |
| T5 | 901 | 877 | 0 | 0 |
| T15 | 1083 | 1052 | 0 | 0 |
| T16 | 680 | 642 | 0 | 0 |
| T17 | 345 | 335 | 0 | 0 |
| T18 | 875 | 840 | 0 | 0 |
| T19 | 679 | 648 | 0 | 0 |
| T20 | 701 | 670 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 114968483 | 114430456 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 114968483 | 114430456 | 0 | 0 |
| T1 | 91996 | 91931 | 0 | 0 |
| T2 | 25073 | 25059 | 0 | 0 |
| T4 | 802 | 785 | 0 | 0 |
| T5 | 901 | 877 | 0 | 0 |
| T15 | 1083 | 1052 | 0 | 0 |
| T16 | 680 | 642 | 0 | 0 |
| T17 | 345 | 335 | 0 | 0 |
| T18 | 875 | 840 | 0 | 0 |
| T19 | 679 | 648 | 0 | 0 |
| T20 | 701 | 670 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 229938236 | 228862039 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 229938236 | 228862039 | 0 | 0 |
| T1 | 183993 | 183861 | 0 | 0 |
| T2 | 50146 | 50118 | 0 | 0 |
| T4 | 1605 | 1570 | 0 | 0 |
| T5 | 1802 | 1754 | 0 | 0 |
| T15 | 2165 | 2103 | 0 | 0 |
| T16 | 1360 | 1284 | 0 | 0 |
| T17 | 691 | 670 | 0 | 0 |
| T18 | 1750 | 1681 | 0 | 0 |
| T19 | 1358 | 1296 | 0 | 0 |
| T20 | 1404 | 1342 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 457385032 | 453049813 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 457385032 | 453049813 | 0 | 0 |
| T1 | 366458 | 365913 | 0 | 0 |
| T2 | 100330 | 100236 | 0 | 0 |
| T4 | 3316 | 3140 | 0 | 0 |
| T5 | 3697 | 3507 | 0 | 0 |
| T15 | 4424 | 4207 | 0 | 0 |
| T16 | 2880 | 2567 | 0 | 0 |
| T17 | 1426 | 1250 | 0 | 0 |
| T18 | 3565 | 3361 | 0 | 0 |
| T19 | 2767 | 2591 | 0 | 0 |
| T20 | 2632 | 2387 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 233936852 | 231739792 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 233936852 | 231739792 | 0 | 0 |
| T1 | 191879 | 191605 | 0 | 0 |
| T2 | 50167 | 50121 | 0 | 0 |
| T4 | 1658 | 1570 | 0 | 0 |
| T5 | 1847 | 1753 | 0 | 0 |
| T15 | 2212 | 2104 | 0 | 0 |
| T16 | 1440 | 1283 | 0 | 0 |
| T17 | 713 | 625 | 0 | 0 |
| T18 | 1782 | 1681 | 0 | 0 |
| T19 | 1411 | 1324 | 0 | 0 |
| T20 | 1316 | 1194 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| Line No. | Total | Covered | Percent | |
|---|---|---|---|---|
| TOTAL | 3 | 3 | 100.00 | |
| CONT_ASSIGN | 34 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
| Line No. | Covered | Statements | |
|---|---|---|---|
| 34 | 1 | 1 | |
| 82 | 1 | 1 | |
| 85 | 1 | 1 |
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 1 | 1 | 100.00 | 1 | 100.00 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| OutputsKnown_A | 487104382 | 482521034 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 487104382 | 482521034 | 0 | 0 |
| T1 | 405741 | 405172 | 0 | 0 |
| T2 | 104514 | 104417 | 0 | 0 |
| T4 | 3409 | 3225 | 0 | 0 |
| T5 | 3850 | 3653 | 0 | 0 |
| T15 | 4609 | 4383 | 0 | 0 |
| T16 | 3001 | 2675 | 0 | 0 |
| T17 | 1484 | 1301 | 0 | 0 |
| T18 | 3713 | 3502 | 0 | 0 |
| T19 | 2937 | 2754 | 0 | 0 |
| T20 | 2741 | 2487 | 0 | 0 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |