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 | 
T39,T31,T33 | 
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 | 
T115,T587,T118 | 
Yes | 
T115,T587,T118 | 
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 | 
T115,T587,T118 | 
Yes | 
T115,T587,T118 | 
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 | 
*T85,*T86,*T87 | 
Yes | 
T85,T86,T87 | 
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 | 
*T32,*T80,*T88 | 
Yes | 
T32,T80,T88 | 
INPUT | 
| tl_i.a_source[7:6] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_size[1:0] | 
Yes | 
Yes | 
T85,T86,T87 | 
Yes | 
T85,T86,T87 | 
INPUT | 
| tl_i.a_param[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| tl_i.a_opcode[2:0] | 
Yes | 
Yes | 
T32,T80,T52 | 
Yes | 
T32,T80,T52 | 
INPUT | 
| tl_i.a_valid | 
Yes | 
Yes | 
T115,T69,T587 | 
Yes | 
T115,T69,T587 | 
INPUT | 
| tl_o.a_ready | 
Yes | 
Yes | 
T115,T69,T587 | 
Yes | 
T115,T69,T587 | 
OUTPUT | 
| tl_o.d_error | 
Yes | 
Yes | 
T86,T87,T90 | 
Yes | 
T86,T87,T90 | 
OUTPUT | 
| tl_o.d_user.data_intg[6:0] | 
Yes | 
Yes | 
T115,T587,T116 | 
Yes | 
T115,T587,T116 | 
OUTPUT | 
| tl_o.d_user.rsp_intg[6:0] | 
Yes | 
Yes | 
T115,T587,T118 | 
Yes | 
T115,T69,T587 | 
OUTPUT | 
| tl_o.d_data[31:0] | 
Yes | 
Yes | 
T115,T587,T118 | 
Yes | 
T115,T69,T587 | 
OUTPUT | 
| tl_o.d_sink | 
Yes | 
Yes | 
T86,T87,T90 | 
Yes | 
T85,T86,T87 | 
OUTPUT | 
| tl_o.d_source[5:0] | 
Yes | 
Yes | 
*T86,*T87,*T90 | 
Yes | 
T85,T86,T87 | 
OUTPUT | 
| tl_o.d_source[7:6] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_size[1:0] | 
Yes | 
Yes | 
T85,T86,T87 | 
Yes | 
T85,T86,T87 | 
OUTPUT | 
| tl_o.d_param[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_opcode[0] | 
Yes | 
Yes | 
*T115,*T587,*T118 | 
Yes | 
T115,T587,T118 | 
OUTPUT | 
| tl_o.d_opcode[2:1] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
OUTPUT | 
| tl_o.d_valid | 
Yes | 
Yes | 
T115,T69,T587 | 
Yes | 
T115,T69,T587 | 
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 | 
T69,T93,T94 | 
Yes | 
T69,T93,T94 | 
INPUT | 
| alert_rx_i[0].ping_n | 
Yes | 
Yes | 
T93,T94,T170 | 
Yes | 
T93,T94,T170 | 
INPUT | 
| alert_rx_i[0].ping_p | 
Yes | 
Yes | 
T93,T94,T170 | 
Yes | 
T93,T94,T170 | 
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 | 
T69,T93,T94 | 
Yes | 
T69,T93,T94 | 
OUTPUT | 
| intr_timer_expired_hart0_timer0_o | 
Yes | 
Yes | 
T115,T116,T117 | 
Yes | 
T115,T116,T117 | 
OUTPUT | 
*Tests covering at least one bit in the range