SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
83.33 | 100.00 | 100.00 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
68.52 | 100.00 | 55.56 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
68.52 | 100.00 | 55.56 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
i_mux_tx_se0 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
72.22 | 100.00 | 66.67 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
72.22 | 100.00 | 66.67 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
i_mux_tx_d |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
75.93 | 100.00 | 77.78 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
75.93 | 100.00 | 77.78 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
i_mux_tx_oe |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
79.63 | 100.00 | 88.89 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
79.63 | 100.00 | 88.89 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
i_mux_tx_dn |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
83.33 | 100.00 | 100.00 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
83.33 | 100.00 | 100.00 | 50.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
i_mux_tx_dp |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T18,T25,T26 |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T25,T26 |
1 | 0 | Covered | T18,T25,T26 |
1 | 1 | Covered | T18,T25,T26 |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T25,T26 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 13322055 | 13310360 | 0 | 0 |
selKnown1 | 91 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 13322055 | 13310360 | 0 | 0 |
T2 | 20634 | 20629 | 0 | 0 |
T3 | 2 | 0 | 0 | 0 |
T4 | 17326 | 17321 | 0 | 0 |
T5 | 15346 | 15341 | 0 | 0 |
T6 | 91 | 264 | 0 | 0 |
T16 | 4075 | 11766 | 0 | 0 |
T17 | 0 | 804 | 0 | 0 |
T21 | 0 | 432 | 0 | 0 |
T27 | 300 | 295 | 0 | 0 |
T28 | 22 | 17 | 0 | 0 |
T29 | 22 | 17 | 0 | 0 |
T30 | 5664 | 5659 | 0 | 0 |
T31 | 23665 | 23660 | 0 | 0 |
T32 | 2 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 91 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 5 | 55.56 |
Logical | 9 | 5 | 55.56 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T27,T28 |
1 | 0 | Not Covered |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T18,T25,T26 |
1 | 1 | Not Covered |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T27,T28 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 1 | 50.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 1 | 50.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 147054 | 144943 | 0 | 0 |
selKnown1 | 0 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 147054 | 144943 | 0 | 0 |
T2 | 253 | 252 | 0 | 0 |
T4 | 161 | 160 | 0 | 0 |
T5 | 150 | 149 | 0 | 0 |
T6 | 2 | 1 | 0 | 0 |
T16 | 126 | 125 | 0 | 0 |
T17 | 0 | 402 | 0 | 0 |
T21 | 0 | 216 | 0 | 0 |
T27 | 2 | 1 | 0 | 0 |
T28 | 1 | 0 | 0 | 0 |
T29 | 1 | 0 | 0 | 0 |
T30 | 174 | 173 | 0 | 0 |
T31 | 252 | 251 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 6 | 66.67 |
Logical | 9 | 6 | 66.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T2,T27,T28 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T18,T25,T26 |
1 | 1 | Not Covered |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T25,T26 |
1 | 0 | Covered | T2,T27,T28 |
1 | 1 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 1 | 50.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 1 | 50.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 4350013 | 4347333 | 0 | 0 |
selKnown1 | 0 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 4350013 | 4347333 | 0 | 0 |
T2 | 6725 | 6724 | 0 | 0 |
T3 | 1 | 0 | 0 | 0 |
T4 | 5677 | 5676 | 0 | 0 |
T5 | 5027 | 5026 | 0 | 0 |
T6 | 0 | 88 | 0 | 0 |
T16 | 0 | 3847 | 0 | 0 |
T27 | 99 | 98 | 0 | 0 |
T28 | 7 | 6 | 0 | 0 |
T29 | 7 | 6 | 0 | 0 |
T30 | 1774 | 1773 | 0 | 0 |
T31 | 7740 | 7739 | 0 | 0 |
T32 | 1 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 7 | 77.78 |
Logical | 9 | 7 | 77.78 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T27,T28 |
1 | 0 | Covered | T18,T25,T26 |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T25,T26 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T18,T25,T26 |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T27,T28 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 147055 | 144943 | 0 | 0 |
selKnown1 | 50 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 147055 | 144943 | 0 | 0 |
T2 | 253 | 252 | 0 | 0 |
T4 | 161 | 160 | 0 | 0 |
T5 | 150 | 149 | 0 | 0 |
T6 | 2 | 1 | 0 | 0 |
T16 | 126 | 125 | 0 | 0 |
T17 | 0 | 402 | 0 | 0 |
T21 | 0 | 216 | 0 | 0 |
T27 | 2 | 1 | 0 | 0 |
T28 | 1 | 0 | 0 | 0 |
T29 | 1 | 0 | 0 | 0 |
T30 | 174 | 173 | 0 | 0 |
T31 | 252 | 251 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 50 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 8 | 88.89 |
Logical | 9 | 8 | 88.89 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T27,T28 |
1 | 0 | Covered | T18,T33,T34 |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T33,T34 |
1 | 0 | Covered | T25,T26,T35 |
1 | 1 | Covered | T18,T33,T34 |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T27,T28 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 4327920 | 4325808 | 0 | 0 |
selKnown1 | 21 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 4327920 | 4325808 | 0 | 0 |
T2 | 6678 | 6677 | 0 | 0 |
T4 | 5650 | 5649 | 0 | 0 |
T5 | 4992 | 4991 | 0 | 0 |
T6 | 87 | 86 | 0 | 0 |
T16 | 3823 | 3822 | 0 | 0 |
T27 | 98 | 97 | 0 | 0 |
T28 | 6 | 5 | 0 | 0 |
T29 | 6 | 5 | 0 | 0 |
T30 | 1768 | 1767 | 0 | 0 |
T31 | 7681 | 7680 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 21 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 1 | 1 | 100.00 | |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
17 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 17 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i)) --------1------- ----------2----------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T2,T27,T28 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T25,T26,T35 |
LINE 17 SUB-EXPRESSION (sel_i & clk1_i) --1-- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T25,T26,T35 |
1 | 0 | Covered | T18,T33,T36 |
1 | 1 | Covered | T25,T26,T35 |
LINE 17 SUB-EXPRESSION (((~sel_i)) & clk0_i) -----1---- ---2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T18,T25,T26 |
1 | 0 | Covered | T2,T27,T28 |
1 | 1 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 1 | 50.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 1 | 50.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 | 4350013 | 4347333 | 0 | 0 |
selKnown1 | 20 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 4350013 | 4347333 | 0 | 0 |
T2 | 6725 | 6724 | 0 | 0 |
T3 | 1 | 0 | 0 | 0 |
T4 | 5677 | 5676 | 0 | 0 |
T5 | 5027 | 5026 | 0 | 0 |
T6 | 0 | 88 | 0 | 0 |
T16 | 0 | 3847 | 0 | 0 |
T27 | 99 | 98 | 0 | 0 |
T28 | 7 | 6 | 0 | 0 |
T29 | 7 | 6 | 0 | 0 |
T30 | 1774 | 1773 | 0 | 0 |
T31 | 7740 | 7739 | 0 | 0 |
T32 | 1 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 20 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |