SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
96.78 | 96.78 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.u_dmi_jtag.i_dmi_cdc.i_cdc_resp | 94.67 | 94.67 | |||||
tb.dut.u_dmi_jtag.i_dmi_cdc.i_cdc_req | 98.89 | 98.89 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
94.67 | 94.67 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
96.99 | 96.99 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
96.36 | 96.36 | i_dmi_cdc |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
u_prim_sync_reqack | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
98.89 | 98.89 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
99.32 | 99.32 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
96.36 | 96.36 | i_dmi_cdc |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
u_prim_sync_reqack | 100.00 | 100.00 |
SCORE | TOGGLE |
98.89 | 98.89 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 10 | 9 | 90.00 |
Total Bits | 180 | 178 | 98.89 |
Total Bits 0->1 | 90 | 89 | 98.89 |
Total Bits 1->0 | 90 | 89 | 98.89 |
Ports | 10 | 9 | 90.00 |
Port Bits | 180 | 178 | 98.89 |
Port Bits 0->1 | 90 | 89 | 98.89 |
Port Bits 1->0 | 90 | 89 | 98.89 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_wr_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rst_wr_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
wvalid_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wready_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
wdata_i[40:0] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
clk_rd_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_rd_ni | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rvalid_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
rready_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rdata_o[39:0] | Yes | Yes | T3,T4,*T5 | Yes | T3,T4,T5 | OUTPUT |
rdata_o[40] | No | No | No | OUTPUT |
SCORE | TOGGLE |
94.67 | 94.67 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 9 | 7 | 77.78 |
Total Bits | 150 | 142 | 94.67 |
Total Bits 0->1 | 75 | 71 | 94.67 |
Total Bits 1->0 | 75 | 71 | 94.67 |
Ports | 9 | 7 | 77.78 |
Port Bits | 150 | 142 | 94.67 |
Port Bits 0->1 | 75 | 71 | 94.67 |
Port Bits 1->0 | 75 | 71 | 94.67 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_wr_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_wr_ni | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wvalid_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wready_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
wdata_i[1:0] | No | No | No | INPUT | ||
wdata_i[33:2] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
clk_rd_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rst_rd_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rvalid_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
rready_i | Unreachable | Unreachable | Unreachable | INPUT | ||
rdata_o[1:0] | No | No | No | OUTPUT | ||
rdata_o[33:2] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 9 | 7 | 77.78 |
Total Bits | 150 | 142 | 94.67 |
Total Bits 0->1 | 75 | 71 | 94.67 |
Total Bits 1->0 | 75 | 71 | 94.67 |
Ports | 9 | 7 | 77.78 |
Port Bits | 150 | 142 | 94.67 |
Port Bits 0->1 | 75 | 71 | 94.67 |
Port Bits 1->0 | 75 | 71 | 94.67 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_wr_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_wr_ni | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wvalid_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wready_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
wdata_i[1:0] | No | No | No | INPUT | ||
wdata_i[33:2] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
clk_rd_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rst_rd_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rvalid_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
rready_i | Unreachable | Unreachable | Unreachable | INPUT | ||
rdata_o[1:0] | No | No | No | OUTPUT | ||
rdata_o[33:2] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 10 | 9 | 90.00 |
Total Bits | 180 | 178 | 98.89 |
Total Bits 0->1 | 90 | 89 | 98.89 |
Total Bits 1->0 | 90 | 89 | 98.89 |
Ports | 10 | 9 | 90.00 |
Port Bits | 180 | 178 | 98.89 |
Port Bits 0->1 | 90 | 89 | 98.89 |
Port Bits 1->0 | 90 | 89 | 98.89 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_wr_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rst_wr_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
wvalid_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
wready_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
wdata_i[40:0] | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
clk_rd_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_rd_ni | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rvalid_o | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | OUTPUT |
rready_i | Yes | Yes | T3,T4,T5 | Yes | T3,T4,T5 | INPUT |
rdata_o[39:0] | Yes | Yes | T3,T4,*T5 | Yes | T3,T4,T5 | OUTPUT |
rdata_o[40] | No | No | No | OUTPUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |