Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : rv_core_ibex
SCORELINECONDTOGGLEFSMBRANCHASSERT
90.02 94.12 89.29 98.53 100.00 68.18

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.u_rv_core_ibex 90.27 94.12 89.29 99.75 100.00 68.18



Module Instance : tb.dut.top_earlgrey.u_rv_core_ibex

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
90.27 94.12 89.29 99.75 100.00 68.18


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.38 97.42 95.64 98.06 98.66 92.14


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
92.56 88.53 89.15 100.00 top_earlgrey


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
fifo_d 100.00 100.00 100.00 100.00 100.00
fifo_i 93.75 75.00 100.00 100.00 100.00
gen_alert_senders[0].u_alert_sender 100.00 100.00
gen_alert_senders[1].u_alert_sender 75.00 75.00
gen_alert_senders[2].u_alert_sender 100.00 100.00
gen_alert_senders[3].u_alert_sender 75.00 75.00
tl_adapter_host_d_ibex 91.79 95.35 81.82 90.00 100.00
tl_adapter_host_i_ibex 87.90 90.48 72.22 88.89 100.00
u_alert_nmi_sync 100.00 100.00 100.00
u_core 95.91 95.91
u_core_sleeping_buf 100.00 100.00
u_dbus_trans 96.36 100.00 92.59 100.00 92.86
u_edn_if 89.08 100.00 86.44 94.87 75.00
u_ibus_trans 96.36 100.00 92.59 100.00 92.86
u_intr_timer_sync 100.00 100.00 100.00
u_lc_sync 100.00 100.00 100.00 100.00
u_prim_buf_irq 100.00 100.00
u_prim_esc_receiver 100.00 100.00
u_prim_lc_sender 100.00 100.00 100.00
u_prim_sync_reqack_data 91.67 100.00 66.67 100.00 100.00
u_pwrmgr_sync 100.00 100.00 100.00 100.00
u_reg_cfg 99.17 98.69 98.40 99.58 100.00
u_sim_win_rsp 89.32 77.27 80.00 100.00 100.00
u_tlul_req_buf 100.00 100.00
u_tlul_rsp_buf 100.00 100.00
u_wdog_nmi_sync 100.00 100.00 100.00

Line Coverage for Module : rv_core_ibex
Line No.TotalCoveredPercent
TOTAL858094.12
CONT_ASSIGN20211100.00
CONT_ASSIGN20311100.00
CONT_ASSIGN21611100.00
CONT_ASSIGN21711100.00
CONT_ASSIGN21811100.00
CONT_ASSIGN22511100.00
CONT_ASSIGN26311100.00
CONT_ASSIGN26511100.00
CONT_ASSIGN26811100.00
CONT_ASSIGN34211100.00
CONT_ASSIGN34811100.00
CONT_ASSIGN36311100.00
ALWAYS49233100.00
CONT_ASSIGN51211100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51411100.00
CONT_ASSIGN51511100.00
ALWAYS51888100.00
CONT_ASSIGN70211100.00
CONT_ASSIGN70211100.00
CONT_ASSIGN70311100.00
CONT_ASSIGN70311100.00
CONT_ASSIGN70411100.00
CONT_ASSIGN70411100.00
CONT_ASSIGN70811100.00
CONT_ASSIGN70811100.00
CONT_ASSIGN70911100.00
CONT_ASSIGN70911100.00
CONT_ASSIGN71011100.00
CONT_ASSIGN71011100.00
CONT_ASSIGN71711100.00
CONT_ASSIGN71811100.00
CONT_ASSIGN71911100.00
CONT_ASSIGN72211100.00
CONT_ASSIGN72411100.00
CONT_ASSIGN72611100.00
CONT_ASSIGN72811100.00
CONT_ASSIGN73511100.00
CONT_ASSIGN73711100.00
CONT_ASSIGN73911100.00
CONT_ASSIGN74111100.00
CONT_ASSIGN75111100.00
CONT_ASSIGN752100.00
CONT_ASSIGN75311100.00
CONT_ASSIGN75411100.00
CONT_ASSIGN75711100.00
CONT_ASSIGN760100.00
ALWAYS7921111100.00
ALWAYS80877100.00
CONT_ASSIGN81911100.00
CONT_ASSIGN83811100.00
CONT_ASSIGN83911100.00
CONT_ASSIGN84011100.00
CONT_ASSIGN843100.00
CONT_ASSIGN84700
CONT_ASSIGN88611100.00
ALWAYS94500
CONT_ASSIGN986100.00
CONT_ASSIGN988100.00
CONT_ASSIGN99011100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN99411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' or '../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
202 1 1
203 1 1
216 1 1
217 1 1
218 1 1
225 1 1
263 1 1
265 1 1
268 1 1
342 1 1
348 1 1
363 1 1
492 1 1
493 1 1
495 1 1
512 1 1
513 1 1
514 1 1
515 1 1
518 1 1
519 1 1
520 1 1
521 1 1
522 1 1
523 1 1
524 1 1
525 1 1
MISSING_ELSE
702 2 2
703 2 2
704 2 2
708 2 2
709 2 2
710 2 2
717 1 1
718 1 1
719 1 1
722 1 1
724 1 1
726 1 1
728 1 1
735 1 1
737 1 1
739 1 1
741 1 1
751 1 1
752 0 1
753 1 1
754 1 1
757 1 1
760 0 1
792 1 1
793 1 1
794 1 1
796 1 1
797 1 1
798 1 1
799 1 1
800 1 1
801 1 1
802 1 1
803 1 1
MISSING_ELSE
808 1 1
809 1 1
810 1 1
811 1 1
813 1 1
814 1 1
815 1 1
819 1 1
838 1 1
839 1 1
840 1 1
843 0 1
847 unreachable
886 1 1
945 unreachable
946 unreachable
947 unreachable
948 unreachable
==> MISSING_ELSE
986 0 1
988 0 1
990 1 1
992 1 1
994 1 1


Cond Coverage for Module : rv_core_ibex
TotalCoveredPercent
Conditions282589.29
Logical282589.29
Non-Logical00
Event00

 LINE       216
 EXPRESSION (ibus_intg_err | dbus_intg_err | alert_major_bus)
             ------1------   ------2------   -------3-------
-1--2--3-StatusTests
000CoveredT4,T5,T6
001CoveredT113,T231,T170
010Not Covered
100Not Covered

 LINE       217
 EXPRESSION (alert_major_internal | double_fault)
             ----------1---------   ------2-----
-1--2-StatusTests
00CoveredT4,T5,T6
01CoveredT232,T233,T234
10CoveredT54,T55,T56

 LINE       348
 EXPRESSION (fatal_core_err ? Off : local_fetch_enable_q)
             -------1------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT54,T55,T56

 LINE       735
 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       737
 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T63,T64
10CoveredT4,T5,T17
11CoveredT62,T235,T236

 LINE       739
 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       741
 EXPRESSION (reg2hw.alert_test.recov_hw_err.q & reg2hw.alert_test.recov_hw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       753
 EXPRESSION (intg_err | fatal_intg_err | fatal_core_err)
             ----1---   -------2------   -------3------
-1--2--3-StatusTests
000CoveredT4,T5,T6
001CoveredT54,T55,T56
010CoveredT113,T231,T170
100CoveredT237,T238

 LINE       800
 EXPRESSION (edn_req && edn_ack)
             ---1---    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT17,T18,T19
11CoveredT4,T5,T17

Toggle Coverage for Module : rv_core_ibex
TotalCoveredPercent
Totals 123 117 95.12
Total Bits 1628 1604 98.53
Total Bits 0->1 814 802 98.53
Total Bits 1->0 814 802 98.53

Ports 123 117 95.12
Port Bits 1628 1604 98.53
Port Bits 0->1 814 802 98.53
Port Bits 1->0 814 802 98.53

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
clk_edn_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_edn_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
clk_esc_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_esc_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
rst_cpu_n_o Yes Yes T17,T20,T45 Yes T4,T5,T6 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.rf_cfg.test 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
ram_cfg_i.ram_cfg.test 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 T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_user.data_intg[6:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_o.a_user.instr_type[3:0] Yes Yes T78,T79,T239 Yes T78,T79,T239 OUTPUT
corei_tl_h_o.a_user.rsvd[4:0] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_data[31:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_mask[3:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_address[31:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_o.a_source[7:6] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_param[2:0] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_opcode[2:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_i.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_error Yes Yes T169,T210,T103 Yes T169,T210,T103 INPUT
corei_tl_h_i.d_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_user.rsp_intg[6:0] Yes Yes T169,T210,T103 Yes T169,T210,T103 INPUT
corei_tl_h_i.d_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
corei_tl_h_i.d_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_source[7:6] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
corei_tl_h_i.d_param[2:0] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_opcode[2:1] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_o.d_ready Yes Yes T72,T81,T82 Yes T72,T81,T82 OUTPUT
cored_tl_h_o.a_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_user.instr_type[3:0] Yes Yes T81,T79,T240 Yes T81,T79,T240 OUTPUT
cored_tl_h_o.a_user.rsvd[4:0] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_mask[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_address[31:0] Yes Yes T81,T77,T78 Yes T81,T77,T78 OUTPUT
cored_tl_h_o.a_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_source[7:6] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_size[1:0] Yes Yes T81,T77,T78 Yes T81,T77,T78 OUTPUT
cored_tl_h_o.a_param[2:0] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_opcode[2:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_i.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_error Yes Yes T66,T67,T68 Yes T66,T67,T68 INPUT
cored_tl_h_i.d_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_user.rsp_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cored_tl_h_i.d_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_source[7:6] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cored_tl_h_i.d_param[2:0] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_opcode[2:1] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
irq_software_i Yes Yes T241,T242,T243 Yes T241,T242,T243 INPUT
irq_timer_i Yes Yes T150,T244,T245 Yes T150,T244,T245 INPUT
irq_external_i Yes Yes T5,T18,T19 Yes T5,T18,T19 INPUT
esc_tx_i.esc_n Yes Yes T62,T45,T123 Yes T62,T45,T123 INPUT
esc_tx_i.esc_p Yes Yes T62,T45,T123 Yes T62,T45,T123 INPUT
esc_rx_o.resp_n Yes Yes T62,T45,T123 Yes T62,T45,T123 OUTPUT
esc_rx_o.resp_p Yes Yes T62,T45,T123 Yes T62,T45,T123 OUTPUT
nmi_wdog_i Yes Yes T18,T246,T66 Yes T18,T246,T66 INPUT
debug_req_i Yes Yes T80,T247,T248 Yes T80,T247,T248 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 T17,T20,T45 Yes T4,T5,T17 INPUT
pwrmgr_cpu_en_i[3:0] Yes Yes T17,T20,T18 Yes T4,T5,T6 INPUT
pwrmgr_o.core_sleeping Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
scan_rst_ni Unreachable Unreachable Unreachable INPUT
scanmode_i[3:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.d_ready Yes Yes T4,T5,T17 Yes T4,T5,T6 INPUT
cfg_tl_d_i.a_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.instr_type[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_mask[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[7:0] Yes Yes *T77,*T78,*T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_address[15:8] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[20:16] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[23:21] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[24] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[29:25] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[30] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[31] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_source[5:0] Yes Yes *T77,*T78,*T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_source[7:6] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_opcode[2:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_o.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_error Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_user.data_intg[6:0] Yes Yes T17,T18,T19 Yes T17,T18,T19 OUTPUT
cfg_tl_d_o.d_user.rsp_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_data[31:0] Yes Yes T17,T18,T19 Yes T17,T18,T19 OUTPUT
cfg_tl_d_o.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_source[5:0] Yes Yes *T77,*T79,*T83 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_source[7:6] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
edn_o.edn_req Yes Yes T4,T5,T17 Yes T4,T5,T6 OUTPUT
edn_i.edn_bus[31:0] Yes Yes T17,T19,T66 Yes T4,T17,T62 INPUT
edn_i.edn_fips Yes Yes T119,T249,T250 Yes T45,T119,T249 INPUT
edn_i.edn_ack Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
clk_otp_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_otp_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
icache_otp_key_o.req Yes Yes T171,T172,T173 Yes T171,T172,T173 OUTPUT
icache_otp_key_i.seed_valid Yes Yes T17,T45,T21 Yes T4,T5,T17 INPUT
icache_otp_key_i.nonce[127:0] Yes Yes T17,T62,T18 Yes T4,T5,T17 INPUT
icache_otp_key_i.key[127:0] Yes Yes T4,T5,T62 Yes T4,T45,T21 INPUT
icache_otp_key_i.ack Yes Yes T171,T172,T174 Yes T171,T172,T174 INPUT
fpga_info_i[31:0] Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[0].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[0].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[0].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[1].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[1].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[1].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[1].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[2].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[2].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[2].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[2].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[3].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[3].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[3].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[3].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_tx_o[0].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[0].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[1].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[1].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[2].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[2].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[3].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[3].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : rv_core_ibex
Line No.TotalCoveredPercent
Branches 12 12 100.00
TERNARY 348 2 2 100.00
IF 492 2 2 100.00
IF 518 3 3 100.00
IF 796 3 3 100.00
IF 808 2 2 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' or '../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 348 (fatal_core_err) ?

Branches:
-1-StatusTests
1 Covered T54,T55,T56
0 Covered T4,T5,T6


LineNo. Expression -1-: 492 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 518 if ((!rst_ni)) -2-: 522 if (double_fault)

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T232,T233,T234
0 0 Covered T4,T5,T6


LineNo. Expression -1-: 796 if (reg2hw.rnd_data.re) -2-: 800 if ((edn_req && edn_ack))

Branches:
-1--2-StatusTests
1 - Covered T17,T18,T19
0 1 Covered T4,T5,T17
0 0 Covered T4,T5,T17


LineNo. Expression -1-: 808 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Module : rv_core_ibex
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 22 22 100.00 15 68.18
Cover properties 0 0 0
Cover sequences 0 0 0
Total 22 22 100.00 15 68.18




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
FpvSecCmIbexFetchEnable0_A 477516129 7 0 0
FpvSecCmIbexFetchEnable1_A 477516129 24578837 0 70
FpvSecCmIbexFetchEnable2_A 477516129 64940945 0 64
FpvSecCmIbexFetchEnable3Rev_A 477516129 407658124 0 1964
FpvSecCmIbexFetchEnable3_A 477516129 407659949 0 1880
FpvSecCmIbexInstrIntgErrCheck_A 477516129 78 0 0
FpvSecCmIbexLoadRespIntgErrCheck_A 477516129 589 0 0
FpvSecCmIbexLockstepResetCountAlertCheck_A 477516129 0 0 0
FpvSecCmIbexPcMismatchCheck_A 477516129 0 0 0
FpvSecCmIbexRfEccErrCheck_A 477516129 0 0 0
FpvSecCmIbexStoreRespIntgErrCheck_A 477516129 0 0 0
FpvSecCmRegWeOnehotCheck_A 477516129 2 0 0
FpvSecCmRvCoreRegWeOnehotCheckRAddrA_A 477516129 0 0 0
FpvSecCmRvCoreRegWeOnehotCheckRAddrB_A 477516129 0 0 0
FpvSecCmRvCoreRegWeOnehotCheck_A 477516129 0 0 0
g_instr_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_lsu_load_resp_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_lsu_store_resp_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_pc_mismatch_alert_o_assert_signals.AssertConnected_A 987 987 0 0
g_rf_ecc_err_comb_assert_signals.AssertConnected_A 987 987 0 0
gen_icache_scramble_asserts.IbexIcacheScrambleKeyForwardedToCore_A 477516129 221 0 0
gen_icache_scramble_asserts.IbexIcacheScrambleKeyRequestAfterFenceI_A 477516129 202 0 0


FpvSecCmIbexFetchEnable0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 7 0 0
T114 188092 0 0 0
T118 182342 0 0 0
T232 239814 1 0 0
T233 0 1 0 0
T234 0 1 0 0
T251 0 1 0 0
T252 0 1 0 0
T253 0 1 0 0
T254 0 1 0 0
T255 517524 0 0 0
T256 142864 0 0 0
T257 71207 0 0 0
T258 72147 0 0 0
T259 73306 0 0 0
T260 37931 0 0 0
T261 645306 0 0 0

FpvSecCmIbexFetchEnable1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 24578837 0 70
T4 347353 9923 0 0
T5 225333 9919 0 0
T6 39678 39614 0 2
T17 299918 29777 0 0
T18 127489 9919 0 0
T19 202521 9931 0 0
T20 50999 22403 0 2
T21 168910 19862 0 0
T45 415405 19854 0 0
T55 0 0 0 2
T56 0 0 0 2
T62 95117 9927 0 0
T72 0 0 0 2
T81 0 0 0 2
T82 0 0 0 2
T157 0 0 0 2
T260 0 0 0 2
T262 0 0 0 2

FpvSecCmIbexFetchEnable2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 64940945 0 64
T4 347353 34775 0 0
T5 225333 34775 0 0
T6 39678 34775 0 0
T17 299918 104334 0 0
T18 127489 34788 0 0
T19 202521 34775 0 0
T20 50999 45723 0 2
T21 168910 69550 0 0
T45 415405 69554 0 0
T55 0 0 0 2
T56 0 0 0 2
T62 95117 34775 0 0
T72 0 0 0 2
T81 0 0 0 2
T82 0 0 0 2
T263 0 0 0 2
T264 0 0 0 2
T265 0 0 0 2
T266 0 0 0 2

FpvSecCmIbexFetchEnable3Rev_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 407658124 0 1964
T4 347353 312524 0 2
T5 225333 190504 0 2
T6 39678 0 0 2
T17 299918 195408 0 2
T18 127489 92643 0 2
T19 202521 167685 0 2
T20 50999 3638 0 2
T21 168910 99234 0 0
T45 415405 345728 0 2
T62 95117 60277 0 2
T150 0 153603 0 2

FpvSecCmIbexFetchEnable3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 407659949 0 1880
T4 347353 312525 0 2
T5 225333 190505 0 2
T6 39678 0 0 0
T17 299918 195410 0 2
T18 127489 92644 0 2
T19 202521 167686 0 2
T20 50999 3639 0 0
T21 168910 99236 0 0
T45 415405 345730 0 2
T60 0 0 0 2
T62 95117 60278 0 2
T123 0 0 0 2
T150 0 153603 0 2

FpvSecCmIbexInstrIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 78 0 0
T129 333184 0 0 0
T225 419185 0 0 0
T267 260942 78 0 0
T268 279824 0 0 0
T269 230217 0 0 0
T270 474190 0 0 0
T271 340249 0 0 0
T272 498931 0 0 0
T273 220184 0 0 0
T274 476263 0 0 0

FpvSecCmIbexLoadRespIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 589 0 0
T95 0 99 0 0
T113 175326 31 0 0
T114 0 32 0 0
T120 330081 0 0 0
T170 0 32 0 0
T171 68843 0 0 0
T205 264302 0 0 0
T231 0 100 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T275 0 1 0 0
T276 0 32 0 0
T277 0 32 0 0
T278 0 1 0 0
T279 0 32 0 0
T280 103151 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0

FpvSecCmIbexLockstepResetCountAlertCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexPcMismatchCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexRfEccErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexStoreRespIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 2 0 0
T82 116248 0 0 0
T148 549006 0 0 0
T158 240617 0 0 0
T194 611624 0 0 0
T215 835735 0 0 0
T237 144191 1 0 0
T238 0 1 0 0
T284 138978 0 0 0
T285 292208 0 0 0
T286 78753 0 0 0
T287 252391 0 0 0

FpvSecCmRvCoreRegWeOnehotCheckRAddrA_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRvCoreRegWeOnehotCheckRAddrB_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRvCoreRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

g_instr_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_lsu_load_resp_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_lsu_store_resp_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_pc_mismatch_alert_o_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_rf_ecc_err_comb_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

gen_icache_scramble_asserts.IbexIcacheScrambleKeyForwardedToCore_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 221 0 0
T120 330081 0 0 0
T124 142682 0 0 0
T171 68843 38 0 0
T172 0 32 0 0
T174 0 33 0 0
T205 264302 0 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0
T288 0 34 0 0
T289 0 49 0 0
T290 0 35 0 0
T291 277957 0 0 0

gen_icache_scramble_asserts.IbexIcacheScrambleKeyRequestAfterFenceI_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 202 0 0
T120 330081 0 0 0
T124 142682 0 0 0
T171 68843 9 0 0
T172 0 42 0 0
T173 0 16 0 0
T174 0 8 0 0
T205 264302 0 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0
T288 0 42 0 0
T289 0 11 0 0
T290 0 42 0 0
T291 277957 0 0 0
T292 0 16 0 0
T293 0 16 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex
Line No.TotalCoveredPercent
TOTAL858094.12
CONT_ASSIGN20211100.00
CONT_ASSIGN20311100.00
CONT_ASSIGN21611100.00
CONT_ASSIGN21711100.00
CONT_ASSIGN21811100.00
CONT_ASSIGN22511100.00
CONT_ASSIGN26311100.00
CONT_ASSIGN26511100.00
CONT_ASSIGN26811100.00
CONT_ASSIGN34211100.00
CONT_ASSIGN34811100.00
CONT_ASSIGN36311100.00
ALWAYS49233100.00
CONT_ASSIGN51211100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51411100.00
CONT_ASSIGN51511100.00
ALWAYS51888100.00
CONT_ASSIGN70211100.00
CONT_ASSIGN70211100.00
CONT_ASSIGN70311100.00
CONT_ASSIGN70311100.00
CONT_ASSIGN70411100.00
CONT_ASSIGN70411100.00
CONT_ASSIGN70811100.00
CONT_ASSIGN70811100.00
CONT_ASSIGN70911100.00
CONT_ASSIGN70911100.00
CONT_ASSIGN71011100.00
CONT_ASSIGN71011100.00
CONT_ASSIGN71711100.00
CONT_ASSIGN71811100.00
CONT_ASSIGN71911100.00
CONT_ASSIGN72211100.00
CONT_ASSIGN72411100.00
CONT_ASSIGN72611100.00
CONT_ASSIGN72811100.00
CONT_ASSIGN73511100.00
CONT_ASSIGN73711100.00
CONT_ASSIGN73911100.00
CONT_ASSIGN74111100.00
CONT_ASSIGN75111100.00
CONT_ASSIGN752100.00
CONT_ASSIGN75311100.00
CONT_ASSIGN75411100.00
CONT_ASSIGN75711100.00
CONT_ASSIGN760100.00
ALWAYS7921111100.00
ALWAYS80877100.00
CONT_ASSIGN81911100.00
CONT_ASSIGN83811100.00
CONT_ASSIGN83911100.00
CONT_ASSIGN84011100.00
CONT_ASSIGN843100.00
CONT_ASSIGN84700
CONT_ASSIGN88611100.00
ALWAYS94500
CONT_ASSIGN986100.00
CONT_ASSIGN988100.00
CONT_ASSIGN99011100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN99411100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' or '../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
202 1 1
203 1 1
216 1 1
217 1 1
218 1 1
225 1 1
263 1 1
265 1 1
268 1 1
342 1 1
348 1 1
363 1 1
492 1 1
493 1 1
495 1 1
512 1 1
513 1 1
514 1 1
515 1 1
518 1 1
519 1 1
520 1 1
521 1 1
522 1 1
523 1 1
524 1 1
525 1 1
MISSING_ELSE
702 2 2
703 2 2
704 2 2
708 2 2
709 2 2
710 2 2
717 1 1
718 1 1
719 1 1
722 1 1
724 1 1
726 1 1
728 1 1
735 1 1
737 1 1
739 1 1
741 1 1
751 1 1
752 0 1
753 1 1
754 1 1
757 1 1
760 0 1
792 1 1
793 1 1
794 1 1
796 1 1
797 1 1
798 1 1
799 1 1
800 1 1
801 1 1
802 1 1
803 1 1
MISSING_ELSE
808 1 1
809 1 1
810 1 1
811 1 1
813 1 1
814 1 1
815 1 1
819 1 1
838 1 1
839 1 1
840 1 1
843 0 1
847 unreachable
886 1 1
945 unreachable
946 unreachable
947 unreachable
948 unreachable
==> MISSING_ELSE
986 0 1
988 0 1
990 1 1
992 1 1
994 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex
TotalCoveredPercent
Conditions282589.29
Logical282589.29
Non-Logical00
Event00

 LINE       216
 EXPRESSION (ibus_intg_err | dbus_intg_err | alert_major_bus)
             ------1------   ------2------   -------3-------
-1--2--3-StatusTests
000CoveredT4,T5,T6
001CoveredT113,T231,T170
010Not Covered
100Not Covered

 LINE       217
 EXPRESSION (alert_major_internal | double_fault)
             ----------1---------   ------2-----
-1--2-StatusTests
00CoveredT4,T5,T6
01CoveredT232,T233,T234
10CoveredT54,T55,T56

 LINE       348
 EXPRESSION (fatal_core_err ? Off : local_fetch_enable_q)
             -------1------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT54,T55,T56

 LINE       735
 EXPRESSION (reg2hw.alert_test.fatal_sw_err.q & reg2hw.alert_test.fatal_sw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       737
 EXPRESSION (reg2hw.alert_test.recov_sw_err.q & reg2hw.alert_test.recov_sw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T63,T64
10CoveredT4,T5,T17
11CoveredT62,T235,T236

 LINE       739
 EXPRESSION (reg2hw.alert_test.fatal_hw_err.q & reg2hw.alert_test.fatal_hw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       741
 EXPRESSION (reg2hw.alert_test.recov_hw_err.q & reg2hw.alert_test.recov_hw_err.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT62,T235,T236
10CoveredT4,T5,T17
11CoveredT62,T63,T64

 LINE       753
 EXPRESSION (intg_err | fatal_intg_err | fatal_core_err)
             ----1---   -------2------   -------3------
-1--2--3-StatusTests
000CoveredT4,T5,T6
001CoveredT54,T55,T56
010CoveredT113,T231,T170
100CoveredT237,T238

 LINE       800
 EXPRESSION (edn_req && edn_ack)
             ---1---    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT17,T18,T19
11CoveredT4,T5,T17

Toggle Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex
TotalCoveredPercent
Totals 119 117 98.32
Total Bits 1608 1604 99.75
Total Bits 0->1 804 802 99.75
Total Bits 1->0 804 802 99.75

Ports 119 117 98.32
Port Bits 1608 1604 99.75
Port Bits 0->1 804 802 99.75
Port Bits 1->0 804 802 99.75

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirectionExclude Annotation
clk_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
clk_edn_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_edn_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
clk_esc_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_esc_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
rst_cpu_n_o Yes Yes T17,T20,T45 Yes T4,T5,T6 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.rf_cfg.test No No No INPUT
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
ram_cfg_i.ram_cfg.test 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 T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_user.data_intg[6:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_o.a_user.instr_type[3:0] Yes Yes T78,T79,T239 Yes T78,T79,T239 OUTPUT
corei_tl_h_o.a_user.rsvd[4:0] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_data[31:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_mask[3:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_address[31:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_o.a_source[7:6] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_param[2:0] Unreachable Unreachable Unreachable OUTPUT
corei_tl_h_o.a_opcode[2:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
corei_tl_h_o.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
corei_tl_h_i.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_error Yes Yes T169,T210,T103 Yes T169,T210,T103 INPUT
corei_tl_h_i.d_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_user.rsp_intg[6:0] Yes Yes T169,T210,T103 Yes T169,T210,T103 INPUT
corei_tl_h_i.d_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
corei_tl_h_i.d_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_source[7:6] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
corei_tl_h_i.d_param[2:0] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
corei_tl_h_i.d_opcode[2:1] Unreachable Unreachable Unreachable INPUT
corei_tl_h_i.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_o.d_ready Yes Yes T72,T81,T82 Yes T72,T81,T82 OUTPUT
cored_tl_h_o.a_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_user.instr_type[3:0] Yes Yes T81,T79,T240 Yes T81,T79,T240 OUTPUT
cored_tl_h_o.a_user.rsvd[4:0] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_mask[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_address[31:0] Yes Yes T81,T77,T78 Yes T81,T77,T78 OUTPUT
cored_tl_h_o.a_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_source[7:6] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_size[1:0] Yes Yes T81,T77,T78 Yes T81,T77,T78 OUTPUT
cored_tl_h_o.a_param[2:0] Unreachable Unreachable Unreachable OUTPUT
cored_tl_h_o.a_opcode[2:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_o.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cored_tl_h_i.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_error Yes Yes T66,T67,T68 Yes T66,T67,T68 INPUT
cored_tl_h_i.d_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_user.rsp_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cored_tl_h_i.d_source[5:0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_source[7:6] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cored_tl_h_i.d_param[2:0] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cored_tl_h_i.d_opcode[2:1] Unreachable Unreachable Unreachable INPUT
cored_tl_h_i.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
irq_software_i Yes Yes T241,T242,T243 Yes T241,T242,T243 INPUT
irq_timer_i Yes Yes T150,T244,T245 Yes T150,T244,T245 INPUT
irq_external_i Yes Yes T5,T18,T19 Yes T5,T18,T19 INPUT
esc_tx_i.esc_n Yes Yes T62,T45,T123 Yes T62,T45,T123 INPUT
esc_tx_i.esc_p Yes Yes T62,T45,T123 Yes T62,T45,T123 INPUT
esc_rx_o.resp_n Yes Yes T62,T45,T123 Yes T62,T45,T123 OUTPUT
esc_rx_o.resp_p Yes Yes T62,T45,T123 Yes T62,T45,T123 OUTPUT
nmi_wdog_i Yes Yes T18,T246,T66 Yes T18,T246,T66 INPUT
debug_req_i Yes Yes T80,T247,T248 Yes T80,T247,T248 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 T17,T20,T45 Yes T4,T5,T17 INPUT
pwrmgr_cpu_en_i[3:0] Yes Yes T17,T20,T18 Yes T4,T5,T6 INPUT
pwrmgr_o.core_sleeping Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
scan_rst_ni Unreachable Unreachable Unreachable INPUT
scanmode_i[3:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.d_ready Yes Yes T4,T5,T17 Yes T4,T5,T6 INPUT
cfg_tl_d_i.a_user.data_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.cmd_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.instr_type[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_data[31:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_mask[3:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[7:0] Yes Yes *T77,*T78,*T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_address[15:8] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[20:16] Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[23:21] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[24] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[29:25] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_address[30] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 INPUT
cfg_tl_d_i.a_address[31] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_source[5:0] Yes Yes *T77,*T78,*T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_source[7:6] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
cfg_tl_d_i.a_opcode[2:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 INPUT
cfg_tl_d_i.a_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
cfg_tl_d_o.a_ready Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_error Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_user.data_intg[6:0] Yes Yes T17,T18,T19 Yes T17,T18,T19 OUTPUT
cfg_tl_d_o.d_user.rsp_intg[6:0] Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_data[31:0] Yes Yes T17,T18,T19 Yes T17,T18,T19 OUTPUT
cfg_tl_d_o.d_sink Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_source[5:0] Yes Yes *T77,*T79,*T83 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_source[7:6] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_size[1:0] Yes Yes T77,T78,T79 Yes T77,T78,T79 OUTPUT
cfg_tl_d_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_opcode[0] Yes Yes *T4,*T5,*T17 Yes T4,T5,T17 OUTPUT
cfg_tl_d_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
cfg_tl_d_o.d_valid Yes Yes T4,T5,T17 Yes T4,T5,T17 OUTPUT
edn_o.edn_req Yes Yes T4,T5,T17 Yes T4,T5,T6 OUTPUT
edn_i.edn_bus[31:0] Yes Yes T17,T19,T66 Yes T4,T17,T62 INPUT
edn_i.edn_fips Yes Yes T119,T249,T250 Yes T45,T119,T249 INPUT
edn_i.edn_ack Yes Yes T4,T5,T17 Yes T4,T5,T17 INPUT
clk_otp_i Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
rst_otp_ni Yes Yes T17,T20,T45 Yes T4,T5,T6 INPUT
icache_otp_key_o.req Yes Yes T171,T172,T173 Yes T171,T172,T173 OUTPUT
icache_otp_key_i.seed_valid Yes Yes T17,T45,T21 Yes T4,T5,T17 INPUT
icache_otp_key_i.nonce[127:0] Yes Yes T17,T62,T18 Yes T4,T5,T17 INPUT
icache_otp_key_i.key[127:0] Yes Yes T4,T5,T62 Yes T4,T45,T21 INPUT
icache_otp_key_i.ack Yes Yes T171,T172,T174 Yes T171,T172,T174 INPUT
fpga_info_i[31:0] Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[0].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[0].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[0].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[1].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[1].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[1].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[1].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[2].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[2].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[2].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[2].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[3].ack_n Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
alert_rx_i[3].ack_p Yes Yes T62,T84,T85 Yes T62,T84,T85 INPUT
alert_rx_i[3].ping_n Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_rx_i[3].ping_p Yes Yes T84,T85,T86 Yes T84,T85,T86 INPUT
alert_tx_o[0].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[0].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[1].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[1].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[2].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[2].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT
alert_tx_o[3].alert_n Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
alert_tx_o[3].alert_p Yes Yes T62,T84,T85 Yes T62,T84,T85 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex
Line No.TotalCoveredPercent
Branches 12 12 100.00
TERNARY 348 2 2 100.00
IF 492 2 2 100.00
IF 518 3 3 100.00
IF 796 3 3 100.00
IF 808 2 2 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv' or '../src/lowrisc_ip_rv_core_ibex_0.1/rtl/rv_core_ibex.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 348 (fatal_core_err) ?

Branches:
-1-StatusTests
1 Covered T54,T55,T56
0 Covered T4,T5,T6


LineNo. Expression -1-: 492 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 518 if ((!rst_ni)) -2-: 522 if (double_fault)

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T232,T233,T234
0 0 Covered T4,T5,T6


LineNo. Expression -1-: 796 if (reg2hw.rnd_data.re) -2-: 800 if ((edn_req && edn_ack))

Branches:
-1--2-StatusTests
1 - Covered T17,T18,T19
0 1 Covered T4,T5,T17
0 0 Covered T4,T5,T17


LineNo. Expression -1-: 808 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_rv_core_ibex
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 22 22 100.00 15 68.18
Cover properties 0 0 0
Cover sequences 0 0 0
Total 22 22 100.00 15 68.18




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
FpvSecCmIbexFetchEnable0_A 477516129 7 0 0
FpvSecCmIbexFetchEnable1_A 477516129 24578837 0 70
FpvSecCmIbexFetchEnable2_A 477516129 64940945 0 64
FpvSecCmIbexFetchEnable3Rev_A 477516129 407658124 0 1964
FpvSecCmIbexFetchEnable3_A 477516129 407659949 0 1880
FpvSecCmIbexInstrIntgErrCheck_A 477516129 78 0 0
FpvSecCmIbexLoadRespIntgErrCheck_A 477516129 589 0 0
FpvSecCmIbexLockstepResetCountAlertCheck_A 477516129 0 0 0
FpvSecCmIbexPcMismatchCheck_A 477516129 0 0 0
FpvSecCmIbexRfEccErrCheck_A 477516129 0 0 0
FpvSecCmIbexStoreRespIntgErrCheck_A 477516129 0 0 0
FpvSecCmRegWeOnehotCheck_A 477516129 2 0 0
FpvSecCmRvCoreRegWeOnehotCheckRAddrA_A 477516129 0 0 0
FpvSecCmRvCoreRegWeOnehotCheckRAddrB_A 477516129 0 0 0
FpvSecCmRvCoreRegWeOnehotCheck_A 477516129 0 0 0
g_instr_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_lsu_load_resp_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_lsu_store_resp_intg_err_assert_signals.AssertConnected_A 987 987 0 0
g_pc_mismatch_alert_o_assert_signals.AssertConnected_A 987 987 0 0
g_rf_ecc_err_comb_assert_signals.AssertConnected_A 987 987 0 0
gen_icache_scramble_asserts.IbexIcacheScrambleKeyForwardedToCore_A 477516129 221 0 0
gen_icache_scramble_asserts.IbexIcacheScrambleKeyRequestAfterFenceI_A 477516129 202 0 0


FpvSecCmIbexFetchEnable0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 7 0 0
T114 188092 0 0 0
T118 182342 0 0 0
T232 239814 1 0 0
T233 0 1 0 0
T234 0 1 0 0
T251 0 1 0 0
T252 0 1 0 0
T253 0 1 0 0
T254 0 1 0 0
T255 517524 0 0 0
T256 142864 0 0 0
T257 71207 0 0 0
T258 72147 0 0 0
T259 73306 0 0 0
T260 37931 0 0 0
T261 645306 0 0 0

FpvSecCmIbexFetchEnable1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 24578837 0 70
T4 347353 9923 0 0
T5 225333 9919 0 0
T6 39678 39614 0 2
T17 299918 29777 0 0
T18 127489 9919 0 0
T19 202521 9931 0 0
T20 50999 22403 0 2
T21 168910 19862 0 0
T45 415405 19854 0 0
T55 0 0 0 2
T56 0 0 0 2
T62 95117 9927 0 0
T72 0 0 0 2
T81 0 0 0 2
T82 0 0 0 2
T157 0 0 0 2
T260 0 0 0 2
T262 0 0 0 2

FpvSecCmIbexFetchEnable2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 64940945 0 64
T4 347353 34775 0 0
T5 225333 34775 0 0
T6 39678 34775 0 0
T17 299918 104334 0 0
T18 127489 34788 0 0
T19 202521 34775 0 0
T20 50999 45723 0 2
T21 168910 69550 0 0
T45 415405 69554 0 0
T55 0 0 0 2
T56 0 0 0 2
T62 95117 34775 0 0
T72 0 0 0 2
T81 0 0 0 2
T82 0 0 0 2
T263 0 0 0 2
T264 0 0 0 2
T265 0 0 0 2
T266 0 0 0 2

FpvSecCmIbexFetchEnable3Rev_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 407658124 0 1964
T4 347353 312524 0 2
T5 225333 190504 0 2
T6 39678 0 0 2
T17 299918 195408 0 2
T18 127489 92643 0 2
T19 202521 167685 0 2
T20 50999 3638 0 2
T21 168910 99234 0 0
T45 415405 345728 0 2
T62 95117 60277 0 2
T150 0 153603 0 2

FpvSecCmIbexFetchEnable3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 407659949 0 1880
T4 347353 312525 0 2
T5 225333 190505 0 2
T6 39678 0 0 0
T17 299918 195410 0 2
T18 127489 92644 0 2
T19 202521 167686 0 2
T20 50999 3639 0 0
T21 168910 99236 0 0
T45 415405 345730 0 2
T60 0 0 0 2
T62 95117 60278 0 2
T123 0 0 0 2
T150 0 153603 0 2

FpvSecCmIbexInstrIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 78 0 0
T129 333184 0 0 0
T225 419185 0 0 0
T267 260942 78 0 0
T268 279824 0 0 0
T269 230217 0 0 0
T270 474190 0 0 0
T271 340249 0 0 0
T272 498931 0 0 0
T273 220184 0 0 0
T274 476263 0 0 0

FpvSecCmIbexLoadRespIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 589 0 0
T95 0 99 0 0
T113 175326 31 0 0
T114 0 32 0 0
T120 330081 0 0 0
T170 0 32 0 0
T171 68843 0 0 0
T205 264302 0 0 0
T231 0 100 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T275 0 1 0 0
T276 0 32 0 0
T277 0 32 0 0
T278 0 1 0 0
T279 0 32 0 0
T280 103151 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0

FpvSecCmIbexLockstepResetCountAlertCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexPcMismatchCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexRfEccErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmIbexStoreRespIntgErrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 2 0 0
T82 116248 0 0 0
T148 549006 0 0 0
T158 240617 0 0 0
T194 611624 0 0 0
T215 835735 0 0 0
T237 144191 1 0 0
T238 0 1 0 0
T284 138978 0 0 0
T285 292208 0 0 0
T286 78753 0 0 0
T287 252391 0 0 0

FpvSecCmRvCoreRegWeOnehotCheckRAddrA_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRvCoreRegWeOnehotCheckRAddrB_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

FpvSecCmRvCoreRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 0 0 0

g_instr_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_lsu_load_resp_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_lsu_store_resp_intg_err_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_pc_mismatch_alert_o_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

g_rf_ecc_err_comb_assert_signals.AssertConnected_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 987 987 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0
T45 1 1 0 0
T62 1 1 0 0

gen_icache_scramble_asserts.IbexIcacheScrambleKeyForwardedToCore_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 221 0 0
T120 330081 0 0 0
T124 142682 0 0 0
T171 68843 38 0 0
T172 0 32 0 0
T174 0 33 0 0
T205 264302 0 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0
T288 0 34 0 0
T289 0 49 0 0
T290 0 35 0 0
T291 277957 0 0 0

gen_icache_scramble_asserts.IbexIcacheScrambleKeyRequestAfterFenceI_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 477516129 202 0 0
T120 330081 0 0 0
T124 142682 0 0 0
T171 68843 9 0 0
T172 0 42 0 0
T173 0 16 0 0
T174 0 8 0 0
T205 264302 0 0 0
T250 120234 0 0 0
T263 392304 0 0 0
T281 378540 0 0 0
T282 154125 0 0 0
T283 79090 0 0 0
T288 0 42 0 0
T289 0 11 0 0
T290 0 42 0 0
T291 277957 0 0 0
T292 0 16 0 0
T293 0 16 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%