Unified Coverage Report :: Module :: keymgr_reg_top

Module : keymgr_reg_top

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.93	100.00	99.74			100.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_22/keymgr-sim-vcs/default/sim-vcs/../src/lowrisc_ip_keymgr_0.1/rtl/keymgr_reg_top.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_reg	99.93	100.00	99.74			100.00	100.00

---

Module Instance : tb.dut.u_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.93	100.00	99.74			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.48	98.74	99.18	100.00		99.47	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.05	96.00	98.36	99.96		95.92	100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_alert_test_fatal_fault_err	100.00	100.00
u_alert_test_recov_operation_err	100.00	100.00
u_attest_sw_binding_0	100.00	100.00	100.00			100.00
u_attest_sw_binding_1	100.00	100.00	100.00			100.00
u_attest_sw_binding_2	100.00	100.00	100.00			100.00
u_attest_sw_binding_3	100.00	100.00	100.00			100.00
u_attest_sw_binding_4	100.00	100.00	100.00			100.00
u_attest_sw_binding_5	100.00	100.00	100.00			100.00
u_attest_sw_binding_6	100.00	100.00	100.00			100.00
u_attest_sw_binding_7	100.00	100.00	100.00			100.00
u_cfg_regwen	100.00	100.00
u_chk	100.00	100.00		100.00			100.00
u_control_shadowed_cdi_sel	99.55	100.00	98.21			100.00	100.00
u_control_shadowed_dest_sel	99.55	100.00	98.21			100.00	100.00
u_control_shadowed_operation	99.55	100.00	98.21			100.00	100.00
u_debug_invalid_creator_seed	100.00	100.00	100.00			100.00
u_debug_invalid_dev_id	100.00	100.00	100.00			100.00
u_debug_invalid_digest	100.00	100.00	100.00			100.00
u_debug_invalid_health_state	100.00	100.00	100.00			100.00
u_debug_invalid_key	97.22	100.00	91.67			100.00
u_debug_invalid_key_version	100.00	100.00	100.00			100.00
u_debug_invalid_owner_seed	100.00	100.00	100.00			100.00
u_err_code_invalid_kmac_input	100.00	100.00	100.00			100.00
u_err_code_invalid_op	100.00	100.00	100.00			100.00
u_err_code_invalid_shadow_update	97.22	100.00	91.67			100.00
u_fault_status_cmd	96.30	88.89	100.00			100.00
u_fault_status_ctrl_fsm_chk	96.30	88.89	100.00			100.00
u_fault_status_ctrl_fsm_cnt	96.30	88.89	100.00			100.00
u_fault_status_ctrl_fsm_intg	96.30	88.89	100.00			100.00
u_fault_status_key_ecc	96.30	88.89	100.00			100.00
u_fault_status_kmac_done	96.30	88.89	100.00			100.00
u_fault_status_kmac_fsm	96.30	88.89	100.00			100.00
u_fault_status_kmac_op	96.30	88.89	100.00			100.00
u_fault_status_kmac_out	62.59	77.78	50.00			60.00
u_fault_status_regfile_intg	96.30	88.89	100.00			100.00
u_fault_status_reseed_cnt	96.30	88.89	100.00			100.00
u_fault_status_shadow	96.30	88.89	100.00			100.00
u_fault_status_side_ctrl_fsm	96.30	88.89	100.00			100.00
u_fault_status_side_ctrl_sel	96.30	88.89	100.00			100.00
u_intr_enable	100.00	100.00	100.00			100.00
u_intr_state	100.00	100.00	100.00			100.00
u_intr_test	100.00	100.00
u_key_version	100.00	100.00	100.00			100.00
u_max_creator_key_ver_regwen	100.00	100.00	100.00			100.00
u_max_creator_key_ver_shadowed	99.55	100.00	98.21			100.00	100.00
u_max_owner_int_key_ver_regwen	100.00	100.00	100.00			100.00
u_max_owner_int_key_ver_shadowed	99.55	100.00	98.21			100.00	100.00
u_max_owner_key_ver_regwen	100.00	100.00	100.00			100.00
u_max_owner_key_ver_shadowed	99.55	100.00	98.21			100.00	100.00
u_op_status	100.00	100.00	100.00			100.00
u_prim_reg_we_check	100.00	100.00		100.00
u_reg_if	98.69	97.14	97.62			100.00	100.00
u_reseed_interval_regwen	100.00	100.00	100.00			100.00
u_reseed_interval_shadowed	99.55	100.00	98.21			100.00	100.00
u_rsp_intg_gen	100.00	100.00					100.00
u_salt_0	100.00	100.00	100.00			100.00
u_salt_1	100.00	100.00	100.00			100.00
u_salt_2	100.00	100.00	100.00			100.00
u_salt_3	100.00	100.00	100.00			100.00
u_salt_4	100.00	100.00	100.00			100.00
u_salt_5	100.00	100.00	100.00			100.00
u_salt_6	100.00	100.00	100.00			100.00
u_salt_7	100.00	100.00	100.00			100.00
u_sealing_sw_binding_0	100.00	100.00	100.00			100.00
u_sealing_sw_binding_1	100.00	100.00	100.00			100.00
u_sealing_sw_binding_2	100.00	100.00	100.00			100.00
u_sealing_sw_binding_3	100.00	100.00	100.00			100.00
u_sealing_sw_binding_4	100.00	100.00	100.00			100.00
u_sealing_sw_binding_5	100.00	100.00	100.00			100.00
u_sealing_sw_binding_6	100.00	100.00	100.00			100.00
u_sealing_sw_binding_7	100.00	100.00	100.00			100.00
u_sideload_clear	100.00	100.00	100.00			100.00
u_start	100.00	100.00	100.00			100.00
u_sw_binding_regwen	100.00	100.00
u_sw_share0_output_0	100.00	100.00	100.00			100.00
u_sw_share0_output_1	100.00	100.00	100.00			100.00
u_sw_share0_output_2	100.00	100.00	100.00			100.00
u_sw_share0_output_3	100.00	100.00	100.00			100.00
u_sw_share0_output_4	100.00	100.00	100.00			100.00
u_sw_share0_output_5	100.00	100.00	100.00			100.00
u_sw_share0_output_6	100.00	100.00	100.00			100.00
u_sw_share0_output_7	100.00	100.00	100.00			100.00
u_sw_share1_output_0	100.00	100.00	100.00			100.00
u_sw_share1_output_1	100.00	100.00	100.00			100.00
u_sw_share1_output_2	100.00	100.00	100.00			100.00
u_sw_share1_output_3	100.00	100.00	100.00			100.00
u_sw_share1_output_4	100.00	100.00	100.00			100.00
u_sw_share1_output_5	100.00	100.00	100.00			100.00
u_sw_share1_output_6	100.00	100.00	100.00			100.00
u_sw_share1_output_7	100.00	100.00	100.00			100.00
u_working_state	62.59	77.78	50.00			60.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : keymgr_reg_top

	Line No.	Total	Covered	Percent
TOTAL		401	401	100.00
ALWAYS	72	4	4	100.00
CONT_ASSIGN	81	1	1	100.00
CONT_ASSIGN	93	1	1	100.00
CONT_ASSIGN	94	1	1	100.00
CONT_ASSIGN	122	1	1	100.00
CONT_ASSIGN	123	1	1	100.00
CONT_ASSIGN	425	1	1	100.00
CONT_ASSIGN	439	1	1	100.00
CONT_ASSIGN	445	1	1	100.00
CONT_ASSIGN	460	1	1	100.00
CONT_ASSIGN	476	1	1	100.00
CONT_ASSIGN	498	1	1	100.00
CONT_ASSIGN	529	1	1	100.00
CONT_ASSIGN	642	1	1	100.00
CONT_ASSIGN	701	1	1	100.00
CONT_ASSIGN	742	1	1	100.00
CONT_ASSIGN	756	1	1	100.00
CONT_ASSIGN	763	1	1	100.00
CONT_ASSIGN	795	1	1	100.00
CONT_ASSIGN	827	1	1	100.00
CONT_ASSIGN	859	1	1	100.00
CONT_ASSIGN	891	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	955	1	1	100.00
CONT_ASSIGN	987	1	1	100.00
CONT_ASSIGN	1019	1	1	100.00
CONT_ASSIGN	1051	1	1	100.00
CONT_ASSIGN	1083	1	1	100.00
CONT_ASSIGN	1115	1	1	100.00
CONT_ASSIGN	1147	1	1	100.00
CONT_ASSIGN	1179	1	1	100.00
CONT_ASSIGN	1211	1	1	100.00
CONT_ASSIGN	1243	1	1	100.00
CONT_ASSIGN	1275	1	1	100.00
CONT_ASSIGN	1307	1	1	100.00
CONT_ASSIGN	1339	1	1	100.00
CONT_ASSIGN	1371	1	1	100.00
CONT_ASSIGN	1403	1	1	100.00
CONT_ASSIGN	1435	1	1	100.00
CONT_ASSIGN	1467	1	1	100.00
CONT_ASSIGN	1499	1	1	100.00
CONT_ASSIGN	1531	1	1	100.00
CONT_ASSIGN	1590	1	1	100.00
CONT_ASSIGN	1659	1	1	100.00
CONT_ASSIGN	1728	1	1	100.00
ALWAYS	2943	64	64	100.00
CONT_ASSIGN	3009	1	1	100.00
ALWAYS	3013	1	1	100.00
CONT_ASSIGN	3080	1	1	100.00
CONT_ASSIGN	3082	1	1	100.00
CONT_ASSIGN	3083	1	1	100.00
CONT_ASSIGN	3085	1	1	100.00
CONT_ASSIGN	3086	1	1	100.00
CONT_ASSIGN	3088	1	1	100.00
CONT_ASSIGN	3089	1	1	100.00
CONT_ASSIGN	3091	1	1	100.00
CONT_ASSIGN	3093	1	1	100.00
CONT_ASSIGN	3094	1	1	100.00
CONT_ASSIGN	3095	1	1	100.00
CONT_ASSIGN	3097	1	1	100.00
CONT_ASSIGN	3098	1	1	100.00
CONT_ASSIGN	3099	1	1	100.00
CONT_ASSIGN	3101	1	1	100.00
CONT_ASSIGN	3103	1	1	100.00
CONT_ASSIGN	3105	1	1	100.00
CONT_ASSIGN	3106	1	1	100.00
CONT_ASSIGN	3108	1	1	100.00
CONT_ASSIGN	3109	1	1	100.00
CONT_ASSIGN	3111	1	1	100.00
CONT_ASSIGN	3112	1	1	100.00
CONT_ASSIGN	3113	1	1	100.00
CONT_ASSIGN	3115	1	1	100.00
CONT_ASSIGN	3116	1	1	100.00
CONT_ASSIGN	3117	1	1	100.00
CONT_ASSIGN	3119	1	1	100.00
CONT_ASSIGN	3120	1	1	100.00
CONT_ASSIGN	3122	1	1	100.00
CONT_ASSIGN	3123	1	1	100.00
CONT_ASSIGN	3125	1	1	100.00
CONT_ASSIGN	3126	1	1	100.00
CONT_ASSIGN	3128	1	1	100.00
CONT_ASSIGN	3129	1	1	100.00
CONT_ASSIGN	3131	1	1	100.00
CONT_ASSIGN	3132	1	1	100.00
CONT_ASSIGN	3134	1	1	100.00
CONT_ASSIGN	3135	1	1	100.00
CONT_ASSIGN	3137	1	1	100.00
CONT_ASSIGN	3138	1	1	100.00
CONT_ASSIGN	3140	1	1	100.00
CONT_ASSIGN	3141	1	1	100.00
CONT_ASSIGN	3143	1	1	100.00
CONT_ASSIGN	3144	1	1	100.00
CONT_ASSIGN	3146	1	1	100.00
CONT_ASSIGN	3147	1	1	100.00
CONT_ASSIGN	3149	1	1	100.00
CONT_ASSIGN	3150	1	1	100.00
CONT_ASSIGN	3152	1	1	100.00
CONT_ASSIGN	3153	1	1	100.00
CONT_ASSIGN	3155	1	1	100.00
CONT_ASSIGN	3156	1	1	100.00
CONT_ASSIGN	3158	1	1	100.00
CONT_ASSIGN	3159	1	1	100.00
CONT_ASSIGN	3161	1	1	100.00
CONT_ASSIGN	3162	1	1	100.00
CONT_ASSIGN	3164	1	1	100.00
CONT_ASSIGN	3165	1	1	100.00
CONT_ASSIGN	3167	1	1	100.00
CONT_ASSIGN	3168	1	1	100.00
CONT_ASSIGN	3170	1	1	100.00
CONT_ASSIGN	3171	1	1	100.00
CONT_ASSIGN	3173	1	1	100.00
CONT_ASSIGN	3174	1	1	100.00
CONT_ASSIGN	3176	1	1	100.00
CONT_ASSIGN	3177	1	1	100.00
CONT_ASSIGN	3179	1	1	100.00
CONT_ASSIGN	3180	1	1	100.00
CONT_ASSIGN	3182	1	1	100.00
CONT_ASSIGN	3183	1	1	100.00
CONT_ASSIGN	3185	1	1	100.00
CONT_ASSIGN	3186	1	1	100.00
CONT_ASSIGN	3188	1	1	100.00
CONT_ASSIGN	3189	1	1	100.00
CONT_ASSIGN	3191	1	1	100.00
CONT_ASSIGN	3192	1	1	100.00
CONT_ASSIGN	3194	1	1	100.00
CONT_ASSIGN	3195	1	1	100.00
CONT_ASSIGN	3197	1	1	100.00
CONT_ASSIGN	3198	1	1	100.00
CONT_ASSIGN	3199	1	1	100.00
CONT_ASSIGN	3201	1	1	100.00
CONT_ASSIGN	3202	1	1	100.00
CONT_ASSIGN	3204	1	1	100.00
CONT_ASSIGN	3205	1	1	100.00
CONT_ASSIGN	3206	1	1	100.00
CONT_ASSIGN	3208	1	1	100.00
CONT_ASSIGN	3209	1	1	100.00
CONT_ASSIGN	3211	1	1	100.00
CONT_ASSIGN	3212	1	1	100.00
CONT_ASSIGN	3213	1	1	100.00
CONT_ASSIGN	3215	1	1	100.00
CONT_ASSIGN	3216	1	1	100.00
CONT_ASSIGN	3219	1	1	100.00
CONT_ASSIGN	3222	1	1	100.00
CONT_ASSIGN	3225	1	1	100.00
CONT_ASSIGN	3228	1	1	100.00
CONT_ASSIGN	3231	1	1	100.00
CONT_ASSIGN	3234	1	1	100.00
CONT_ASSIGN	3237	1	1	100.00
CONT_ASSIGN	3240	1	1	100.00
CONT_ASSIGN	3243	1	1	100.00
CONT_ASSIGN	3246	1	1	100.00
CONT_ASSIGN	3249	1	1	100.00
CONT_ASSIGN	3252	1	1	100.00
CONT_ASSIGN	3255	1	1	100.00
CONT_ASSIGN	3258	1	1	100.00
CONT_ASSIGN	3261	1	1	100.00
CONT_ASSIGN	3264	1	1	100.00
CONT_ASSIGN	3266	1	1	100.00
CONT_ASSIGN	3267	1	1	100.00
CONT_ASSIGN	3269	1	1	100.00
CONT_ASSIGN	3271	1	1	100.00
CONT_ASSIGN	3273	1	1	100.00
CONT_ASSIGN	3274	1	1	100.00
CONT_ASSIGN	3276	1	1	100.00
CONT_ASSIGN	3278	1	1	100.00
CONT_ASSIGN	3280	1	1	100.00
CONT_ASSIGN	3282	1	1	100.00
CONT_ASSIGN	3284	1	1	100.00
CONT_ASSIGN	3286	1	1	100.00
CONT_ASSIGN	3288	1	1	100.00
ALWAYS	3292	64	64	100.00
ALWAYS	3360	89	89	100.00
ALWAYS	3649	3	3	100.00
ALWAYS	3657	3	3	100.00
CONT_ASSIGN	3665	1	1	100.00
CONT_ASSIGN	3668	1	1	100.00
CONT_ASSIGN	3677	1	1	100.00
CONT_ASSIGN	3688	1	1	100.00
CONT_ASSIGN	3696	1	1	100.00
CONT_ASSIGN	3697	1	1	100.00

Click here to see the source line report.

---

Cond Coverage for Module : keymgr_reg_top

	Total	Covered	Percent
Conditions	768	766	99.74
Logical	768	766	99.74
Non-Logical	0	0
Event	0	0

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.

Line numbers	Percent
62-3013	100.00
3013-3174	99.69
3177-3665	99.28

---

Branch Coverage for Module : keymgr_reg_top

	Line No.	Total	Covered	Percent
Branches		73	73	100.00
TERNARY	3009	2	2	100.00
IF	72	3	3	100.00
CASE	3361	64	64	100.00
IF	3649	2	2	100.00
IF	3657	2	2	100.00

3009         assign addrmiss = (reg_re || reg_we) ? ~|addr_hit : 1'b0 ;
                                                  -1-  
                                                  ==>  
                                                  ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

72             if (!rst_ni) begin
               -1-  
73               err_q <= '0;
                 ==>
74             end else if (intg_err || reg_we_err) begin
                        -2-  
75               err_q <= 1'b1;
                 ==>
76             end
               MISSING_ELSE
               ==>

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T35,T11,T12
0	0	Covered	T1,T2,T3

3361           unique case (1'b1)
                      -1-  
3362             addr_hit[0]: begin
3363               reg_rdata_next[0] = intr_state_qs;
                   ==>
3364             end
3365       
3366             addr_hit[1]: begin
3367               reg_rdata_next[0] = intr_enable_qs;
                   ==>
3368             end
3369       
3370             addr_hit[2]: begin
3371               reg_rdata_next[0] = '0;
                   ==>
3372             end
3373       
3374             addr_hit[3]: begin
3375               reg_rdata_next[0] = '0;
                   ==>
3376               reg_rdata_next[1] = '0;
3377             end
3378       
3379             addr_hit[4]: begin
3380               reg_rdata_next[0] = cfg_regwen_qs;
                   ==>
3381             end
3382       
3383             addr_hit[5]: begin
3384               reg_rdata_next[0] = start_qs;
                   ==>
3385             end
3386       
3387             addr_hit[6]: begin
3388               reg_rdata_next[6:4] = control_shadowed_operation_qs;
                   ==>
3389               reg_rdata_next[7] = control_shadowed_cdi_sel_qs;
3390               reg_rdata_next[13:12] = control_shadowed_dest_sel_qs;
3391             end
3392       
3393             addr_hit[7]: begin
3394               reg_rdata_next[2:0] = sideload_clear_qs;
                   ==>
3395             end
3396       
3397             addr_hit[8]: begin
3398               reg_rdata_next[0] = reseed_interval_regwen_qs;
                   ==>
3399             end
3400       
3401             addr_hit[9]: begin
3402               reg_rdata_next[15:0] = reseed_interval_shadowed_qs;
                   ==>
3403             end
3404       
3405             addr_hit[10]: begin
3406               reg_rdata_next[0] = sw_binding_regwen_qs;
                   ==>
3407             end
3408       
3409             addr_hit[11]: begin
3410               reg_rdata_next[31:0] = sealing_sw_binding_0_qs;
                   ==>
3411             end
3412       
3413             addr_hit[12]: begin
3414               reg_rdata_next[31:0] = sealing_sw_binding_1_qs;
                   ==>
3415             end
3416       
3417             addr_hit[13]: begin
3418               reg_rdata_next[31:0] = sealing_sw_binding_2_qs;
                   ==>
3419             end
3420       
3421             addr_hit[14]: begin
3422               reg_rdata_next[31:0] = sealing_sw_binding_3_qs;
                   ==>
3423             end
3424       
3425             addr_hit[15]: begin
3426               reg_rdata_next[31:0] = sealing_sw_binding_4_qs;
                   ==>
3427             end
3428       
3429             addr_hit[16]: begin
3430               reg_rdata_next[31:0] = sealing_sw_binding_5_qs;
                   ==>
3431             end
3432       
3433             addr_hit[17]: begin
3434               reg_rdata_next[31:0] = sealing_sw_binding_6_qs;
                   ==>
3435             end
3436       
3437             addr_hit[18]: begin
3438               reg_rdata_next[31:0] = sealing_sw_binding_7_qs;
                   ==>
3439             end
3440       
3441             addr_hit[19]: begin
3442               reg_rdata_next[31:0] = attest_sw_binding_0_qs;
                   ==>
3443             end
3444       
3445             addr_hit[20]: begin
3446               reg_rdata_next[31:0] = attest_sw_binding_1_qs;
                   ==>
3447             end
3448       
3449             addr_hit[21]: begin
3450               reg_rdata_next[31:0] = attest_sw_binding_2_qs;
                   ==>
3451             end
3452       
3453             addr_hit[22]: begin
3454               reg_rdata_next[31:0] = attest_sw_binding_3_qs;
                   ==>
3455             end
3456       
3457             addr_hit[23]: begin
3458               reg_rdata_next[31:0] = attest_sw_binding_4_qs;
                   ==>
3459             end
3460       
3461             addr_hit[24]: begin
3462               reg_rdata_next[31:0] = attest_sw_binding_5_qs;
                   ==>
3463             end
3464       
3465             addr_hit[25]: begin
3466               reg_rdata_next[31:0] = attest_sw_binding_6_qs;
                   ==>
3467             end
3468       
3469             addr_hit[26]: begin
3470               reg_rdata_next[31:0] = attest_sw_binding_7_qs;
                   ==>
3471             end
3472       
3473             addr_hit[27]: begin
3474               reg_rdata_next[31:0] = salt_0_qs;
                   ==>
3475             end
3476       
3477             addr_hit[28]: begin
3478               reg_rdata_next[31:0] = salt_1_qs;
                   ==>
3479             end
3480       
3481             addr_hit[29]: begin
3482               reg_rdata_next[31:0] = salt_2_qs;
                   ==>
3483             end
3484       
3485             addr_hit[30]: begin
3486               reg_rdata_next[31:0] = salt_3_qs;
                   ==>
3487             end
3488       
3489             addr_hit[31]: begin
3490               reg_rdata_next[31:0] = salt_4_qs;
                   ==>
3491             end
3492       
3493             addr_hit[32]: begin
3494               reg_rdata_next[31:0] = salt_5_qs;
                   ==>
3495             end
3496       
3497             addr_hit[33]: begin
3498               reg_rdata_next[31:0] = salt_6_qs;
                   ==>
3499             end
3500       
3501             addr_hit[34]: begin
3502               reg_rdata_next[31:0] = salt_7_qs;
                   ==>
3503             end
3504       
3505             addr_hit[35]: begin
3506               reg_rdata_next[31:0] = key_version_qs;
                   ==>
3507             end
3508       
3509             addr_hit[36]: begin
3510               reg_rdata_next[0] = max_creator_key_ver_regwen_qs;
                   ==>
3511             end
3512       
3513             addr_hit[37]: begin
3514               reg_rdata_next[31:0] = max_creator_key_ver_shadowed_qs;
                   ==>
3515             end
3516       
3517             addr_hit[38]: begin
3518               reg_rdata_next[0] = max_owner_int_key_ver_regwen_qs;
                   ==>
3519             end
3520       
3521             addr_hit[39]: begin
3522               reg_rdata_next[31:0] = max_owner_int_key_ver_shadowed_qs;
                   ==>
3523             end
3524       
3525             addr_hit[40]: begin
3526               reg_rdata_next[0] = max_owner_key_ver_regwen_qs;
                   ==>
3527             end
3528       
3529             addr_hit[41]: begin
3530               reg_rdata_next[31:0] = max_owner_key_ver_shadowed_qs;
                   ==>
3531             end
3532       
3533             addr_hit[42]: begin
3534               reg_rdata_next[31:0] = sw_share0_output_0_qs;
                   ==>
3535             end
3536       
3537             addr_hit[43]: begin
3538               reg_rdata_next[31:0] = sw_share0_output_1_qs;
                   ==>
3539             end
3540       
3541             addr_hit[44]: begin
3542               reg_rdata_next[31:0] = sw_share0_output_2_qs;
                   ==>
3543             end
3544       
3545             addr_hit[45]: begin
3546               reg_rdata_next[31:0] = sw_share0_output_3_qs;
                   ==>
3547             end
3548       
3549             addr_hit[46]: begin
3550               reg_rdata_next[31:0] = sw_share0_output_4_qs;
                   ==>
3551             end
3552       
3553             addr_hit[47]: begin
3554               reg_rdata_next[31:0] = sw_share0_output_5_qs;
                   ==>
3555             end
3556       
3557             addr_hit[48]: begin
3558               reg_rdata_next[31:0] = sw_share0_output_6_qs;
                   ==>
3559             end
3560       
3561             addr_hit[49]: begin
3562               reg_rdata_next[31:0] = sw_share0_output_7_qs;
                   ==>
3563             end
3564       
3565             addr_hit[50]: begin
3566               reg_rdata_next[31:0] = sw_share1_output_0_qs;
                   ==>
3567             end
3568       
3569             addr_hit[51]: begin
3570               reg_rdata_next[31:0] = sw_share1_output_1_qs;
                   ==>
3571             end
3572       
3573             addr_hit[52]: begin
3574               reg_rdata_next[31:0] = sw_share1_output_2_qs;
                   ==>
3575             end
3576       
3577             addr_hit[53]: begin
3578               reg_rdata_next[31:0] = sw_share1_output_3_qs;
                   ==>
3579             end
3580       
3581             addr_hit[54]: begin
3582               reg_rdata_next[31:0] = sw_share1_output_4_qs;
                   ==>
3583             end
3584       
3585             addr_hit[55]: begin
3586               reg_rdata_next[31:0] = sw_share1_output_5_qs;
                   ==>
3587             end
3588       
3589             addr_hit[56]: begin
3590               reg_rdata_next[31:0] = sw_share1_output_6_qs;
                   ==>
3591             end
3592       
3593             addr_hit[57]: begin
3594               reg_rdata_next[31:0] = sw_share1_output_7_qs;
                   ==>
3595             end
3596       
3597             addr_hit[58]: begin
3598               reg_rdata_next[2:0] = working_state_qs;
                   ==>
3599             end
3600       
3601             addr_hit[59]: begin
3602               reg_rdata_next[1:0] = op_status_qs;
                   ==>
3603             end
3604       
3605             addr_hit[60]: begin
3606               reg_rdata_next[0] = err_code_invalid_op_qs;
                   ==>
3607               reg_rdata_next[1] = err_code_invalid_kmac_input_qs;
3608               reg_rdata_next[2] = err_code_invalid_shadow_update_qs;
3609             end
3610       
3611             addr_hit[61]: begin
3612               reg_rdata_next[0] = fault_status_cmd_qs;
                   ==>
3613               reg_rdata_next[1] = fault_status_kmac_fsm_qs;
3614               reg_rdata_next[2] = fault_status_kmac_done_qs;
3615               reg_rdata_next[3] = fault_status_kmac_op_qs;
3616               reg_rdata_next[4] = fault_status_kmac_out_qs;
3617               reg_rdata_next[5] = fault_status_regfile_intg_qs;
3618               reg_rdata_next[6] = fault_status_shadow_qs;
3619               reg_rdata_next[7] = fault_status_ctrl_fsm_intg_qs;
3620               reg_rdata_next[8] = fault_status_ctrl_fsm_chk_qs;
3621               reg_rdata_next[9] = fault_status_ctrl_fsm_cnt_qs;
3622               reg_rdata_next[10] = fault_status_reseed_cnt_qs;
3623               reg_rdata_next[11] = fault_status_side_ctrl_fsm_qs;
3624               reg_rdata_next[12] = fault_status_side_ctrl_sel_qs;
3625               reg_rdata_next[13] = fault_status_key_ecc_qs;
3626             end
3627       
3628             addr_hit[62]: begin
3629               reg_rdata_next[0] = debug_invalid_creator_seed_qs;
                   ==>
3630               reg_rdata_next[1] = debug_invalid_owner_seed_qs;
3631               reg_rdata_next[2] = debug_invalid_dev_id_qs;
3632               reg_rdata_next[3] = debug_invalid_health_state_qs;
3633               reg_rdata_next[4] = debug_invalid_key_version_qs;
3634               reg_rdata_next[5] = debug_invalid_key_qs;
3635               reg_rdata_next[6] = debug_invalid_digest_qs;
3636             end
3637       
3638             default: begin
3639               reg_rdata_next = '1;
                   ==>

Branches:

-1-	Status	Tests
addr_hit[0]	Covered	T1,T2,T3
addr_hit[1]	Covered	T1,T2,T3
addr_hit[2]	Covered	T1,T2,T3
addr_hit[3]	Covered	T1,T2,T3
addr_hit[4]	Covered	T1,T2,T3
addr_hit[5]	Covered	T1,T2,T3
addr_hit[6]	Covered	T1,T2,T3
addr_hit[7]	Covered	T1,T2,T3
addr_hit[8]	Covered	T1,T2,T3
addr_hit[9]	Covered	T1,T2,T3
addr_hit[10]	Covered	T1,T2,T3
addr_hit[11]	Covered	T1,T2,T3
addr_hit[12]	Covered	T1,T2,T3
addr_hit[13]	Covered	T1,T2,T3
addr_hit[14]	Covered	T1,T2,T3
addr_hit[15]	Covered	T1,T2,T3
addr_hit[16]	Covered	T1,T2,T3
addr_hit[17]	Covered	T1,T2,T3
addr_hit[18]	Covered	T1,T2,T3
addr_hit[19]	Covered	T1,T2,T3
addr_hit[20]	Covered	T1,T2,T3
addr_hit[21]	Covered	T1,T2,T3
addr_hit[22]	Covered	T1,T2,T3
addr_hit[23]	Covered	T1,T2,T3
addr_hit[24]	Covered	T1,T2,T3
addr_hit[25]	Covered	T1,T2,T3
addr_hit[26]	Covered	T1,T2,T3
addr_hit[27]	Covered	T1,T2,T3
addr_hit[28]	Covered	T1,T2,T3
addr_hit[29]	Covered	T1,T2,T3
addr_hit[30]	Covered	T1,T2,T3
addr_hit[31]	Covered	T1,T2,T3
addr_hit[32]	Covered	T1,T2,T3
addr_hit[33]	Covered	T1,T2,T3
addr_hit[34]	Covered	T1,T2,T3
addr_hit[35]	Covered	T1,T2,T3
addr_hit[36]	Covered	T1,T2,T3
addr_hit[37]	Covered	T1,T2,T3
addr_hit[38]	Covered	T1,T2,T3
addr_hit[39]	Covered	T1,T2,T3
addr_hit[40]	Covered	T1,T2,T3
addr_hit[41]	Covered	T1,T2,T3
addr_hit[42]	Covered	T1,T2,T3
addr_hit[43]	Covered	T1,T2,T3
addr_hit[44]	Covered	T1,T2,T3
addr_hit[45]	Covered	T1,T2,T3
addr_hit[46]	Covered	T1,T2,T3
addr_hit[47]	Covered	T1,T2,T3
addr_hit[48]	Covered	T1,T2,T3
addr_hit[49]	Covered	T1,T2,T3
addr_hit[50]	Covered	T1,T2,T3
addr_hit[51]	Covered	T1,T2,T3
addr_hit[52]	Covered	T1,T2,T3
addr_hit[53]	Covered	T1,T2,T3
addr_hit[54]	Covered	T1,T2,T3
addr_hit[55]	Covered	T1,T2,T3
addr_hit[56]	Covered	T1,T2,T3
addr_hit[57]	Covered	T1,T2,T3
addr_hit[58]	Covered	T1,T2,T3
addr_hit[59]	Covered	T1,T2,T3
addr_hit[60]	Covered	T1,T2,T3
addr_hit[61]	Covered	T1,T2,T3
addr_hit[62]	Covered	T1,T2,T3
default	Covered	T1,T2,T3

3649           if (!rst_ni) begin
               -1-  
3650             rst_done <= '0;
                 ==>
3651           end else begin
3652             rst_done <= 1'b1;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

3657           if (!rst_shadowed_ni) begin
               -1-  
3658             shadow_rst_done <= '0;
                 ==>
3659           end else begin
3660             shadow_rst_done <= 1'b1;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

---

Assert Coverage for Module : keymgr_reg_top

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	4	4	100.00	4	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	4	4	100.00	4	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
en2addrHit	22491082	3412651	0	0
reAfterRv	22491082	3412651	0	0
rePulse	22491082	3024069	0	0
wePulse	22491082	388582	0	0

en2addrHit

Name	Attempts	Real Successes	Failures	Incomplete
Total	22491082	3412651	0	0
T1	1734	272	0	0
T2	6163	547	0	0
T3	9322	1709	0	0
T4	8402	702	0	0
T14	16215	4563	0	0
T15	5852	451	0	0
T16	7308	829	0	0
T17	24577	2487	0	0
T18	30563	3506	0	0
T19	13383	5861	0	0

reAfterRv

Name	Attempts	Real Successes	Failures	Incomplete
Total	22491082	3412651	0	0
T1	1734	272	0	0
T2	6163	547	0	0
T3	9322	1709	0	0
T4	8402	702	0	0
T14	16215	4563	0	0
T15	5852	451	0	0
T16	7308	829	0	0
T17	24577	2487	0	0
T18	30563	3506	0	0
T19	13383	5861	0	0

rePulse

Name	Attempts	Real Successes	Failures	Incomplete
Total	22491082	3024069	0	0
T1	1734	167	0	0
T2	6163	426	0	0
T3	9322	1615	0	0
T4	8402	425	0	0
T14	16215	4475	0	0
T15	5852	369	0	0
T16	7308	604	0	0
T17	24577	2350	0	0
T18	30563	3307	0	0
T19	13383	5467	0	0

wePulse

Name	Attempts	Real Successes	Failures	Incomplete
Total	22491082	388582	0	0
T1	1734	105	0	0
T2	6163	121	0	0
T3	9322	94	0	0
T4	8402	277	0	0
T14	16215	88	0	0
T15	5852	82	0	0
T16	7308	225	0	0
T17	24577	137	0	0
T18	30563	199	0	0
T19	13383	394	0	0