SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.73 | 93.73 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_sram_ctrl_main | 89.17 | 89.17 | |||||
tb.dut.top_earlgrey.u_sram_ctrl_ret_aon | 94.19 | 94.19 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
89.17 | 89.17 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
89.17 | 89.17 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
92.56 | 90.68 | 87.00 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
94.19 | 94.19 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
94.19 | 94.19 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
92.56 | 90.68 | 87.00 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Covered | Percent | |
---|---|---|---|
Totals | 66 | 45 | 68.18 |
Total Bits | 1164 | 1091 | 93.73 |
Total Bits 0->1 | 582 | 546 | 93.81 |
Total Bits 1->0 | 582 | 545 | 93.64 |
Ports | 66 | 45 | 68.18 |
Port Bits | 1164 | 1091 | 93.73 |
Port Bits 0->1 | 582 | 546 | 93.81 |
Port Bits 1->0 | 582 | 545 | 93.64 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
rst_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT |
clk_otp_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
rst_otp_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_user.data_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_user.instr_type[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_data[31:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_address[1:0] | No | No | No | INPUT | ||
ram_tl_i.a_address[16:2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_address[20:17] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_address[22:21] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_address[27:23] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_address[28] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_address[29] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_source[5:0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_size[1:0] | Yes | Yes | T40,T41,T42 | Yes | T40,T41,T42 | INPUT |
ram_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
ram_tl_i.a_opcode[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_opcode[1] | No | No | No | INPUT | ||
ram_tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_i.a_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
ram_tl_o.a_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_error | Yes | Yes | T4,T5,T6 | Yes | T20,T43,T44 | OUTPUT |
ram_tl_o.d_user.data_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_user.rsp_intg[2:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_user.rsp_intg[3] | No | No | No | OUTPUT | ||
ram_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | ||
ram_tl_o.d_data[31:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_sink | No | No | No | OUTPUT | ||
ram_tl_o.d_source[4:0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_source[5] | No | No | No | OUTPUT | ||
ram_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
ram_tl_o.d_size[0] | No | No | No | OUTPUT | ||
ram_tl_o.d_size[1] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
ram_tl_o.d_opcode[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | OUTPUT |
ram_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
ram_tl_o.d_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
regs_tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_user.data_intg[6:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT |
regs_tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_user.instr_type[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | ||
regs_tl_i.a_user.instr_type[3] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_data[31:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT |
regs_tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_address[1:0] | No | No | No | INPUT | ||
regs_tl_i.a_address[5:2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_address[17:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_address[20:18] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_address[21] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_address[22] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_address[23] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_address[24] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT |
regs_tl_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_source[5:0] | Yes | Yes | *T61,*T62,*T63 | Yes | T61,T62,T63 | INPUT |
regs_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_size[1:0] | Yes | Yes | T40,T41,T42 | Yes | T40,T41,T42 | INPUT |
regs_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
regs_tl_i.a_opcode[0] | Yes | Yes | *T61,*T1,*T64 | Yes | T61,T1,T64 | INPUT |
regs_tl_i.a_opcode[1] | No | No | No | INPUT | ||
regs_tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
regs_tl_i.a_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT |
regs_tl_o.a_ready | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_error | No | No | No | OUTPUT | ||
regs_tl_o.d_user.data_intg[5:0] | Yes | Yes | T188,T75,T76 | Yes | T188,T75,T76 | OUTPUT |
regs_tl_o.d_user.data_intg[6] | No | No | No | OUTPUT | ||
regs_tl_o.d_user.rsp_intg[1:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_user.rsp_intg[3:2] | No | No | No | OUTPUT | ||
regs_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | *T54,*T55,T188 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | ||
regs_tl_o.d_data[31:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_sink | No | No | No | OUTPUT | ||
regs_tl_o.d_source[0] | No | No | Yes | T223 | OUTPUT | |
regs_tl_o.d_source[1] | Yes | Yes | *T54,*T55,*T188 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_source[5:2] | No | No | No | OUTPUT | ||
regs_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
regs_tl_o.d_size[0] | No | No | No | OUTPUT | ||
regs_tl_o.d_size[1] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT |
regs_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
regs_tl_o.d_opcode[0] | Yes | Yes | *T188,*T75,*T76 | Yes | T188,T75,T76 | OUTPUT |
regs_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
regs_tl_o.d_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT |
alert_rx_i[0].ack_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
alert_rx_i[0].ack_p | Yes | Yes | T315,T108,T288 | Yes | T315,T108,T288 | INPUT |
alert_rx_i[0].ping_n | Yes | Yes | T315,T108,T111 | Yes | T108,T111,T129 | INPUT |
alert_rx_i[0].ping_p | Yes | Yes | T108,T111,T129 | Yes | T315,T108,T111 | INPUT |
alert_tx_o[0].alert_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT |
alert_tx_o[0].alert_p | Yes | Yes | T315,T108,T288 | Yes | T315,T108,T288 | OUTPUT |
lc_escalate_en_i[3:0] | Yes | Yes | T20,T43,T122 | Yes | T20,T43,T122 | INPUT |
lc_hw_debug_en_i[3:0] | Yes | Yes | T20,T43,T83 | Yes | T4,T5,T6 | INPUT |
otp_en_sram_ifetch_i[7:0] | Yes | Yes | T4,T5,T6 | Yes | T20,T43,T44 | INPUT |
sram_otp_key_o.req | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT |
sram_otp_key_i.seed_valid | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT |
sram_otp_key_i.nonce[127:0] | Yes | Yes | T4,T187,T43 | Yes | T4,T5,T19 | INPUT |
sram_otp_key_i.key[127:0] | Yes | Yes | T4,T5,T18 | Yes | T4,T5,T20 | INPUT |
sram_otp_key_i.ack | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT |
cfg_i.rf_cfg.cfg[3:0] | No | No | No | INPUT | ||
cfg_i.rf_cfg.cfg_en | No | No | No | INPUT | ||
cfg_i.rf_cfg.test | No | No | No | INPUT | ||
cfg_i.ram_cfg.cfg[3:0] | No | No | No | INPUT | ||
cfg_i.ram_cfg.cfg_en | No | No | No | INPUT | ||
cfg_i.ram_cfg.test | No | No | No | INPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 62 | 39 | 62.90 |
Total Bits | 1136 | 1013 | 89.17 |
Total Bits 0->1 | 568 | 507 | 89.26 |
Total Bits 1->0 | 568 | 506 | 89.08 |
Ports | 62 | 39 | 62.90 |
Port Bits | 1136 | 1013 | 89.17 |
Port Bits 0->1 | 568 | 507 | 89.26 |
Port Bits 1->0 | 568 | 506 | 89.08 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | Exclude Annotation |
clk_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
rst_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
clk_otp_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
rst_otp_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.data_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.instr_type[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_data[31:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[1:0] | No | No | No | INPUT | |||
ram_tl_i.a_address[16:2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[27:17] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_address[28] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[31:29] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_source[4:0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_source[5] | No | No | No | INPUT | |||
ram_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_size[0] | No | No | No | INPUT | |||
ram_tl_i.a_size[1] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_opcode[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_opcode[1] | No | No | No | INPUT | |||
ram_tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_o.a_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_error | Yes | Yes | T4,T5,T6 | Yes | T20,T43,T44 | OUTPUT | |
ram_tl_o.d_user.data_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[2:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[3] | No | No | No | OUTPUT | |||
ram_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | |||
ram_tl_o.d_data[31:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_sink | No | No | No | OUTPUT | |||
ram_tl_o.d_source[4:0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_source[5] | No | No | No | OUTPUT | |||
ram_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_size[0] | No | No | No | OUTPUT | |||
ram_tl_o.d_size[1] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_opcode[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
regs_tl_i.d_ready | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_user.data_intg[6:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_user.cmd_intg[0] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_user.cmd_intg[1] | No | No | No | INPUT | |||
regs_tl_i.a_user.cmd_intg[6:2] | Yes | Yes | T188,T75,T76 | Yes | T188,T75,T76 | INPUT | |
regs_tl_i.a_user.instr_type[0] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | |||
regs_tl_i.a_user.instr_type[3] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_data[4:0] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_data[6:5] | No | No | No | INPUT | |||
regs_tl_i.a_data[7] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_data[31:8] | No | No | No | INPUT | |||
regs_tl_i.a_mask[3:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_address[1:0] | No | No | No | INPUT | |||
regs_tl_i.a_address[5:2] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_address[17:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[20:18] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[24] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[30] | Yes | Yes | *T54,*T55,*T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_source[1:0] | Yes | Yes | *T223,*T54,*T55 | Yes | T223,T54,T55 | INPUT | |
regs_tl_i.a_source[5:2] | No | No | No | INPUT | |||
regs_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_size[0] | No | No | No | INPUT | |||
regs_tl_i.a_size[1] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_opcode[1:0] | No | No | No | INPUT | |||
regs_tl_i.a_opcode[2] | Yes | Yes | T188,T75,T76 | Yes | T188,T75,T76 | INPUT | |
regs_tl_i.a_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_o.a_ready | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_error | No | No | No | OUTPUT | |||
regs_tl_o.d_user.data_intg[5:0] | Yes | Yes | *T190,*T224,*T225 | Yes | T190,T224,T225 | OUTPUT | |
regs_tl_o.d_user.data_intg[6] | No | No | No | OUTPUT | |||
regs_tl_o.d_user.rsp_intg[1:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_user.rsp_intg[3:2] | No | No | No | OUTPUT | |||
regs_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | *T54,*T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | |||
regs_tl_o.d_data[31:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_sink | No | No | No | OUTPUT | |||
regs_tl_o.d_source[0] | No | No | Yes | T223 | OUTPUT | ||
regs_tl_o.d_source[1] | Yes | Yes | *T54,*T55,*T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_source[5:2] | No | No | No | OUTPUT | |||
regs_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_size[0] | No | No | No | OUTPUT | |||
regs_tl_o.d_size[1] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_opcode[0] | Yes | Yes | *T188,*T75,*T76 | Yes | T188,T75,T76 | OUTPUT | |
regs_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT | |
alert_rx_i[0].ack_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T108,T288,T111 | Yes | T108,T288,T111 | INPUT | |
alert_rx_i[0].ping_n | Yes | Yes | T108,T111,T129 | Yes | T108,T111,T129 | INPUT | |
alert_rx_i[0].ping_p | Yes | Yes | T108,T111,T129 | Yes | T108,T111,T129 | INPUT | |
alert_tx_o[0].alert_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
alert_tx_o[0].alert_p | Yes | Yes | T108,T288,T111 | Yes | T108,T288,T111 | OUTPUT | |
lc_escalate_en_i[3:0] | Yes | Yes | T20,T43,T122 | Yes | T20,T43,T122 | INPUT | |
lc_hw_debug_en_i[3:0] | Yes | Yes | T20,T43,T83 | Yes | T4,T5,T6 | INPUT | |
otp_en_sram_ifetch_i[7:0] | Yes | Yes | T4,T5,T6 | Yes | T20,T43,T44 | INPUT | |
sram_otp_key_o.req | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT | |
sram_otp_key_i.seed_valid | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
sram_otp_key_i.nonce[127:0] | Yes | Yes | T4,T187,T43 | Yes | T4,T5,T19 | INPUT | |
sram_otp_key_i.key[127:0] | Yes | Yes | T4,T5,T18 | Yes | T4,T5,T20 | INPUT | |
sram_otp_key_i.ack | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
cfg_i.rf_cfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.rf_cfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.rf_cfg.test | No | No | No | INPUT | |||
cfg_i.ram_cfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.ram_cfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.ram_cfg.test | No | No | No | INPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 60 | 42 | 70.00 |
Total Bits | 1102 | 1038 | 94.19 |
Total Bits 0->1 | 551 | 519 | 94.19 |
Total Bits 1->0 | 551 | 519 | 94.19 |
Ports | 60 | 42 | 70.00 |
Port Bits | 1102 | 1038 | 94.19 |
Port Bits 0->1 | 551 | 519 | 94.19 |
Port Bits 1->0 | 551 | 519 | 94.19 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | Exclude Annotation |
clk_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
rst_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
clk_otp_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
rst_otp_ni | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.data_intg[6:0] | Yes | Yes | T19,T20,T43 | Yes | T19,T20,T43 | INPUT | |
ram_tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.instr_type[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | |||
ram_tl_i.a_user.instr_type[3] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_data[31:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[1:0] | No | No | No | INPUT | |||
ram_tl_i.a_address[11:2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[20:12] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_address[22:21] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[29:23] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_source[5:0] | Yes | Yes | *T61,*T62,*T63 | Yes | T61,T62,T63 | INPUT | |
ram_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_size[1:0] | Yes | Yes | T40,T41,T42 | Yes | T40,T41,T42 | INPUT | |
ram_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
ram_tl_i.a_opcode[0] | Yes | Yes | *T61,*T1,*T64 | Yes | T61,T1,T64 | INPUT | |
ram_tl_i.a_opcode[1] | No | No | No | INPUT | |||
ram_tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_i.a_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
ram_tl_o.a_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_error | Yes | Yes | T4,T5,T6 | Yes | T20,T43,T44 | OUTPUT | |
ram_tl_o.d_user.data_intg[6:0] | Yes | Yes | T19,T20,T43 | Yes | T19,T20,T43 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[2:0] | Yes | Yes | T19,T20,*T43 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[3] | No | No | No | OUTPUT | |||
ram_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | |||
ram_tl_o.d_data[31:0] | Yes | Yes | T19,T20,T43 | Yes | T19,T20,T43 | OUTPUT | |
ram_tl_o.d_sink | No | No | No | OUTPUT | |||
ram_tl_o.d_source[1:0] | Yes | Yes | *T61,*T221,*T367 | Yes | T61,T221,T367 | OUTPUT | |
ram_tl_o.d_source[5:2] | No | No | No | OUTPUT | |||
ram_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_size[0] | No | No | No | OUTPUT | |||
ram_tl_o.d_size[1] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_opcode[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | OUTPUT | |
ram_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
ram_tl_o.d_valid | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
regs_tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_user.data_intg[6:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_user.instr_type[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | |||
regs_tl_i.a_user.instr_type[3] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_data[31:0] | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_address[1:0] | No | No | No | INPUT | |||
regs_tl_i.a_address[5:2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_address[19:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[20] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_address[21] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[22] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_address[29:23] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_source[5:0] | Yes | Yes | *T61,*T62,*T63 | Yes | T61,T62,T63 | INPUT | |
regs_tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_size[1:0] | Yes | Yes | T40,T41,T42 | Yes | T40,T41,T42 | INPUT | |
regs_tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
regs_tl_i.a_opcode[0] | Yes | Yes | *T61,*T1,*T64 | Yes | T61,T1,T64 | INPUT | |
regs_tl_i.a_opcode[1] | No | No | No | INPUT | |||
regs_tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
regs_tl_i.a_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | INPUT | |
regs_tl_o.a_ready | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_error | No | No | No | OUTPUT | |||
regs_tl_o.d_user.data_intg[5:0] | Yes | Yes | *T188,*T75,*T76 | Yes | T188,T75,T76 | OUTPUT | |
regs_tl_o.d_user.data_intg[6] | No | No | No | OUTPUT | |||
regs_tl_o.d_user.rsp_intg[1:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_user.rsp_intg[3:2] | No | No | No | OUTPUT | |||
regs_tl_o.d_user.rsp_intg[5:4] | Yes | Yes | *T54,*T55,*T56 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | |||
regs_tl_o.d_data[31:0] | Yes | Yes | T54,T55,T188 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_sink | No | No | No | OUTPUT | |||
regs_tl_o.d_source[0] | No | No | No | OUTPUT | |||
regs_tl_o.d_source[1] | Yes | Yes | *T188,*T75,*T76 | Yes | T188,T75,T76 | OUTPUT | |
regs_tl_o.d_source[5:2] | No | No | No | OUTPUT | |||
regs_tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_size[0] | No | No | No | OUTPUT | |||
regs_tl_o.d_size[1] | Yes | Yes | T54,T55,T56 | Yes | T54,T55,T57 | OUTPUT | |
regs_tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_opcode[0] | Yes | Yes | *T188,*T75,*T76 | Yes | T188,T75,T76 | OUTPUT | |
regs_tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
regs_tl_o.d_valid | Yes | Yes | T54,T55,T57 | Yes | T54,T55,T57 | OUTPUT | |
alert_rx_i[0].ack_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T315,T108,T111 | Yes | T315,T108,T111 | INPUT | |
alert_rx_i[0].ping_n | Yes | Yes | T315,T108,T111 | Yes | T108,T111,T129 | INPUT | |
alert_rx_i[0].ping_p | Yes | Yes | T108,T111,T129 | Yes | T315,T108,T111 | INPUT | |
alert_tx_o[0].alert_n | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | OUTPUT | |
alert_tx_o[0].alert_p | Yes | Yes | T315,T108,T111 | Yes | T315,T108,T111 | OUTPUT | |
lc_escalate_en_i[3:0] | Yes | Yes | T20,T43,T122 | Yes | T20,T43,T122 | INPUT | |
lc_hw_debug_en_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
otp_en_sram_ifetch_i[7:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
sram_otp_key_o.req | Yes | Yes | T188,T75,T76 | Yes | T188,T75,T76 | OUTPUT | |
sram_otp_key_i.seed_valid | Yes | Yes | T20,T43,T44 | Yes | T4,T5,T6 | INPUT | |
sram_otp_key_i.nonce[127:0] | Yes | Yes | T4,T187,T43 | Yes | T4,T5,T19 | INPUT | |
sram_otp_key_i.key[127:0] | Yes | Yes | T4,T5,T18 | Yes | T4,T5,T20 | INPUT | |
sram_otp_key_i.ack | Yes | Yes | T188,T75,T76 | Yes | T188,T75,T76 | INPUT | |
cfg_i.rf_cfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.rf_cfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.rf_cfg.test | No | No | No | INPUT | |||
cfg_i.ram_cfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.ram_cfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
cfg_i.ram_cfg.test | No | No | No | INPUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |