SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
57.03 | 54.12 | 53.57 | 61.58 | 75.00 | 40.91 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.top_earlgrey.u_rv_core_ibex | 57.19 | 54.12 | 53.57 | 62.34 | 75.00 | 40.91 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
57.19 | 54.12 | 53.57 | 62.34 | 75.00 | 40.91 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
71.31 | 74.42 | 84.88 | 48.89 | 89.07 | 59.29 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
85.22 | 70.61 | 85.06 | 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 | 83.33 | 83.33 | |||||
gen_alert_senders[2].u_alert_sender | 58.33 | 58.33 | |||||
gen_alert_senders[3].u_alert_sender | 58.33 | 58.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.20 | 21.20 | |||||
u_core_sleeping_buf | 100.00 | 100.00 | |||||
u_dbus_trans | 47.76 | 17.24 | 66.67 | 100.00 | 7.14 | ||
u_edn_if | 48.85 | 75.32 | 50.85 | 69.23 | 0.00 | ||
u_ibus_trans | 36.48 | 51.72 | 37.04 | 50.00 | 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 | 0.00 | 0.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 | 96.62 | 95.90 | 96.37 | 98.74 | 95.45 | ||
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 | 46 | 54.12 | |
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 | 1 | 100.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 | 698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 699 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 704 | 1 | 1 | 100.00 |
CONT_ASSIGN | 704 | 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 | 713 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 0 | 0.00 |
CONT_ASSIGN | 715 | 1 | 0 | 0.00 |
CONT_ASSIGN | 718 | 1 | 1 | 100.00 |
CONT_ASSIGN | 720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 722 | 1 | 0 | 0.00 |
CONT_ASSIGN | 724 | 1 | 0 | 0.00 |
CONT_ASSIGN | 731 | 1 | 1 | 100.00 |
CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
CONT_ASSIGN | 735 | 1 | 1 | 100.00 |
CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
CONT_ASSIGN | 747 | 1 | 0 | 0.00 |
CONT_ASSIGN | 748 | 1 | 1 | 100.00 |
CONT_ASSIGN | 749 | 1 | 1 | 100.00 |
CONT_ASSIGN | 750 | 1 | 0 | 0.00 |
CONT_ASSIGN | 753 | 1 | 1 | 100.00 |
CONT_ASSIGN | 756 | 1 | 1 | 100.00 |
ALWAYS | 788 | 11 | 8 | 72.73 |
ALWAYS | 804 | 7 | 7 | 100.00 |
CONT_ASSIGN | 815 | 1 | 0 | 0.00 |
CONT_ASSIGN | 834 | 1 | 0 | 0.00 |
CONT_ASSIGN | 835 | 1 | 0 | 0.00 |
CONT_ASSIGN | 836 | 1 | 0 | 0.00 |
CONT_ASSIGN | 839 | 1 | 0 | 0.00 |
CONT_ASSIGN | 843 | 0 | 0 | |
CONT_ASSIGN | 882 | 1 | 0 | 0.00 |
ALWAYS | 941 | 0 | 0 | |
CONT_ASSIGN | 982 | 1 | 0 | 0.00 |
CONT_ASSIGN | 984 | 1 | 0 | 0.00 |
CONT_ASSIGN | 986 | 1 | 1 | 100.00 |
CONT_ASSIGN | 988 | 1 | 0 | 0.00 |
CONT_ASSIGN | 990 | 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 | 1 | 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 | |||
698 | 2 | 2 | |
699 | 1 | 2 | |
700 | 1 | 2 | |
704 | 1 | 2 | |
705 | 0 | 2 | |
706 | 0 | 2 | |
713 | 1 | 1 | |
714 | 0 | 1 | |
715 | 0 | 1 | |
718 | 1 | 1 | |
720 | 1 | 1 | |
722 | 0 | 1 | |
724 | 0 | 1 | |
731 | 1 | 1 | |
733 | 1 | 1 | |
735 | 1 | 1 | |
737 | 1 | 1 | |
747 | 0 | 1 | |
748 | 1 | 1 | |
749 | 1 | 1 | |
750 | 0 | 1 | |
753 | 1 | 1 | |
756 | 1 | 1 | |
788 | 1 | 1 | |
789 | 1 | 1 | |
790 | 1 | 1 | |
792 | 1 | 1 | |
793 | 1 | 1 | |
794 | 1 | 1 | |
795 | 1 | 1 | |
796 | 1 | 1 | |
797 | 0 | 1 | |
798 | 0 | 1 | |
799 | 0 | 1 | |
MISSING_ELSE | |||
804 | 1 | 1 | |
805 | 1 | 1 | |
806 | 1 | 1 | |
807 | 1 | 1 | |
809 | 1 | 1 | |
810 | 1 | 1 | |
811 | 1 | 1 | |
815 | 0 | 1 | |
834 | 0 | 1 | |
835 | 0 | 1 | |
836 | 0 | 1 | |
839 | 0 | 1 | |
843 | unreachable | ||
882 | 0 | 1 | |
941 | unreachable | ||
942 | unreachable | ||
943 | unreachable | ||
944 | unreachable | ||
==> MISSING_ELSE | |||
982 | 0 | 1 | |
984 | 0 | 1 | |
986 | 1 | 1 | |
988 | 0 | 1 | |
990 | 0 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 28 | 15 | 53.57 |
Logical | 28 | 15 | 53.57 |
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 731 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Not Covered |
LINE 733 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 735 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 737 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 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 749 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 796 EXPRESSION (edn_req && edn_ack) ---1--- ---2---
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T22 |
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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
clk_edn_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_edn_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
clk_esc_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_esc_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_cpu_n_o | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T7,T18,T40 | Yes | T7,T18,T40 | OUTPUT |
corei_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_data[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_mask[3:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_address[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_source[5:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
corei_tl_h_o.a_opcode[2:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_o.a_valid | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
corei_tl_h_i.a_ready | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_error | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T1,T2,T14 | Yes | T1,T2,T14 | INPUT |
corei_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_data[31:0] | Yes | Yes | T1,T2,T14 | Yes | T1,T2,T14 | INPUT |
corei_tl_h_i.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_source[5:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
corei_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_opcode[0] | Yes | Yes | *T1,*T2,*T14 | Yes | T1,T2,T14 | INPUT |
corei_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | ||
corei_tl_h_i.d_valid | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cored_tl_h_o.d_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T5,T7,T18 | Yes | T5,T7,T18 | OUTPUT |
cored_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_data[31:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_mask[3:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
cored_tl_h_o.a_address[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
cored_tl_h_o.a_source[5:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
cored_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cored_tl_h_o.a_opcode[2:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_o.a_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
cored_tl_h_i.a_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_error | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cored_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_data[31:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cored_tl_h_i.d_source[5:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cored_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_opcode[0] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT |
cored_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | ||
cored_tl_h_i.d_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
irq_software_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | INPUT |
irq_timer_i | Yes | Yes | T10 | Yes | T10 | INPUT |
irq_external_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | INPUT |
esc_tx_i.esc_n | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | INPUT |
esc_tx_i.esc_p | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | INPUT |
esc_rx_o.resp_n | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | OUTPUT |
esc_rx_o.resp_p | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | OUTPUT |
nmi_wdog_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
pwrmgr_cpu_en_i[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
pwrmgr_o.core_sleeping | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | ||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.d_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
cfg_tl_d_i.a_user.data_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_user.cmd_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_user.instr_type[3:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_data[31:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_mask[3:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_address[7:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cfg_tl_d_i.a_address[15:8] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[20:16] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[24] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_address[30] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_source[5:0] | Yes | Yes | *T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cfg_tl_d_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | ||
cfg_tl_d_i.a_opcode[2:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT |
cfg_tl_d_i.a_valid | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT |
cfg_tl_d_o.a_ready | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_error | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_user.data_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_user.rsp_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_data[31:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
cfg_tl_d_o.d_source[5:0] | Yes | Yes | *T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT |
cfg_tl_d_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_opcode[0] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | OUTPUT |
cfg_tl_d_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | ||
cfg_tl_d_o.d_valid | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT |
edn_o.edn_req | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_otp_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[0].ack_p | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[1].ack_p | Yes | Yes | T22,T16,T8 | Yes | T22,T16,T8 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[2].ack_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
alert_rx_i[3].ack_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
alert_tx_o[0].alert_p | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | OUTPUT |
alert_tx_o[1].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
alert_tx_o[1].alert_p | Yes | Yes | T22,T16,T8 | Yes | T22,T16,T8 | OUTPUT |
alert_tx_o[2].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
alert_tx_o[2].alert_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | OUTPUT |
alert_tx_o[3].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
alert_tx_o[3].alert_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 12 | 9 | 75.00 | |
TERNARY | 348 | 2 | 1 | 50.00 |
IF | 488 | 2 | 2 | 100.00 |
IF | 514 | 3 | 2 | 66.67 |
IF | 792 | 3 | 2 | 66.67 |
IF | 804 | 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-: 792 if (reg2hw.rnd_data.re) -2-: 796 if ((edn_req && edn_ack))
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T22 |
0 | 1 | Not Covered | |
0 | 0 | Covered | T22 |
LineNo. Expression -1-: 804 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 22 | 22 | 100.00 | 9 | 40.91 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 22 | 22 | 100.00 | 9 | 40.91 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 260957 | 0 | 32 |
T1 | 113455 | 10084 | 0 | 2 |
T2 | 111728 | 10098 | 0 | 2 |
T3 | 684913 | 10061 | 0 | 2 |
T4 | 147285 | 10063 | 0 | 2 |
T14 | 112552 | 10086 | 0 | 2 |
T22 | 200018 | 10226 | 0 | 2 |
T23 | 121553 | 20094 | 0 | 2 |
T24 | 157433 | 20008 | 0 | 2 |
T25 | 172741 | 20008 | 0 | 2 |
T26 | 164046 | 20019 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 907053 | 0 | 32 |
T1 | 113455 | 34940 | 0 | 2 |
T2 | 111728 | 34942 | 0 | 2 |
T3 | 684913 | 34905 | 0 | 2 |
T4 | 147285 | 34919 | 0 | 2 |
T14 | 112552 | 34942 | 0 | 2 |
T22 | 200018 | 35070 | 0 | 2 |
T23 | 121553 | 69782 | 0 | 2 |
T24 | 157433 | 69712 | 0 | 2 |
T25 | 172741 | 69704 | 0 | 2 |
T26 | 164046 | 69723 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 8141036 | 0 | 32 |
T1 | 113455 | 109950 | 0 | 2 |
T2 | 111728 | 108222 | 0 | 2 |
T3 | 684913 | 649883 | 0 | 2 |
T4 | 147285 | 143781 | 0 | 2 |
T14 | 112552 | 109047 | 0 | 2 |
T22 | 200018 | 196499 | 0 | 2 |
T23 | 121553 | 51588 | 0 | 2 |
T24 | 157433 | 87545 | 0 | 2 |
T25 | 172741 | 102854 | 0 | 2 |
T26 | 164046 | 94154 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 8141061 | 0 | 0 |
T1 | 113455 | 109950 | 0 | 0 |
T2 | 111728 | 108222 | 0 | 0 |
T3 | 684913 | 649884 | 0 | 0 |
T4 | 147285 | 143781 | 0 | 0 |
T14 | 112552 | 109047 | 0 | 0 |
T22 | 200018 | 196499 | 0 | 0 |
T23 | 121553 | 51590 | 0 | 0 |
T24 | 157433 | 87547 | 0 | 0 |
T25 | 172741 | 102856 | 0 | 0 |
T26 | 164046 | 94156 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 85 | 46 | 54.12 | |
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 | 1 | 100.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 | 698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 699 | 1 | 0 | 0.00 |
CONT_ASSIGN | 699 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 0 | 0.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 704 | 1 | 1 | 100.00 |
CONT_ASSIGN | 704 | 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 | 713 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 0 | 0.00 |
CONT_ASSIGN | 715 | 1 | 0 | 0.00 |
CONT_ASSIGN | 718 | 1 | 1 | 100.00 |
CONT_ASSIGN | 720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 722 | 1 | 0 | 0.00 |
CONT_ASSIGN | 724 | 1 | 0 | 0.00 |
CONT_ASSIGN | 731 | 1 | 1 | 100.00 |
CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
CONT_ASSIGN | 735 | 1 | 1 | 100.00 |
CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
CONT_ASSIGN | 747 | 1 | 0 | 0.00 |
CONT_ASSIGN | 748 | 1 | 1 | 100.00 |
CONT_ASSIGN | 749 | 1 | 1 | 100.00 |
CONT_ASSIGN | 750 | 1 | 0 | 0.00 |
CONT_ASSIGN | 753 | 1 | 1 | 100.00 |
CONT_ASSIGN | 756 | 1 | 1 | 100.00 |
ALWAYS | 788 | 11 | 8 | 72.73 |
ALWAYS | 804 | 7 | 7 | 100.00 |
CONT_ASSIGN | 815 | 1 | 0 | 0.00 |
CONT_ASSIGN | 834 | 1 | 0 | 0.00 |
CONT_ASSIGN | 835 | 1 | 0 | 0.00 |
CONT_ASSIGN | 836 | 1 | 0 | 0.00 |
CONT_ASSIGN | 839 | 1 | 0 | 0.00 |
CONT_ASSIGN | 843 | 0 | 0 | |
CONT_ASSIGN | 882 | 1 | 0 | 0.00 |
ALWAYS | 941 | 0 | 0 | |
CONT_ASSIGN | 982 | 1 | 0 | 0.00 |
CONT_ASSIGN | 984 | 1 | 0 | 0.00 |
CONT_ASSIGN | 986 | 1 | 1 | 100.00 |
CONT_ASSIGN | 988 | 1 | 0 | 0.00 |
CONT_ASSIGN | 990 | 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 | 1 | 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 | |||
698 | 2 | 2 | |
699 | 1 | 2 | |
700 | 1 | 2 | |
704 | 1 | 2 | |
705 | 0 | 2 | |
706 | 0 | 2 | |
713 | 1 | 1 | |
714 | 0 | 1 | |
715 | 0 | 1 | |
718 | 1 | 1 | |
720 | 1 | 1 | |
722 | 0 | 1 | |
724 | 0 | 1 | |
731 | 1 | 1 | |
733 | 1 | 1 | |
735 | 1 | 1 | |
737 | 1 | 1 | |
747 | 0 | 1 | |
748 | 1 | 1 | |
749 | 1 | 1 | |
750 | 0 | 1 | |
753 | 1 | 1 | |
756 | 1 | 1 | |
788 | 1 | 1 | |
789 | 1 | 1 | |
790 | 1 | 1 | |
792 | 1 | 1 | |
793 | 1 | 1 | |
794 | 1 | 1 | |
795 | 1 | 1 | |
796 | 1 | 1 | |
797 | 0 | 1 | |
798 | 0 | 1 | |
799 | 0 | 1 | |
MISSING_ELSE | |||
804 | 1 | 1 | |
805 | 1 | 1 | |
806 | 1 | 1 | |
807 | 1 | 1 | |
809 | 1 | 1 | |
810 | 1 | 1 | |
811 | 1 | 1 | |
815 | 0 | 1 | |
834 | 0 | 1 | |
835 | 0 | 1 | |
836 | 0 | 1 | |
839 | 0 | 1 | |
843 | unreachable | ||
882 | 0 | 1 | |
941 | unreachable | ||
942 | unreachable | ||
943 | unreachable | ||
944 | unreachable | ||
==> MISSING_ELSE | |||
982 | 0 | 1 | |
984 | 0 | 1 | |
986 | 1 | 1 | |
988 | 0 | 1 | |
990 | 0 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 28 | 15 | 53.57 |
Logical | 28 | 15 | 53.57 |
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 731 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Not Covered |
LINE 733 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 735 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe) ----------------1--------------- ----------------2----------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T22 |
1 | 0 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 737 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 | Covered | T22 |
1 | 1 | Covered | T22 |
LINE 749 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 796 EXPRESSION (edn_req && edn_ack) ---1--- ---2---
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Not Covered | |
1 | 0 | Covered | T22 |
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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
clk_edn_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_edn_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
clk_esc_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_esc_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_cpu_n_o | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T7,T18,T40 | Yes | T7,T18,T40 | OUTPUT | |
corei_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_data[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_mask[3:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_address[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_source[5:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
corei_tl_h_o.a_opcode[2:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_o.a_valid | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
corei_tl_h_i.a_ready | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_error | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T1,T2,T14 | Yes | T1,T2,T14 | INPUT | |
corei_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_data[31:0] | Yes | Yes | T1,T2,T14 | Yes | T1,T2,T14 | INPUT | |
corei_tl_h_i.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_source[5:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
corei_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_opcode[0] | Yes | Yes | *T1,*T2,*T14 | Yes | T1,T2,T14 | INPUT | |
corei_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | |||
corei_tl_h_i.d_valid | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cored_tl_h_o.d_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_user.data_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_user.cmd_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_user.instr_type[3:0] | Yes | Yes | T5,T7,T18 | Yes | T5,T7,T18 | OUTPUT | |
cored_tl_h_o.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_data[31:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_mask[3:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
cored_tl_h_o.a_address[31:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
cored_tl_h_o.a_source[5:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
cored_tl_h_o.a_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cored_tl_h_o.a_opcode[2:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_o.a_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
cored_tl_h_i.a_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_error | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cored_tl_h_i.d_user.data_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_user.rsp_intg[6:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_data[31:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cored_tl_h_i.d_source[5:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cored_tl_h_i.d_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_opcode[0] | Yes | Yes | *T1,*T2,*T3 | Yes | T1,T2,T3 | INPUT | |
cored_tl_h_i.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | INPUT | |||
cored_tl_h_i.d_valid | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
irq_software_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | INPUT | |
irq_timer_i | Yes | Yes | T10 | Yes | T10 | INPUT | |
irq_external_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | INPUT | |
esc_tx_i.esc_n | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | INPUT | |
esc_tx_i.esc_p | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | INPUT | |
esc_rx_o.resp_n | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | OUTPUT | |
esc_rx_o.resp_p | Yes | Yes | T9,T20,T38 | Yes | T9,T20,T38 | OUTPUT | |
nmi_wdog_i | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
pwrmgr_cpu_en_i[3:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
pwrmgr_o.core_sleeping | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
scan_rst_ni | Unreachable | Unreachable | Unreachable | INPUT | |||
scanmode_i[3:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.d_ready | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
cfg_tl_d_i.a_user.data_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_user.cmd_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_user.instr_type[3:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_user.rsvd[4:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_data[31:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_mask[3:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_address[7:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cfg_tl_d_i.a_address[15:8] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[20:16] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_address[23:21] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[24] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_address[29:25] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_address[30] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_address[31] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_source[5:0] | Yes | Yes | *T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_i.a_source[7:6] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cfg_tl_d_i.a_param[2:0] | Unreachable | Unreachable | Unreachable | INPUT | |||
cfg_tl_d_i.a_opcode[2:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | INPUT | |
cfg_tl_d_i.a_valid | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | INPUT | |
cfg_tl_d_o.a_ready | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_error | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_user.data_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_user.rsp_intg[6:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_data[31:0] | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_sink | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
cfg_tl_d_o.d_source[5:0] | Yes | Yes | *T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_source[7:6] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_size[1:0] | Yes | Yes | T5,T6,T7 | Yes | T5,T6,T7 | OUTPUT | |
cfg_tl_d_o.d_param[2:0] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_opcode[0] | Yes | Yes | *T22,*T5,*T6 | Yes | T22,T5,T6 | OUTPUT | |
cfg_tl_d_o.d_opcode[2:1] | Unreachable | Unreachable | Unreachable | OUTPUT | |||
cfg_tl_d_o.d_valid | Yes | Yes | T22,T5,T6 | Yes | T22,T5,T6 | OUTPUT | |
edn_o.edn_req | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
rst_otp_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[0].ack_p | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[1].ack_p | Yes | Yes | T22,T16,T8 | Yes | T22,T16,T8 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[2].ack_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | INPUT | |
alert_rx_i[3].ack_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | 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 | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
alert_tx_o[0].alert_p | Yes | Yes | T16,T8,T9 | Yes | T16,T8,T9 | OUTPUT | |
alert_tx_o[1].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
alert_tx_o[1].alert_p | Yes | Yes | T22,T16,T8 | Yes | T22,T16,T8 | OUTPUT | |
alert_tx_o[2].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
alert_tx_o[2].alert_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | OUTPUT | |
alert_tx_o[3].alert_n | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT | |
alert_tx_o[3].alert_p | Yes | Yes | T22,T16,T9 | Yes | T22,T16,T9 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 12 | 9 | 75.00 | |
TERNARY | 348 | 2 | 1 | 50.00 |
IF | 488 | 2 | 2 | 100.00 |
IF | 514 | 3 | 2 | 66.67 |
IF | 792 | 3 | 2 | 66.67 |
IF | 804 | 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-: 792 if (reg2hw.rnd_data.re) -2-: 796 if ((edn_req && edn_ack))
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T22 |
0 | 1 | Not Covered | |
0 | 0 | Covered | T22 |
LineNo. Expression -1-: 804 if ((!rst_ni))
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 22 | 22 | 100.00 | 9 | 40.91 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 22 | 22 | 100.00 | 9 | 40.91 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 260957 | 0 | 32 |
T1 | 113455 | 10084 | 0 | 2 |
T2 | 111728 | 10098 | 0 | 2 |
T3 | 684913 | 10061 | 0 | 2 |
T4 | 147285 | 10063 | 0 | 2 |
T14 | 112552 | 10086 | 0 | 2 |
T22 | 200018 | 10226 | 0 | 2 |
T23 | 121553 | 20094 | 0 | 2 |
T24 | 157433 | 20008 | 0 | 2 |
T25 | 172741 | 20008 | 0 | 2 |
T26 | 164046 | 20019 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 907053 | 0 | 32 |
T1 | 113455 | 34940 | 0 | 2 |
T2 | 111728 | 34942 | 0 | 2 |
T3 | 684913 | 34905 | 0 | 2 |
T4 | 147285 | 34919 | 0 | 2 |
T14 | 112552 | 34942 | 0 | 2 |
T22 | 200018 | 35070 | 0 | 2 |
T23 | 121553 | 69782 | 0 | 2 |
T24 | 157433 | 69712 | 0 | 2 |
T25 | 172741 | 69704 | 0 | 2 |
T26 | 164046 | 69723 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 8141036 | 0 | 32 |
T1 | 113455 | 109950 | 0 | 2 |
T2 | 111728 | 108222 | 0 | 2 |
T3 | 684913 | 649883 | 0 | 2 |
T4 | 147285 | 143781 | 0 | 2 |
T14 | 112552 | 109047 | 0 | 2 |
T22 | 200018 | 196499 | 0 | 2 |
T23 | 121553 | 51588 | 0 | 2 |
T24 | 157433 | 87545 | 0 | 2 |
T25 | 172741 | 102854 | 0 | 2 |
T26 | 164046 | 94154 | 0 | 2 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 8141061 | 0 | 0 |
T1 | 113455 | 109950 | 0 | 0 |
T2 | 111728 | 108222 | 0 | 0 |
T3 | 684913 | 649884 | 0 | 0 |
T4 | 147285 | 143781 | 0 | 0 |
T14 | 112552 | 109047 | 0 | 0 |
T22 | 200018 | 196499 | 0 | 0 |
T23 | 121553 | 51590 | 0 | 0 |
T24 | 157433 | 87547 | 0 | 0 |
T25 | 172741 | 102856 | 0 | 0 |
T26 | 164046 | 94156 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 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 |
T14 | 1 | 1 | 0 | 0 |
T22 | 1 | 1 | 0 | 0 |
T23 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T25 | 1 | 1 | 0 | 0 |
T26 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9050556 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |