| 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% |