SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
88.10 | 88.10 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_usbdev | 97.37 | 97.37 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
97.37 | 97.37 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
97.37 | 97.37 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
84.80 | 70.25 | 84.16 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Covered | Percent | |
---|---|---|---|
Totals | 77 | 64 | 83.12 |
Total Bits | 420 | 370 | 88.10 |
Total Bits 0->1 | 210 | 185 | 88.10 |
Total Bits 1->0 | 210 | 185 | 88.10 |
Ports | 77 | 64 | 83.12 |
Port Bits | 420 | 370 | 88.10 |
Port Bits 0->1 | 210 | 185 | 88.10 |
Port Bits 1->0 | 210 | 185 | 88.10 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
rst_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
clk_aon_i | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
rst_aon_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
tl_i.d_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_user.instr_type[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_address[11:0] | Yes | Yes | T15,T16,T18 | Yes | T15,T16,T18 | INPUT |
tl_i.a_address[16:12] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[17] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_address[19:18] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[21:20] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_address[29:22] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_address[30] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
tl_i.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_i.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
tl_o.a_ready | Yes | Yes | T14,T17,T18 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_error | Yes | Yes | T14,T15,T16 | Yes | T15,T16,T17 | OUTPUT |
tl_o.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T15,T16,T17 | OUTPUT |
tl_o.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_sink | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_source[5:0] | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_size[1:0] | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_opcode[0] | Yes | Yes | *T15,*T16,*T17 | Yes | T15,T16,T17 | OUTPUT |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
tl_o.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
alert_rx_i[0].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
alert_rx_i[0].ack_p | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT |
alert_rx_i[0].ping_n | No | No | No | INPUT | ||
alert_rx_i[0].ping_p | No | No | No | INPUT | ||
alert_tx_o[0].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
alert_tx_o[0].alert_p | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT |
cio_usb_dp_i | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT |
cio_usb_dn_i | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT |
usb_rx_d_i | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | INPUT |
cio_usb_dp_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
cio_usb_dp_en_o | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT |
cio_usb_dn_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
cio_usb_dn_en_o | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT |
usb_tx_se0_o | Yes | Yes | T30,T21 | Yes | T30,T21 | OUTPUT |
usb_tx_d_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
cio_sense_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
usb_dp_pullup_o | Yes | Yes | T22,T30,T21 | Yes | T22,T30,T21 | OUTPUT |
usb_dn_pullup_o | Yes | Yes | T21 | Yes | T21 | OUTPUT |
usb_rx_enable_o | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | OUTPUT |
usb_tx_use_d_se0_o | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | OUTPUT |
usb_aon_suspend_req_o | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | OUTPUT |
usb_aon_wake_ack_o | Yes | Yes | T11,T13,T19 | Yes | T11,T13,T19 | OUTPUT |
usb_aon_bus_reset_i | No | No | No | INPUT | ||
usb_aon_sense_lost_i | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | INPUT |
usb_aon_wake_detect_active_i | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | INPUT |
usb_ref_val_o | No | No | No | OUTPUT | ||
usb_ref_pulse_o | No | No | No | 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.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.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.a_ram_fcfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.a_ram_fcfg.cfg_en | No | No | No | INPUT | ||
intr_pkt_received_o | Yes | Yes | T20,T30,T23 | Yes | T20,T30,T23 | OUTPUT |
intr_pkt_sent_o | Yes | Yes | T22,T23,T21 | Yes | T22,T23,T21 | OUTPUT |
intr_powered_o | Yes | Yes | T30,T54 | Yes | T30,T54 | OUTPUT |
intr_disconnected_o | Yes | Yes | T19,T32,T31 | Yes | T19,T32,T31 | OUTPUT |
intr_host_lost_o | Yes | Yes | T22 | Yes | T22 | OUTPUT |
intr_link_reset_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT |
intr_link_suspend_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT |
intr_link_resume_o | Yes | Yes | T30,T23,T21 | Yes | T30,T23,T21 | OUTPUT |
intr_av_empty_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT |
intr_rx_full_o | Yes | Yes | T22,T23 | Yes | T22,T23 | OUTPUT |
intr_av_overflow_o | Yes | Yes | T20,T22,T23 | Yes | T20,T22,T23 | OUTPUT |
intr_link_in_err_o | Yes | Yes | T22,T21 | Yes | T22,T21 | OUTPUT |
intr_link_out_err_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT |
intr_rx_crc_err_o | Yes | Yes | T20,T30,T23 | Yes | T20,T30,T23 | OUTPUT |
intr_rx_pid_err_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT |
intr_rx_bitstuff_err_o | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | OUTPUT |
intr_frame_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT |
Total | Covered | Percent | |
---|---|---|---|
Totals | 69 | 64 | 92.75 |
Total Bits | 380 | 370 | 97.37 |
Total Bits 0->1 | 190 | 185 | 97.37 |
Total Bits 1->0 | 190 | 185 | 97.37 |
Ports | 69 | 64 | 92.75 |
Port Bits | 380 | 370 | 97.37 |
Port Bits 0->1 | 190 | 185 | 97.37 |
Port Bits 1->0 | 190 | 185 | 97.37 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | Exclude Annotation |
clk_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
rst_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
clk_aon_i | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
rst_aon_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
tl_i.d_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_user.instr_type[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_address[11:0] | Yes | Yes | T15,T16,T18 | Yes | T15,T16,T18 | INPUT | |
tl_i.a_address[16:12] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[17] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_address[19:18] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[21:20] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_address[29:22] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_address[30] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
tl_i.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_i.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
tl_o.a_ready | Yes | Yes | T14,T17,T18 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_error | Yes | Yes | T14,T15,T16 | Yes | T15,T16,T17 | OUTPUT | |
tl_o.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T15,T16,T17 | OUTPUT | |
tl_o.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_sink | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_source[5:0] | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_size[1:0] | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
tl_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_opcode[0] | Yes | Yes | *T15,*T16,*T17 | Yes | T15,T16,T17 | OUTPUT | |
tl_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
tl_o.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
alert_rx_i[0].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT | |
alert_rx_i[0].ping_n | No | No | No | INPUT | |||
alert_rx_i[0].ping_p | No | No | No | INPUT | |||
alert_tx_o[0].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
alert_tx_o[0].alert_p | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT | |
cio_usb_dp_i | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT | |
cio_usb_dn_i | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | INPUT | |
usb_rx_d_i | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | INPUT | |
cio_usb_dp_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
cio_usb_dp_en_o | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT | |
cio_usb_dn_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
cio_usb_dn_en_o | Yes | Yes | T13,T19,T32 | Yes | T13,T19,T32 | OUTPUT | |
usb_tx_se0_o | Yes | Yes | T30,T21 | Yes | T30,T21 | OUTPUT | |
usb_tx_d_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
cio_sense_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
usb_dp_pullup_o | Yes | Yes | T22,T30,T21 | Yes | T22,T30,T21 | OUTPUT | |
usb_dn_pullup_o | Yes | Yes | T21 | Yes | T21 | OUTPUT | |
usb_rx_enable_o | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | OUTPUT | |
usb_tx_use_d_se0_o | Yes | Yes | T12,T13,T19 | Yes | T12,T13,T19 | OUTPUT | |
usb_aon_suspend_req_o | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | OUTPUT | |
usb_aon_wake_ack_o | Yes | Yes | T11,T13,T19 | Yes | T11,T13,T19 | OUTPUT | |
usb_aon_bus_reset_i | No | No | No | INPUT | |||
usb_aon_sense_lost_i | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | INPUT | |
usb_aon_wake_detect_active_i | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | INPUT | |
usb_ref_val_o | No | No | No | OUTPUT | |||
usb_ref_pulse_o | No | No | No | 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.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.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.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 | ||
intr_pkt_received_o | Yes | Yes | T20,T30,T23 | Yes | T20,T30,T23 | OUTPUT | |
intr_pkt_sent_o | Yes | Yes | T22,T23,T21 | Yes | T22,T23,T21 | OUTPUT | |
intr_powered_o | Yes | Yes | T30,T54 | Yes | T30,T54 | OUTPUT | |
intr_disconnected_o | Yes | Yes | T19,T32,T31 | Yes | T19,T32,T31 | OUTPUT | |
intr_host_lost_o | Yes | Yes | T22 | Yes | T22 | OUTPUT | |
intr_link_reset_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT | |
intr_link_suspend_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT | |
intr_link_resume_o | Yes | Yes | T30,T23,T21 | Yes | T30,T23,T21 | OUTPUT | |
intr_av_empty_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT | |
intr_rx_full_o | Yes | Yes | T22,T23 | Yes | T22,T23 | OUTPUT | |
intr_av_overflow_o | Yes | Yes | T20,T22,T23 | Yes | T20,T22,T23 | OUTPUT | |
intr_link_in_err_o | Yes | Yes | T22,T21 | Yes | T22,T21 | OUTPUT | |
intr_link_out_err_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT | |
intr_rx_crc_err_o | Yes | Yes | T20,T30,T23 | Yes | T20,T30,T23 | OUTPUT | |
intr_rx_pid_err_o | Yes | Yes | T23,T21 | Yes | T23,T21 | OUTPUT | |
intr_rx_bitstuff_err_o | Yes | Yes | T20,T22,T30 | Yes | T20,T22,T30 | OUTPUT | |
intr_frame_o | Yes | Yes | T22,T30 | Yes | T22,T30 | OUTPUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |