SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
41.96 | 28.24 | 14.29 | 61.58 | 58.33 | 47.37 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_rv_core_ibex | 42.11 | 28.24 | 14.29 | 62.34 | 58.33 | 47.37 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
42.11 | 28.24 | 14.29 | 62.34 | 58.33 | 47.37 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
69.48 | 68.29 | 82.05 | 48.09 | 86.93 | 62.04 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
79.99 | 55.91 | 84.05 | 100.00 | top_earlgrey |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
fifo_d | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 | ||
fifo_i | 73.12 | 12.50 | 100.00 | 100.00 | 80.00 | ||
gen_alert_senders[0].u_alert_sender | 33.33 | 33.33 | |||||
gen_alert_senders[1].u_alert_sender | 33.33 | 33.33 | |||||
gen_alert_senders[2].u_alert_sender | 33.33 | 33.33 | |||||
gen_alert_senders[3].u_alert_sender | 33.33 | 33.33 | |||||
tl_adapter_host_d_ibex | 62.24 | 81.40 | 40.91 | 60.00 | 66.67 | ||
tl_adapter_host_i_ibex | 47.42 | 28.57 | 38.89 | 55.56 | 66.67 | ||
u_alert_nmi_sync | 100.00 | 100.00 | 100.00 | ||||
u_core | 21.70 | 21.70 | |||||
u_core_sleeping_buf | 100.00 | 100.00 | |||||
u_dbus_trans | 11.80 | 1.15 | 22.22 | 16.67 | 7.14 | ||
u_edn_if | 48.85 | 75.32 | 50.85 | 69.23 | 0.00 | ||
u_ibus_trans | 9.94 | 1.15 | 14.81 | 16.67 | 7.14 | ||
u_intr_timer_sync | 100.00 | 100.00 | 100.00 | ||||
u_lc_sync | 100.00 | 100.00 | 100.00 | 100.00 | |||
u_prim_buf_irq | 100.00 | 100.00 | |||||
u_prim_esc_receiver | 28.57 | 28.57 | |||||
u_prim_lc_sender | 80.00 | 60.00 | 100.00 | ||||
u_prim_sync_reqack_data | 26.22 | 44.90 | 0.00 | 60.00 | 0.00 | ||
u_pwrmgr_sync | 100.00 | 100.00 | 100.00 | 100.00 | |||
u_reg_cfg | 98.13 | 96.56 | 96.82 | 99.16 | 100.00 | ||
u_sim_win_rsp | 55.63 | 30.61 | 36.36 | 55.56 | 100.00 | ||
u_tlul_req_buf | 100.00 | 100.00 | |||||
u_tlul_rsp_buf | 0.00 | 0.00 | |||||
u_wdog_nmi_sync | 100.00 | 100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 85 | 24 | 28.24 | |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
CONT_ASSIGN | 216 | 1 | 1 | 100.00 |
CONT_ASSIGN | 217 | 1 | 0 | 0.00 |
CONT_ASSIGN | 218 | 1 | 0 | 0.00 |
CONT_ASSIGN | 225 | 1 | 1 | 100.00 |
CONT_ASSIGN | 263 | 1 | 0 | 0.00 |
CONT_ASSIGN | 265 | 1 | 0 | 0.00 |
CONT_ASSIGN | 268 | 1 | 0 | 0.00 |
CONT_ASSIGN | 342 | 1 | 0 | 0.00 |
CONT_ASSIGN | 348 | 1 | 0 | 0.00 |
CONT_ASSIGN | 363 | 1 | 1 | 100.00 |
ALWAYS | 488 | 3 | 3 | 100.00 |
CONT_ASSIGN | 508 | 1 | 0 | 0.00 |
CONT_ASSIGN | 509 | 1 | 0 | 0.00 |
CONT_ASSIGN | 510 | 1 | 0 | 0.00 |
CONT_ASSIGN | 511 | 1 | 0 | 0.00 |
ALWAYS | 514 | 8 | 5 | 62.50 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 701 | 1 | 0 | 0.00 |
CONT_ASSIGN | 701 | 1 | 0 | 0.00 |
CONT_ASSIGN | 705 | 1 | 0 | 0.00 |
CONT_ASSIGN | 705 | 1 | 0 | 0.00 |
CONT_ASSIGN | 706 | 1 | 0 | 0.00 |
CONT_ASSIGN | 706 | 1 | 0 | 0.00 |
CONT_ASSIGN | 707 | 1 | 0 | 0.00 |
CONT_ASSIGN | 707 | 1 | 0 | 0.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 715 | 1 | 0 | 0.00 |
CONT_ASSIGN | 716 | 1 | 0 | 0.00 |
CONT_ASSIGN | 719 | 1 | 0 | 0.00 |
CONT_ASSIGN | 721 | 1 | 1 | 100.00 |
CONT_ASSIGN | 723 | 1 | 0 | 0.00 |
CONT_ASSIGN | 725 | 1 | 0 | 0.00 |
CONT_ASSIGN | 732 | 1 | 0 | 0.00 |
CONT_ASSIGN | 734 | 1 | 0 | 0.00 |
CONT_ASSIGN | 736 | 1 | 0 | 0.00 |
CONT_ASSIGN | 738 | 1 | 0 | 0.00 |
CONT_ASSIGN | 748 | 1 | 0 | 0.00 |
CONT_ASSIGN | 749 | 1 | 0 | 0.00 |
CONT_ASSIGN | 750 | 1 | 1 | 100.00 |
CONT_ASSIGN | 751 | 1 | 0 | 0.00 |
CONT_ASSIGN | 754 | 1 | 0 | 0.00 |
CONT_ASSIGN | 757 | 1 | 0 | 0.00 |
ALWAYS | 789 | 11 | 0 | 0.00 |
ALWAYS | 805 | 7 | 7 | 100.00 |
CONT_ASSIGN | 816 | 1 | 0 | 0.00 |
CONT_ASSIGN | 835 | 1 | 0 | 0.00 |
CONT_ASSIGN | 836 | 1 | 0 | 0.00 |
CONT_ASSIGN | 837 | 1 | 0 | 0.00 |
CONT_ASSIGN | 840 | 1 | 0 | 0.00 |
CONT_ASSIGN | 844 | 0 | 0 | |
CONT_ASSIGN | 883 | 1 | 0 | 0.00 |
ALWAYS | 936 | 0 | 0 | |
CONT_ASSIGN | 977 | 1 | 0 | 0.00 |
CONT_ASSIGN | 979 | 1 | 0 | 0.00 |
CONT_ASSIGN | 981 | 1 | 1 | 100.00 |
CONT_ASSIGN | 983 | 1 | 0 | 0.00 |
CONT_ASSIGN | 985 | 1 | 0 | 0.00 |
Line No. | Covered | Statements | |
---|---|---|---|
202 | 1 | 1 | |
203 | 1 | 1 | |
216 | 1 | 1 | |
217 | 0 | 1 | |
218 | 0 | 1 | |
225 | 1 | 1 | |
263 | 0 | 1 | |
265 | 0 | 1 | |
268 | 0 | 1 | |
342 | 0 | 1 | |
348 | 0 | 1 | |
363 | 1 | 1 | |
488 | 1 | 1 | |
489 | 1 | 1 | |
491 | 1 | 1 | |
508 | 0 | 1 | |
509 | 0 | 1 | |
510 | 0 | 1 | |
511 | 0 | 1 | |
514 | 1 | 1 | |
515 | 1 | 1 | |
516 | 1 | 1 | |
517 | 1 | 1 | |
518 | 1 | 1 | |
519 | 0 | 1 | |
520 | 0 | 1 | |
521 | 0 | 1 | |
MISSING_ELSE | |||
699 | 0 | 2 | |
700 | 0 | 2 | |
701 | 0 | 2 | |
705 | 0 | 2 | |
706 | 0 | 2 | |
707 | 0 | 2 | |
714 | 1 | 1 | |
715 | 0 | 1 | |
716 | 0 | 1 | |
719 | 0 | 1 | |
721 | 1 | 1 | |
723 | 0 | 1 | |
725 | 0 | 1 | |
732 | 0 | 1 | |
734 | 0 | 1 | |
736 | 0 | 1 | |
738 | 0 | 1 | |
748 | 0 | 1 | |
749 | 0 | 1 | |
750 | 1 | 1 | |
751 | 0 | 1 | |
754 | 0 | 1 | |
757 | 0 | 1 | |
789 | 0 | 1 | |
790 | 0 | 1 | |
791 | 0 | 1 | |
793 | 0 | 1 | |
794 | 0 | 1 | |
795 | 0 | 1 | |
796 | 0 | 1 | |
797 | 0 | 1 | |
798 | 0 | 1 | |
799 | 0 | 1 | |
800 | 0 | 1 | |
==> MISSING_ELSE | |||
805 | 1 | 1 | |
806 | 1 | 1 | |
807 | 1 | 1 | |
808 | 1 | 1 | |
810 | 1 | 1 | |
811 | 1 | 1 | |
812 | 1 | 1 | |
816 | 0 | 1 | |
835 | 0 | 1 | |
836 | 0 | 1 | |
837 | 0 | 1 | |
840 | 0 | 1 | |
844 | unreachable | ||
883 | 0 | 1 | |
936 | unreachable | ||
937 | unreachable | ||
938 | unreachable | ||
939 | unreachable | ||
==> MISSING_ELSE | |||
977 | 0 | 1 | |
979 | 0 | 1 | |
981 | 1 | 1 | |
983 | 0 | 1 | |
985 | 0 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 28 | 4 | 14.29 |
Logical | 28 | 4 | 14.29 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 216 EXPRESSION (ibus_intg_err | dbus_intg_err | alert_major_bus) ------1------ ------2------ -------3-------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Not Covered |
LINE 217 EXPRESSION (alert_major_internal | double_fault) ----------1--------- ------2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered |
LINE 348 EXPRESSION (fatal_core_err ? Off : local_fetch_enable_q) -------1------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T2,T3 |
1 | Not Covered |
LINE 732 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 734 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 736 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 738 EXPRESSION (reg2hw.alert_test.recov_hw_err.q & reg2hw.alert_test.recov_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 750 EXPRESSION (intg_err | fatal_intg_err | fatal_core_err) ----1--- -------2------ -------3------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Not Covered |
LINE 797 EXPRESSION (edn_req && edn_ack) ---1--- ---2---
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
Total | Covered | Percent | |
---|---|---|---|
Totals | 121 | 100 | 82.64 |
Total Bits | 1624 | 1000 | 61.58 |
Total Bits 0->1 | 812 | 500 | 61.58 |
Total Bits 1->0 | 812 | 500 | 61.58 |
Ports | 121 | 100 | 82.64 |
Port Bits | 1624 | 1000 | 61.58 |
Port Bits 0->1 | 812 | 500 | 61.58 |
Port Bits 1->0 | 812 | 500 | 61.58 |
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_edn_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
rst_edn_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
clk_esc_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
rst_esc_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
rst_cpu_n_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
ram_cfg_i.rf_cfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.rf_cfg.cfg_en | No | No | No | INPUT | ||
ram_cfg_i.ram_cfg.cfg[3:0] | No | No | No | INPUT | ||
ram_cfg_i.ram_cfg.cfg_en | No | No | No | INPUT | ||
hart_id_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
boot_addr_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_o.d_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T14,T17,T31 | Yes | T14,T17,T31 | OUTPUT |
corei_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_address[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_o.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
corei_tl_h_i.a_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
corei_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_o.d_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T14,T31,T33 | Yes | T14,T31,T33 | OUTPUT |
cored_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_address[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_o.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cored_tl_h_i.a_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
cored_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
irq_software_i | Yes | Yes | T18,T19,T34 | Yes | T18,T19,T34 | INPUT |
irq_timer_i | Yes | Yes | T29 | Yes | T29 | INPUT |
irq_external_i | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | INPUT |
esc_tx_i.esc_n | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | INPUT |
esc_tx_i.esc_p | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | INPUT |
esc_rx_o.resp_n | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | OUTPUT |
esc_rx_o.resp_p | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | OUTPUT |
nmi_wdog_i | Yes | Yes | T29,T18,T19 | Yes | T29,T18,T19 | INPUT |
debug_req_i | No | No | No | INPUT | ||
crash_dump_o.current.exception_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.current.exception_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.current.last_data_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.current.next_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.current.current_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.prev_exception_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.prev_exception_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
crash_dump_o.prev_valid | Unreachable | Unreachable | Unreachable | OUTPUT | ||
lc_cpu_en_i[3:0] | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
pwrmgr_cpu_en_i[3:0] | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
pwrmgr_o.core_sleeping | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | ||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.d_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_user.instr_type[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_address[7:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_address[15:8] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[20:16] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[24] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[30] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_i.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT |
cfg_tl_d_o.a_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | OUTPUT |
cfg_tl_d_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT |
edn_o.edn_req | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
edn_i.edn_bus[31:0] | No | No | No | INPUT | ||
edn_i.edn_fips | No | No | No | INPUT | ||
edn_i.edn_ack | No | No | No | INPUT | ||
clk_otp_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
rst_otp_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
icache_otp_key_o.req | No | No | No | OUTPUT | ||
icache_otp_key_i.seed_valid | No | No | No | INPUT | ||
icache_otp_key_i.nonce[127:0] | No | No | No | INPUT | ||
icache_otp_key_i.key[127:0] | No | No | No | INPUT | ||
icache_otp_key_i.ack | No | No | No | INPUT | ||
fpga_info_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
alert_rx_i[0].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
alert_rx_i[0].ack_p | Yes | Yes | T20,T29,T18 | Yes | T20,T29,T18 | INPUT |
alert_rx_i[0].ping_n | No | No | No | INPUT | ||
alert_rx_i[0].ping_p | No | No | No | INPUT | ||
alert_rx_i[1].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
alert_rx_i[1].ack_p | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | INPUT |
alert_rx_i[1].ping_n | No | No | No | INPUT | ||
alert_rx_i[1].ping_p | No | No | No | INPUT | ||
alert_rx_i[2].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
alert_rx_i[2].ack_p | Yes | Yes | T13,T20,T18 | Yes | T13,T20,T18 | INPUT |
alert_rx_i[2].ping_n | No | No | No | INPUT | ||
alert_rx_i[2].ping_p | No | No | No | INPUT | ||
alert_rx_i[3].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT |
alert_rx_i[3].ack_p | Yes | Yes | T13,T18,T19 | Yes | T13,T18,T19 | INPUT |
alert_rx_i[3].ping_n | No | No | No | INPUT | ||
alert_rx_i[3].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 | T20,T29,T18 | Yes | T20,T29,T18 | OUTPUT |
alert_tx_o[1].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
alert_tx_o[1].alert_p | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | OUTPUT |
alert_tx_o[2].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
alert_tx_o[2].alert_p | Yes | Yes | T13,T20,T18 | Yes | T13,T20,T18 | OUTPUT |
alert_tx_o[3].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT |
alert_tx_o[3].alert_p | Yes | Yes | T13,T18,T19 | Yes | T13,T18,T19 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 12 | 7 | 58.33 | |
TERNARY | 348 | 2 | 1 | 50.00 |
IF | 488 | 2 | 2 | 100.00 |
IF | 514 | 3 | 2 | 66.67 |
IF | 793 | 3 | 0 | 0.00 |
IF | 805 | 2 | 2 | 100.00 |
LineNo. Expression -1-: 348 (fatal_core_err) ?
-1- | Status | Tests |
---|---|---|
1 | Not Covered | |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 488 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 514 if ((!rst_ni)) -2-: 518 if (double_fault)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
0 | 0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 793 if (reg2hw.rnd_data.re) -2-: 797 if ((edn_req && edn_ack))
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Not Covered | |
0 | 1 | Not Covered | |
0 | 0 | Not Covered |
LineNo. Expression -1-: 805 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 19 | 19 | 100.00 | 9 | 47.37 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 19 | 19 | 100.00 | 9 | 47.37 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 252624 | 0 | 32 |
T1 | 203500 | 19382 | 0 | 2 |
T2 | 185777 | 19377 | 0 | 2 |
T3 | 169376 | 19301 | 0 | 2 |
T4 | 151273 | 19344 | 0 | 2 |
T5 | 179149 | 19373 | 0 | 2 |
T6 | 150023 | 19422 | 0 | 2 |
T7 | 166853 | 19481 | 0 | 2 |
T8 | 140170 | 19478 | 0 | 2 |
T9 | 147264 | 19382 | 0 | 2 |
T10 | 126060 | 19350 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 907372 | 0 | 32 |
T1 | 203500 | 69754 | 0 | 2 |
T2 | 185777 | 69741 | 0 | 2 |
T3 | 169376 | 69677 | 0 | 2 |
T4 | 151273 | 69708 | 0 | 2 |
T5 | 179149 | 69741 | 0 | 2 |
T6 | 150023 | 69790 | 0 | 2 |
T7 | 166853 | 69845 | 0 | 2 |
T8 | 140170 | 69838 | 0 | 2 |
T9 | 147264 | 69750 | 0 | 2 |
T10 | 126060 | 69710 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 7274009 | 0 | 32 |
T1 | 203500 | 133581 | 0 | 2 |
T2 | 185777 | 115857 | 0 | 2 |
T3 | 169376 | 99527 | 0 | 2 |
T4 | 151273 | 81389 | 0 | 2 |
T5 | 179149 | 109225 | 0 | 2 |
T6 | 150023 | 80050 | 0 | 2 |
T7 | 166853 | 96836 | 0 | 2 |
T8 | 140170 | 70157 | 0 | 2 |
T9 | 147264 | 77344 | 0 | 2 |
T10 | 126060 | 56175 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 7274031 | 0 | 0 |
T1 | 203500 | 133583 | 0 | 0 |
T2 | 185777 | 115859 | 0 | 0 |
T3 | 169376 | 99529 | 0 | 0 |
T4 | 151273 | 81391 | 0 | 0 |
T5 | 179149 | 109227 | 0 | 0 |
T6 | 150023 | 80052 | 0 | 0 |
T7 | 166853 | 96838 | 0 | 0 |
T8 | 140170 | 70158 | 0 | 0 |
T9 | 147264 | 77344 | 0 | 0 |
T10 | 126060 | 56176 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 85 | 24 | 28.24 | |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
CONT_ASSIGN | 216 | 1 | 1 | 100.00 |
CONT_ASSIGN | 217 | 1 | 0 | 0.00 |
CONT_ASSIGN | 218 | 1 | 0 | 0.00 |
CONT_ASSIGN | 225 | 1 | 1 | 100.00 |
CONT_ASSIGN | 263 | 1 | 0 | 0.00 |
CONT_ASSIGN | 265 | 1 | 0 | 0.00 |
CONT_ASSIGN | 268 | 1 | 0 | 0.00 |
CONT_ASSIGN | 342 | 1 | 0 | 0.00 |
CONT_ASSIGN | 348 | 1 | 0 | 0.00 |
CONT_ASSIGN | 363 | 1 | 1 | 100.00 |
ALWAYS | 488 | 3 | 3 | 100.00 |
CONT_ASSIGN | 508 | 1 | 0 | 0.00 |
CONT_ASSIGN | 509 | 1 | 0 | 0.00 |
CONT_ASSIGN | 510 | 1 | 0 | 0.00 |
CONT_ASSIGN | 511 | 1 | 0 | 0.00 |
ALWAYS | 514 | 8 | 5 | 62.50 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 701 | 1 | 0 | 0.00 |
CONT_ASSIGN | 701 | 1 | 0 | 0.00 |
CONT_ASSIGN | 705 | 1 | 0 | 0.00 |
CONT_ASSIGN | 705 | 1 | 0 | 0.00 |
CONT_ASSIGN | 706 | 1 | 0 | 0.00 |
CONT_ASSIGN | 706 | 1 | 0 | 0.00 |
CONT_ASSIGN | 707 | 1 | 0 | 0.00 |
CONT_ASSIGN | 707 | 1 | 0 | 0.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 715 | 1 | 0 | 0.00 |
CONT_ASSIGN | 716 | 1 | 0 | 0.00 |
CONT_ASSIGN | 719 | 1 | 0 | 0.00 |
CONT_ASSIGN | 721 | 1 | 1 | 100.00 |
CONT_ASSIGN | 723 | 1 | 0 | 0.00 |
CONT_ASSIGN | 725 | 1 | 0 | 0.00 |
CONT_ASSIGN | 732 | 1 | 0 | 0.00 |
CONT_ASSIGN | 734 | 1 | 0 | 0.00 |
CONT_ASSIGN | 736 | 1 | 0 | 0.00 |
CONT_ASSIGN | 738 | 1 | 0 | 0.00 |
CONT_ASSIGN | 748 | 1 | 0 | 0.00 |
CONT_ASSIGN | 749 | 1 | 0 | 0.00 |
CONT_ASSIGN | 750 | 1 | 1 | 100.00 |
CONT_ASSIGN | 751 | 1 | 0 | 0.00 |
CONT_ASSIGN | 754 | 1 | 0 | 0.00 |
CONT_ASSIGN | 757 | 1 | 0 | 0.00 |
ALWAYS | 789 | 11 | 0 | 0.00 |
ALWAYS | 805 | 7 | 7 | 100.00 |
CONT_ASSIGN | 816 | 1 | 0 | 0.00 |
CONT_ASSIGN | 835 | 1 | 0 | 0.00 |
CONT_ASSIGN | 836 | 1 | 0 | 0.00 |
CONT_ASSIGN | 837 | 1 | 0 | 0.00 |
CONT_ASSIGN | 840 | 1 | 0 | 0.00 |
CONT_ASSIGN | 844 | 0 | 0 | |
CONT_ASSIGN | 883 | 1 | 0 | 0.00 |
ALWAYS | 936 | 0 | 0 | |
CONT_ASSIGN | 977 | 1 | 0 | 0.00 |
CONT_ASSIGN | 979 | 1 | 0 | 0.00 |
CONT_ASSIGN | 981 | 1 | 1 | 100.00 |
CONT_ASSIGN | 983 | 1 | 0 | 0.00 |
CONT_ASSIGN | 985 | 1 | 0 | 0.00 |
Line No. | Covered | Statements | |
---|---|---|---|
202 | 1 | 1 | |
203 | 1 | 1 | |
216 | 1 | 1 | |
217 | 0 | 1 | |
218 | 0 | 1 | |
225 | 1 | 1 | |
263 | 0 | 1 | |
265 | 0 | 1 | |
268 | 0 | 1 | |
342 | 0 | 1 | |
348 | 0 | 1 | |
363 | 1 | 1 | |
488 | 1 | 1 | |
489 | 1 | 1 | |
491 | 1 | 1 | |
508 | 0 | 1 | |
509 | 0 | 1 | |
510 | 0 | 1 | |
511 | 0 | 1 | |
514 | 1 | 1 | |
515 | 1 | 1 | |
516 | 1 | 1 | |
517 | 1 | 1 | |
518 | 1 | 1 | |
519 | 0 | 1 | |
520 | 0 | 1 | |
521 | 0 | 1 | |
MISSING_ELSE | |||
699 | 0 | 2 | |
700 | 0 | 2 | |
701 | 0 | 2 | |
705 | 0 | 2 | |
706 | 0 | 2 | |
707 | 0 | 2 | |
714 | 1 | 1 | |
715 | 0 | 1 | |
716 | 0 | 1 | |
719 | 0 | 1 | |
721 | 1 | 1 | |
723 | 0 | 1 | |
725 | 0 | 1 | |
732 | 0 | 1 | |
734 | 0 | 1 | |
736 | 0 | 1 | |
738 | 0 | 1 | |
748 | 0 | 1 | |
749 | 0 | 1 | |
750 | 1 | 1 | |
751 | 0 | 1 | |
754 | 0 | 1 | |
757 | 0 | 1 | |
789 | 0 | 1 | |
790 | 0 | 1 | |
791 | 0 | 1 | |
793 | 0 | 1 | |
794 | 0 | 1 | |
795 | 0 | 1 | |
796 | 0 | 1 | |
797 | 0 | 1 | |
798 | 0 | 1 | |
799 | 0 | 1 | |
800 | 0 | 1 | |
==> MISSING_ELSE | |||
805 | 1 | 1 | |
806 | 1 | 1 | |
807 | 1 | 1 | |
808 | 1 | 1 | |
810 | 1 | 1 | |
811 | 1 | 1 | |
812 | 1 | 1 | |
816 | 0 | 1 | |
835 | 0 | 1 | |
836 | 0 | 1 | |
837 | 0 | 1 | |
840 | 0 | 1 | |
844 | unreachable | ||
883 | 0 | 1 | |
936 | unreachable | ||
937 | unreachable | ||
938 | unreachable | ||
939 | unreachable | ||
==> MISSING_ELSE | |||
977 | 0 | 1 | |
979 | 0 | 1 | |
981 | 1 | 1 | |
983 | 0 | 1 | |
985 | 0 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 28 | 4 | 14.29 |
Logical | 28 | 4 | 14.29 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 216 EXPRESSION (ibus_intg_err | dbus_intg_err | alert_major_bus) ------1------ ------2------ -------3-------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Not Covered |
LINE 217 EXPRESSION (alert_major_internal | double_fault) ----------1--------- ------2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered |
LINE 348 EXPRESSION (fatal_core_err ? Off : local_fetch_enable_q) -------1------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T2,T3 |
1 | Not Covered |
LINE 732 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 734 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 736 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 738 EXPRESSION (reg2hw.alert_test.recov_hw_err.q & reg2hw.alert_test.recov_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
LINE 750 EXPRESSION (intg_err | fatal_intg_err | fatal_core_err) ----1--- -------2------ -------3------
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Not Covered |
LINE 797 EXPRESSION (edn_req && edn_ack) ---1--- ---2---
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered |
Total | Covered | Percent | |
---|---|---|---|
Totals | 117 | 100 | 85.47 |
Total Bits | 1604 | 1000 | 62.34 |
Total Bits 0->1 | 802 | 500 | 62.34 |
Total Bits 1->0 | 802 | 500 | 62.34 |
Ports | 117 | 100 | 85.47 |
Port Bits | 1604 | 1000 | 62.34 |
Port Bits 0->1 | 802 | 500 | 62.34 |
Port Bits 1->0 | 802 | 500 | 62.34 |
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_edn_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
rst_edn_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
clk_esc_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
rst_esc_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
rst_cpu_n_o | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
ram_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 | ||
ram_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 | ||
ram_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 | ||
ram_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 | ||
hart_id_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
boot_addr_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_o.d_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T14,T17,T31 | Yes | T14,T17,T31 | OUTPUT | |
corei_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_address[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_o.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
corei_tl_h_i.a_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
corei_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_o.d_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T14,T31,T33 | Yes | T14,T31,T33 | OUTPUT | |
cored_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_address[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_o.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cored_tl_h_i.a_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
cored_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
irq_software_i | Yes | Yes | T18,T19,T34 | Yes | T18,T19,T34 | INPUT | |
irq_timer_i | Yes | Yes | T29 | Yes | T29 | INPUT | |
irq_external_i | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | INPUT | |
esc_tx_i.esc_n | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | INPUT | |
esc_tx_i.esc_p | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | INPUT | |
esc_rx_o.resp_n | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | OUTPUT | |
esc_rx_o.resp_p | Yes | Yes | T18,T34,T35 | Yes | T18,T34,T35 | OUTPUT | |
nmi_wdog_i | Yes | Yes | T29,T18,T19 | Yes | T29,T18,T19 | INPUT | |
debug_req_i | No | No | No | INPUT | |||
crash_dump_o.current.exception_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.current.exception_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.current.last_data_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.current.next_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.current.current_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.prev_exception_addr[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.prev_exception_pc[31:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
crash_dump_o.prev_valid | Unreachable | Unreachable | Unreachable | OUTPUT | |||
lc_cpu_en_i[3:0] | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
pwrmgr_cpu_en_i[3:0] | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
pwrmgr_o.core_sleeping | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | |||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.d_ready | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_user.cmd_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_user.instr_type[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_mask[3:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_address[7:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_address[15:8] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[20:16] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[24] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[30] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_opcode[2:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_i.a_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | INPUT | |
cfg_tl_d_o.a_ready | Yes | Yes | T15,T16,T17 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_error | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_user.data_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_user.rsp_intg[6:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_data[31:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_sink | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_source[5:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_size[1:0] | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_opcode[0] | Yes | Yes | *T14,*T15,*T16 | Yes | T14,T15,T16 | OUTPUT | |
cfg_tl_d_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_valid | Yes | Yes | T14,T15,T16 | Yes | T14,T15,T16 | OUTPUT | |
edn_o.edn_req | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
edn_i.edn_bus[31:0] | No | No | No | INPUT | |||
edn_i.edn_fips | No | No | No | INPUT | |||
edn_i.edn_ack | No | No | No | INPUT | |||
clk_otp_i | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
rst_otp_ni | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
icache_otp_key_o.req | No | No | No | OUTPUT | |||
icache_otp_key_i.seed_valid | No | No | No | INPUT | |||
icache_otp_key_i.nonce[127:0] | No | No | No | INPUT | |||
icache_otp_key_i.key[127:0] | No | No | No | INPUT | |||
icache_otp_key_i.ack | No | No | No | INPUT | |||
fpga_info_i[31:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
alert_rx_i[0].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T20,T29,T18 | Yes | T20,T29,T18 | INPUT | |
alert_rx_i[0].ping_n | No | No | No | INPUT | |||
alert_rx_i[0].ping_p | No | No | No | INPUT | |||
alert_rx_i[1].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
alert_rx_i[1].ack_p | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | INPUT | |
alert_rx_i[1].ping_n | No | No | No | INPUT | |||
alert_rx_i[1].ping_p | No | No | No | INPUT | |||
alert_rx_i[2].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
alert_rx_i[2].ack_p | Yes | Yes | T13,T20,T18 | Yes | T13,T20,T18 | INPUT | |
alert_rx_i[2].ping_n | No | No | No | INPUT | |||
alert_rx_i[2].ping_p | No | No | No | INPUT | |||
alert_rx_i[3].ack_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | INPUT | |
alert_rx_i[3].ack_p | Yes | Yes | T13,T18,T19 | Yes | T13,T18,T19 | INPUT | |
alert_rx_i[3].ping_n | No | No | No | INPUT | |||
alert_rx_i[3].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 | T20,T29,T18 | Yes | T20,T29,T18 | OUTPUT | |
alert_tx_o[1].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
alert_tx_o[1].alert_p | Yes | Yes | T13,T20,T29 | Yes | T13,T20,T29 | OUTPUT | |
alert_tx_o[2].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
alert_tx_o[2].alert_p | Yes | Yes | T13,T20,T18 | Yes | T13,T20,T18 | OUTPUT | |
alert_tx_o[3].alert_n | Yes | Yes | T11,T12,T13 | Yes | T11,T12,T13 | OUTPUT | |
alert_tx_o[3].alert_p | Yes | Yes | T13,T18,T19 | Yes | T13,T18,T19 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 12 | 7 | 58.33 | |
TERNARY | 348 | 2 | 1 | 50.00 |
IF | 488 | 2 | 2 | 100.00 |
IF | 514 | 3 | 2 | 66.67 |
IF | 793 | 3 | 0 | 0.00 |
IF | 805 | 2 | 2 | 100.00 |
LineNo. Expression -1-: 348 (fatal_core_err) ?
-1- | Status | Tests |
---|---|---|
1 | Not Covered | |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 488 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 514 if ((!rst_ni)) -2-: 518 if (double_fault)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
0 | 0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 793 if (reg2hw.rnd_data.re) -2-: 797 if ((edn_req && edn_ack))
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Not Covered | |
0 | 1 | Not Covered | |
0 | 0 | Not Covered |
LineNo. Expression -1-: 805 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 19 | 19 | 100.00 | 9 | 47.37 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 19 | 19 | 100.00 | 9 | 47.37 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 252624 | 0 | 32 |
T1 | 203500 | 19382 | 0 | 2 |
T2 | 185777 | 19377 | 0 | 2 |
T3 | 169376 | 19301 | 0 | 2 |
T4 | 151273 | 19344 | 0 | 2 |
T5 | 179149 | 19373 | 0 | 2 |
T6 | 150023 | 19422 | 0 | 2 |
T7 | 166853 | 19481 | 0 | 2 |
T8 | 140170 | 19478 | 0 | 2 |
T9 | 147264 | 19382 | 0 | 2 |
T10 | 126060 | 19350 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 907372 | 0 | 32 |
T1 | 203500 | 69754 | 0 | 2 |
T2 | 185777 | 69741 | 0 | 2 |
T3 | 169376 | 69677 | 0 | 2 |
T4 | 151273 | 69708 | 0 | 2 |
T5 | 179149 | 69741 | 0 | 2 |
T6 | 150023 | 69790 | 0 | 2 |
T7 | 166853 | 69845 | 0 | 2 |
T8 | 140170 | 69838 | 0 | 2 |
T9 | 147264 | 69750 | 0 | 2 |
T10 | 126060 | 69710 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 7274009 | 0 | 32 |
T1 | 203500 | 133581 | 0 | 2 |
T2 | 185777 | 115857 | 0 | 2 |
T3 | 169376 | 99527 | 0 | 2 |
T4 | 151273 | 81389 | 0 | 2 |
T5 | 179149 | 109225 | 0 | 2 |
T6 | 150023 | 80050 | 0 | 2 |
T7 | 166853 | 96836 | 0 | 2 |
T8 | 140170 | 70157 | 0 | 2 |
T9 | 147264 | 77344 | 0 | 2 |
T10 | 126060 | 56175 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 7274031 | 0 | 0 |
T1 | 203500 | 133583 | 0 | 0 |
T2 | 185777 | 115859 | 0 | 0 |
T3 | 169376 | 99529 | 0 | 0 |
T4 | 151273 | 81391 | 0 | 0 |
T5 | 179149 | 109227 | 0 | 0 |
T6 | 150023 | 80052 | 0 | 0 |
T7 | 166853 | 96838 | 0 | 0 |
T8 | 140170 | 70158 | 0 | 0 |
T9 | 147264 | 77344 | 0 | 0 |
T10 | 126060 | 56176 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 16 | 16 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8183835 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |