SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
79.17 | 79.17 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_spi_device | 88.14 | 88.14 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
88.14 | 88.14 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
88.14 | 88.14 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
92.62 | 90.68 | 87.17 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Covered | Percent | |
---|---|---|---|
Totals | 65 | 42 | 64.62 |
Total Bits | 432 | 342 | 79.17 |
Total Bits 0->1 | 216 | 171 | 79.17 |
Total Bits 1->0 | 216 | 171 | 79.17 |
Ports | 65 | 42 | 64.62 |
Port Bits | 432 | 342 | 79.17 |
Port Bits 0->1 | 216 | 171 | 79.17 |
Port Bits 1->0 | 216 | 171 | 79.17 |
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 | T19,T20,T41 | Yes | T4,T5,T6 | INPUT |
tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_user.data_intg[6:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_user.instr_type[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | ||
tl_i.a_user.instr_type[3] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_data[31:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_address[1:0] | No | No | No | INPUT | ||
tl_i.a_address[12:2] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_address[15:13] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[16] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_address[17] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[18] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_address[29:19] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_source[5:0] | Yes | Yes | *T20,*T60,*T9 | Yes | T20,T60,T9 | INPUT |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_size[1:0] | Yes | Yes | T38,T39,T40 | Yes | T38,T39,T40 | INPUT |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_opcode[0] | Yes | Yes | *T60,*T9,*T61 | Yes | T60,T9,T61 | INPUT |
tl_i.a_opcode[1] | No | No | No | INPUT | ||
tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
tl_i.a_valid | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
tl_o.a_ready | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_error | No | No | No | OUTPUT | ||
tl_o.d_user.data_intg[6:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_user.rsp_intg[1:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_user.rsp_intg[3:2] | No | No | No | OUTPUT | ||
tl_o.d_user.rsp_intg[5:4] | Yes | Yes | T20,T21,T103 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | ||
tl_o.d_data[31:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_sink | No | No | No | OUTPUT | ||
tl_o.d_source[0] | No | No | No | OUTPUT | ||
tl_o.d_source[1] | Yes | Yes | *T20,*T21,*T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_source[5:2] | No | No | No | OUTPUT | ||
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_size[0] | No | No | No | OUTPUT | ||
tl_o.d_size[1] | Yes | Yes | T20,T21,T103 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_opcode[0] | Yes | Yes | *T20,*T21,*T26 | Yes | T20,T21,T26 | OUTPUT |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_valid | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | 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 | T104,T105,T68 | Yes | T104,T105,T68 | INPUT |
alert_rx_i[0].ping_n | Yes | Yes | T104,T105,T68 | Yes | T104,T105,T68 | INPUT |
alert_rx_i[0].ping_p | Yes | Yes | T104,T105,T68 | Yes | T104,T105,T68 | 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 | T104,T105,T68 | Yes | T104,T105,T68 | OUTPUT |
cio_sck_i | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
cio_csb_i | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
cio_sd_o[3:0] | Yes | Yes | T26,T27,T106 | Yes | T26,T27,T106 | OUTPUT |
cio_sd_en_o[3:0] | Yes | Yes | T26,T27,T106 | Yes | T26,T27,T106 | OUTPUT |
cio_sd_i[3:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT |
cio_tpm_csb_i | Yes | Yes | T48,T49,T50 | Yes | T48,T49,T50 | INPUT |
passthrough_o.s_en[0] | Yes | Yes | *T26,*T27,*T106 | Yes | T26,T27,T106 | OUTPUT |
passthrough_o.s_en[3:1] | No | No | No | OUTPUT | ||
passthrough_o.s[3:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
passthrough_o.csb_en | No | No | No | OUTPUT | ||
passthrough_o.csb | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
passthrough_o.sck_en | No | No | No | OUTPUT | ||
passthrough_o.sck | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
passthrough_o.passthrough_en | Yes | Yes | T106,T107,T108 | Yes | T26,T27,T106 | OUTPUT |
passthrough_i.s[3:0] | Yes | Yes | T25,T26,T27 | Yes | T25,T26,T27 | INPUT |
intr_upload_cmdfifo_not_empty_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_upload_payload_not_empty_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_upload_payload_overflow_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_readbuf_watermark_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_readbuf_flip_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_tpm_header_not_empty_o | Yes | Yes | T109,T110,T48 | Yes | T109,T110,T48 | OUTPUT |
intr_tpm_rdfifo_cmd_end_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
intr_tpm_rdfifo_drop_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT |
ram_cfg_i.b_ram_lcfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.b_ram_lcfg.cfg_en | No | No | No | INPUT | ||
ram_cfg_i.b_ram_lcfg.test | No | No | No | INPUT | ||
ram_cfg_i.a_ram_lcfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.a_ram_lcfg.cfg_en | No | No | No | INPUT | ||
ram_cfg_i.a_ram_lcfg.test | No | No | No | INPUT | ||
ram_cfg_i.b_ram_fcfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.b_ram_fcfg.cfg_en | No | No | No | INPUT | ||
ram_cfg_i.b_ram_fcfg.test | No | No | No | INPUT | ||
ram_cfg_i.a_ram_fcfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.a_ram_fcfg.cfg_en | No | No | No | INPUT | ||
ram_cfg_i.a_ram_fcfg.test | No | No | No | INPUT | ||
sck_monitor_o | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT |
mbist_en_i | Unreachable | Unreachable | Unreachable | INPUT | ||
scan_clk_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | ||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 55 | 42 | 76.36 |
Total Bits | 388 | 342 | 88.14 |
Total Bits 0->1 | 194 | 171 | 88.14 |
Total Bits 1->0 | 194 | 171 | 88.14 |
Ports | 55 | 42 | 76.36 |
Port Bits | 388 | 342 | 88.14 |
Port Bits 0->1 | 194 | 171 | 88.14 |
Port Bits 1->0 | 194 | 171 | 88.14 |
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 | T19,T20,T41 | Yes | T4,T5,T6 | INPUT | |
tl_i.d_ready | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_user.data_intg[6:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_user.instr_type[0] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_user.instr_type[2:1] | No | No | No | INPUT | |||
tl_i.a_user.instr_type[3] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_data[31:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
tl_i.a_mask[3:0] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_address[1:0] | No | No | No | INPUT | |||
tl_i.a_address[12:2] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_address[15:13] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[16] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_address[17] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[18] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_address[29:19] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[30] | Yes | Yes | *T4,*T5,*T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_source[5:0] | Yes | Yes | *T20,*T60,*T9 | Yes | T20,T60,T9 | INPUT | |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_size[1:0] | Yes | Yes | T38,T39,T40 | Yes | T38,T39,T40 | INPUT | |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_opcode[0] | Yes | Yes | *T60,*T9,*T61 | Yes | T60,T9,T61 | INPUT | |
tl_i.a_opcode[1] | No | No | No | INPUT | |||
tl_i.a_opcode[2] | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
tl_i.a_valid | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
tl_o.a_ready | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_error | No | No | No | OUTPUT | |||
tl_o.d_user.data_intg[6:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_user.rsp_intg[1:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_user.rsp_intg[3:2] | No | No | No | OUTPUT | |||
tl_o.d_user.rsp_intg[5:4] | Yes | Yes | T20,T21,T103 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_user.rsp_intg[6] | No | No | No | OUTPUT | |||
tl_o.d_data[31:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_sink | No | No | No | OUTPUT | |||
tl_o.d_source[0] | No | No | No | OUTPUT | |||
tl_o.d_source[1] | Yes | Yes | *T20,*T21,*T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_source[5:2] | No | No | No | OUTPUT | |||
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_size[0] | No | No | No | OUTPUT | |||
tl_o.d_size[1] | Yes | Yes | T20,T21,T103 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_opcode[0] | Yes | Yes | *T20,*T21,*T26 | Yes | T20,T21,T26 | OUTPUT | |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_valid | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | 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 | T104,T105,T68 | Yes | T104,T105,T68 | INPUT | |
alert_rx_i[0].ping_n | Yes | Yes | T104,T105,T68 | Yes | T104,T105,T68 | INPUT | |
alert_rx_i[0].ping_p | Yes | Yes | T104,T105,T68 | Yes | T104,T105,T68 | 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 | T104,T105,T68 | Yes | T104,T105,T68 | OUTPUT | |
cio_sck_i | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
cio_csb_i | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
cio_sd_o[3:0] | Yes | Yes | T26,T27,T106 | Yes | T26,T27,T106 | OUTPUT | |
cio_sd_en_o[3:0] | Yes | Yes | T26,T27,T106 | Yes | T26,T27,T106 | OUTPUT | |
cio_sd_i[3:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | INPUT | |
cio_tpm_csb_i | Yes | Yes | T48,T49,T50 | Yes | T48,T49,T50 | INPUT | |
passthrough_o.s_en[0] | Yes | Yes | *T26,*T27,*T106 | Yes | T26,T27,T106 | OUTPUT | |
passthrough_o.s_en[3:1] | No | No | No | OUTPUT | |||
passthrough_o.s[3:0] | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
passthrough_o.csb_en[0:0] | Excluded | Excluded | Excluded | OUTPUT | [UNR] Tied off. | ||
passthrough_o.csb | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
passthrough_o.sck_en[0:0] | Excluded | Excluded | Excluded | OUTPUT | [UNR] Tied off. | ||
passthrough_o.sck | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
passthrough_o.passthrough_en | Yes | Yes | T106,T107,T108 | Yes | T26,T27,T106 | OUTPUT | |
passthrough_i.s[3:0] | Yes | Yes | T25,T26,T27 | Yes | T25,T26,T27 | INPUT | |
intr_upload_cmdfifo_not_empty_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_upload_payload_not_empty_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_upload_payload_overflow_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_readbuf_watermark_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_readbuf_flip_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_tpm_header_not_empty_o | Yes | Yes | T109,T110,T48 | Yes | T109,T110,T48 | OUTPUT | |
intr_tpm_rdfifo_cmd_end_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
intr_tpm_rdfifo_drop_o | Yes | Yes | T109,T110,T111 | Yes | T109,T110,T111 | OUTPUT | |
ram_cfg_i.b_ram_lcfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.b_ram_lcfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.b_ram_lcfg.test | No | No | No | INPUT | |||
ram_cfg_i.a_ram_lcfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.a_ram_lcfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.a_ram_lcfg.test | No | No | No | INPUT | |||
ram_cfg_i.b_ram_fcfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.b_ram_fcfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.b_ram_fcfg.test | No | No | No | INPUT | |||
ram_cfg_i.a_ram_fcfg.cfg[3:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.a_ram_fcfg.cfg_en[0:0] | Excluded | Excluded | Excluded | INPUT | [LOW_RISK] Covered in formal conn: hw/top_earlgrey/formal/conn_csvs/ast_mem_cfg.csv | ||
ram_cfg_i.a_ram_fcfg.test | No | No | No | INPUT | |||
sck_monitor_o | Yes | Yes | T20,T21,T26 | Yes | T20,T21,T26 | OUTPUT | |
mbist_en_i | Unreachable | Unreachable | Unreachable | INPUT | |||
scan_clk_i | Yes | Yes | T4,T5,T6 | Yes | T4,T5,T6 | INPUT | |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | |||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |