Toggle Coverage for Module : 
rv_timer
 | Total | Covered | Percent | 
| Totals | 
30 | 
30 | 
100.00 | 
| Total Bits | 
292 | 
292 | 
100.00 | 
| Total Bits 0->1 | 
146 | 
146 | 
100.00 | 
| Total Bits 1->0 | 
146 | 
146 | 
100.00 | 
 |  |  |  | 
| Ports | 
30 | 
30 | 
100.00 | 
| Port Bits | 
292 | 
292 | 
100.00 | 
| Port Bits 0->1 | 
146 | 
146 | 
100.00 | 
| Port Bits 1->0 | 
146 | 
146 | 
100.00 | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| rst_ni | 
Yes | 
Yes | 
T2,T3,T5 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.d_ready | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_user.data_intg[6:0] | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
INPUT | 
| tl_i.a_user.cmd_intg[6:0] | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_user.instr_type[3:0] | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_user.rsvd[4:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_data[31:0] | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
INPUT | 
| tl_i.a_mask[3:0] | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_address[8:0] | 
Yes | 
Yes | 
*T78,*T79,*T80 | 
Yes | 
T78,T79,T80 | 
INPUT | 
| tl_i.a_address[19:9] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_address[20] | 
Yes | 
Yes | 
*T1,*T2,*T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_address[29:21] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_address[30] | 
Yes | 
Yes | 
*T1,*T2,*T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| tl_i.a_address[31] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_source[5:0] | 
Yes | 
Yes | 
*T50,*T73,*T52 | 
Yes | 
T50,T73,T52 | 
INPUT | 
| tl_i.a_source[7:6] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_size[1:0] | 
Yes | 
Yes | 
T78,T79,T80 | 
Yes | 
T78,T79,T80 | 
INPUT | 
| tl_i.a_param[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_opcode[2:0] | 
Yes | 
Yes | 
T50,T52,T81 | 
Yes | 
T50,T52,T81 | 
INPUT | 
| tl_i.a_valid | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
INPUT | 
| tl_o.a_ready | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
OUTPUT | 
| tl_o.d_error | 
Yes | 
Yes | 
T78,T79,T80 | 
Yes | 
T78,T79,T80 | 
OUTPUT | 
| tl_o.d_user.data_intg[6:0] | 
Yes | 
Yes | 
T110,T254,T302 | 
Yes | 
T110,T254,T302 | 
OUTPUT | 
| tl_o.d_user.rsp_intg[6:0] | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
OUTPUT | 
| tl_o.d_data[31:0] | 
Yes | 
Yes | 
T92,T115,T254 | 
Yes | 
T92,T115,T110 | 
OUTPUT | 
| tl_o.d_sink | 
Yes | 
Yes | 
T78,T79,T80 | 
Yes | 
T78,T79,T80 | 
OUTPUT | 
| tl_o.d_source[5:0] | 
Yes | 
Yes | 
*T78,*T80,*T389 | 
Yes | 
T78,T79,T80 | 
OUTPUT | 
| tl_o.d_source[7:6] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_size[1:0] | 
Yes | 
Yes | 
T78,T80,T210 | 
Yes | 
T78,T80,T82 | 
OUTPUT | 
| tl_o.d_param[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_opcode[0] | 
Yes | 
Yes | 
*T92,*T115,*T110 | 
Yes | 
T92,T115,T110 | 
OUTPUT | 
| tl_o.d_opcode[2:1] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_valid | 
Yes | 
Yes | 
T92,T115,T110 | 
Yes | 
T92,T115,T110 | 
OUTPUT | 
| alert_rx_i[0].ack_n | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
INPUT | 
| alert_rx_i[0].ack_p | 
Yes | 
Yes | 
T83,T783,T84 | 
Yes | 
T83,T783,T84 | 
INPUT | 
| alert_rx_i[0].ping_n | 
Yes | 
Yes | 
T83,T84,T163 | 
Yes | 
T83,T84,T163 | 
INPUT | 
| alert_rx_i[0].ping_p | 
Yes | 
Yes | 
T83,T84,T163 | 
Yes | 
T83,T84,T163 | 
INPUT | 
| alert_tx_o[0].alert_n | 
Yes | 
Yes | 
T1,T2,T3 | 
Yes | 
T1,T2,T3 | 
OUTPUT | 
| alert_tx_o[0].alert_p | 
Yes | 
Yes | 
T83,T783,T84 | 
Yes | 
T83,T783,T84 | 
OUTPUT | 
| intr_timer_expired_hart0_timer0_o | 
Yes | 
Yes | 
T110,T254,T156 | 
Yes | 
T110,T254,T156 | 
OUTPUT | 
*Tests covering at least one bit in the range