SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.08 | 93.08 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_entropy_src | 98.69 | 98.69 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
98.69 | 98.69 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
98.69 | 98.69 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
93.91 | 92.47 | 89.25 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Covered | Percent | |
---|---|---|---|
Totals | 65 | 53 | 81.54 |
Total Bits | 1300 | 1210 | 93.08 |
Total Bits 0->1 | 650 | 605 | 93.08 |
Total Bits 1->0 | 650 | 605 | 93.08 |
Ports | 65 | 53 | 81.54 |
Port Bits | 1300 | 1210 | 93.08 |
Port Bits 0->1 | 650 | 605 | 93.08 |
Port Bits 1->0 | 650 | 605 | 93.08 |
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 | T7,T46,T41 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
tl_i.a_mask[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
tl_i.a_address[7:0] | Yes | Yes | *T98,*T102,*T104 | Yes | T98,T102,T104 | INPUT |
tl_i.a_address[16:8] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[18:17] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
tl_i.a_address[19] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[20] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT |
tl_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[24] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT |
tl_i.a_address[29:25] | 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 | *T96,*T97,*T98 | Yes | T96,T97,T98 | INPUT |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_size[1:0] | Yes | Yes | T97,T98,T102 | Yes | T97,T98,T102 | INPUT |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_opcode[2:0] | Yes | Yes | T98,T102,T104 | Yes | T98,T102,T104 | INPUT |
tl_i.a_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
tl_o.a_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
tl_o.d_error | Yes | Yes | T102,T104,T105 | Yes | T97,T102,T104 | OUTPUT |
tl_o.d_user.data_intg[6:0] | Yes | Yes | T144,T145,T141 | Yes | T144,T145,T141 | OUTPUT |
tl_o.d_user.rsp_intg[6:0] | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT |
tl_o.d_data[31:0] | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT |
tl_o.d_sink | Yes | Yes | T97,T98,T102 | Yes | T97,T98,T102 | OUTPUT |
tl_o.d_source[5:0] | Yes | Yes | *T96,*T102,*T105 | Yes | T96,T97,T98 | OUTPUT |
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_size[1:0] | Yes | Yes | T97,T98,T102 | Yes | T97,T102,T104 | OUTPUT |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_opcode[0] | Yes | Yes | *T144,*T145,*T141 | Yes | T144,T145,T141 | OUTPUT |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
otp_en_entropy_src_fw_read_i[7:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
otp_en_entropy_src_fw_over_i[7:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
rng_fips_o | Yes | Yes | T141,T142,T143 | Yes | T144,T145,T141 | OUTPUT |
entropy_src_hw_if_i.es_req | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T3 | INPUT |
entropy_src_hw_if_o.es_fips | Yes | Yes | T141,T142,T409 | Yes | T144,T141,T251 | OUTPUT |
entropy_src_hw_if_o.es_bits[383:0] | Yes | Yes | T144,T141,T251 | Yes | T141,T251,T142 | OUTPUT |
entropy_src_hw_if_o.es_ack | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T4 | OUTPUT |
entropy_src_rng_o.rng_enable | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT |
entropy_src_rng_i.rng_b[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
entropy_src_rng_i.rng_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cs_aes_halt_o.cs_aes_halt_req | Yes | Yes | T144,T141,T251 | Yes | T144,T141,T251 | OUTPUT |
cs_aes_halt_i.cs_aes_halt_ack | Yes | Yes | T144,T141,T251 | Yes | T144,T141,T251 | INPUT |
entropy_src_xht_o.threshold_scope | No | No | No | OUTPUT | ||
entropy_src_xht_o.window_wrap_pulse | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T4 | OUTPUT |
entropy_src_xht_o.health_test_window[15:0] | Yes | Yes | *T158,*T408,*T163 | Yes | T158,T408,T163 | OUTPUT |
entropy_src_xht_o.health_test_window[17:16] | No | No | No | OUTPUT | ||
entropy_src_xht_o.thresh_lo[2:0] | Yes | Yes | T160,*T163,T161 | Yes | T160,T163,T161 | OUTPUT |
entropy_src_xht_o.thresh_lo[3] | No | No | No | OUTPUT | ||
entropy_src_xht_o.thresh_lo[12:4] | Yes | Yes | *T158,*T160,*T161 | Yes | T158,T160,T161 | OUTPUT |
entropy_src_xht_o.thresh_lo[13] | No | No | No | OUTPUT | ||
entropy_src_xht_o.thresh_lo[15:14] | Yes | Yes | T158,T160,T163 | Yes | T158,T160,T163 | OUTPUT |
entropy_src_xht_o.thresh_hi[0] | No | No | No | OUTPUT | ||
entropy_src_xht_o.thresh_hi[15:1] | Yes | Yes | T158,T161,T162 | Yes | T158,T161,T162 | OUTPUT |
entropy_src_xht_o.active | No | No | No | OUTPUT | ||
entropy_src_xht_o.clear | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
entropy_src_xht_o.rng_bit_sel[1:0] | No | No | No | OUTPUT | ||
entropy_src_xht_o.rng_bit_en | No | No | No | OUTPUT | ||
entropy_src_xht_o.entropy_bit_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
entropy_src_xht_o.entropy_bit[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
entropy_src_xht_i.test_fail_lo_pulse | No | No | No | INPUT | ||
entropy_src_xht_i.test_fail_hi_pulse | No | No | No | INPUT | ||
entropy_src_xht_i.continuous_test | No | No | No | INPUT | ||
entropy_src_xht_i.test_cnt_lo[15:0] | No | No | No | INPUT | ||
entropy_src_xht_i.test_cnt_hi[15:0] | No | No | No | INPUT | ||
alert_rx_i[0].ack_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[0].ack_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | INPUT |
alert_rx_i[0].ping_n | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT |
alert_rx_i[0].ping_p | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT |
alert_rx_i[1].ack_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[1].ack_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | INPUT |
alert_rx_i[1].ping_n | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT |
alert_rx_i[1].ping_p | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | 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 | T80,T106,T107 | Yes | T80,T106,T107 | OUTPUT |
alert_tx_o[1].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
alert_tx_o[1].alert_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | OUTPUT |
intr_es_entropy_valid_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT |
intr_es_health_test_failed_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT |
intr_es_observe_fifo_ready_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT |
intr_es_fatal_err_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 58 | 53 | 91.38 |
Total Bits | 1226 | 1210 | 98.69 |
Total Bits 0->1 | 613 | 605 | 98.69 |
Total Bits 1->0 | 613 | 605 | 98.69 |
Ports | 58 | 53 | 91.38 |
Port Bits | 1226 | 1210 | 98.69 |
Port Bits 0->1 | 613 | 605 | 98.69 |
Port Bits 1->0 | 613 | 605 | 98.69 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | Exclude Annotation |
clk_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_ni | Yes | Yes | T7,T46,T41 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
tl_i.a_mask[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
tl_i.a_address[7:0] | Yes | Yes | *T98,*T102,*T104 | Yes | T98,T102,T104 | INPUT | |
tl_i.a_address[16:8] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[18:17] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
tl_i.a_address[19] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[20] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT | |
tl_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[24] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT | |
tl_i.a_address[29:25] | 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 | *T96,*T97,*T98 | Yes | T96,T97,T98 | INPUT | |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_size[1:0] | Yes | Yes | T97,T98,T102 | Yes | T97,T98,T102 | INPUT | |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_opcode[2:0] | Yes | Yes | T98,T102,T104 | Yes | T98,T102,T104 | INPUT | |
tl_i.a_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
tl_o.a_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
tl_o.d_error | Yes | Yes | T102,T104,T105 | Yes | T97,T102,T104 | OUTPUT | |
tl_o.d_user.data_intg[6:0] | Yes | Yes | T144,T145,T141 | Yes | T144,T145,T141 | OUTPUT | |
tl_o.d_user.rsp_intg[6:0] | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT | |
tl_o.d_data[31:0] | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT | |
tl_o.d_sink | Yes | Yes | T97,T98,T102 | Yes | T97,T98,T102 | OUTPUT | |
tl_o.d_source[5:0] | Yes | Yes | *T96,*T102,*T105 | Yes | T96,T97,T98 | OUTPUT | |
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_size[1:0] | Yes | Yes | T97,T98,T102 | Yes | T97,T102,T104 | OUTPUT | |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_opcode[0] | Yes | Yes | *T144,*T145,*T141 | Yes | T144,T145,T141 | OUTPUT | |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
otp_en_entropy_src_fw_read_i[7:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
otp_en_entropy_src_fw_over_i[7:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
rng_fips_o | Yes | Yes | T141,T142,T143 | Yes | T144,T145,T141 | OUTPUT | |
entropy_src_hw_if_i.es_req | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T3 | INPUT | |
entropy_src_hw_if_o.es_fips | Yes | Yes | T141,T142,T409 | Yes | T144,T141,T251 | OUTPUT | |
entropy_src_hw_if_o.es_bits[383:0] | Yes | Yes | T144,T141,T251 | Yes | T141,T251,T142 | OUTPUT | |
entropy_src_hw_if_o.es_ack | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T4 | OUTPUT | |
entropy_src_rng_o.rng_enable | Yes | Yes | T7,T46,T41 | Yes | T1,T2,T3 | OUTPUT | |
entropy_src_rng_i.rng_b[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
entropy_src_rng_i.rng_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cs_aes_halt_o.cs_aes_halt_req | Yes | Yes | T144,T141,T251 | Yes | T144,T141,T251 | OUTPUT | |
cs_aes_halt_i.cs_aes_halt_ack | Yes | Yes | T144,T141,T251 | Yes | T144,T141,T251 | INPUT | |
entropy_src_xht_o.threshold_scope[0:0] | Excluded | Excluded | Excluded | OUTPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_o.window_wrap_pulse | Yes | Yes | T1,T2,T4 | Yes | T1,T2,T4 | OUTPUT | |
entropy_src_xht_o.health_test_window[15:0] | Yes | Yes | *T158,*T408,*T163 | Yes | T158,T408,T163 | OUTPUT | |
entropy_src_xht_o.health_test_window[17:16] | No | No | No | OUTPUT | |||
entropy_src_xht_o.thresh_lo[2:0] | Yes | Yes | T160,*T163,T161 | Yes | T160,T163,T161 | OUTPUT | |
entropy_src_xht_o.thresh_lo[3] | No | No | No | OUTPUT | |||
entropy_src_xht_o.thresh_lo[12:4] | Yes | Yes | *T158,*T160,*T161 | Yes | T158,T160,T161 | OUTPUT | |
entropy_src_xht_o.thresh_lo[13] | No | No | No | OUTPUT | |||
entropy_src_xht_o.thresh_lo[15:14] | Yes | Yes | T158,T160,T163 | Yes | T158,T160,T163 | OUTPUT | |
entropy_src_xht_o.thresh_hi[0] | No | No | No | OUTPUT | |||
entropy_src_xht_o.thresh_hi[15:1] | Yes | Yes | T158,T161,T162 | Yes | T158,T161,T162 | OUTPUT | |
entropy_src_xht_o.active[0:0] | Excluded | Excluded | Excluded | OUTPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_o.clear | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
entropy_src_xht_o.rng_bit_sel[1:0] | No | No | No | OUTPUT | |||
entropy_src_xht_o.rng_bit_en | No | No | No | OUTPUT | |||
entropy_src_xht_o.entropy_bit_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
entropy_src_xht_o.entropy_bit[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
entropy_src_xht_i.test_fail_lo_pulse[0:0] | Excluded | Excluded | Excluded | INPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_i.test_fail_hi_pulse[0:0] | Excluded | Excluded | Excluded | INPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_i.continuous_test[0:0] | Excluded | Excluded | Excluded | INPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_i.test_cnt_lo[15:0] | Excluded | Excluded | Excluded | INPUT | [UNR] Tied off / unconnected port. | ||
entropy_src_xht_i.test_cnt_hi[15:0] | Excluded | Excluded | Excluded | INPUT | [UNR] Tied off / unconnected port. | ||
alert_rx_i[0].ack_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | INPUT | |
alert_rx_i[0].ping_n | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT | |
alert_rx_i[0].ping_p | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT | |
alert_rx_i[1].ack_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[1].ack_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | INPUT | |
alert_rx_i[1].ping_n | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | INPUT | |
alert_rx_i[1].ping_p | Yes | Yes | T106,T107,T108 | Yes | T106,T107,T108 | 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 | T80,T106,T107 | Yes | T80,T106,T107 | OUTPUT | |
alert_tx_o[1].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
alert_tx_o[1].alert_p | Yes | Yes | T80,T106,T107 | Yes | T80,T106,T107 | OUTPUT | |
intr_es_entropy_valid_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT | |
intr_es_health_test_failed_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT | |
intr_es_observe_fifo_ready_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT | |
intr_es_fatal_err_o | Yes | Yes | T257,T258,T259 | Yes | T257,T258,T259 | OUTPUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |