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

Module : adc_ctrl_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_adc_ctrl_1.0/rtl/adc_ctrl_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.77 98.90 95.13 100.00 98.47 96.33


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_adc_chn0_filter_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_0_cond_0 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_0_en_0 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_0_max_v_0 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_0_min_v_0 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_1_cond_1 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_1_en_1 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_1_max_v_1 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_1_min_v_1 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_2_cond_2 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_2_en_2 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_2_max_v_2 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_2_min_v_2 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_3_cond_3 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_3_en_3 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_3_max_v_3 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_3_min_v_3 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_4_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_4_cond_4 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_4_en_4 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_4_max_v_4 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_4_min_v_4 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_5_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_5_cond_5 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_5_en_5 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_5_max_v_5 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_5_min_v_5 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_6_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_6_cond_6 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_6_en_6 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_6_max_v_6 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_6_min_v_6 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_7_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn0_filter_ctl_7_cond_7 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_7_en_7 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_7_max_v_7 100.00 100.00 100.00 100.00
u_adc_chn0_filter_ctl_7_min_v_7 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_0_cond_0 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_0_en_0 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_0_max_v_0 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_0_min_v_0 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_1_cond_1 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_1_en_1 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_1_max_v_1 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_1_min_v_1 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_2_cond_2 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_2_en_2 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_2_max_v_2 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_2_min_v_2 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_3_cond_3 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_3_en_3 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_3_max_v_3 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_3_min_v_3 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_4_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_4_cond_4 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_4_en_4 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_4_max_v_4 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_4_min_v_4 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_5_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_5_cond_5 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_5_en_5 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_5_max_v_5 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_5_min_v_5 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_6_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_6_cond_6 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_6_en_6 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_6_max_v_6 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_6_min_v_6 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_7_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_chn1_filter_ctl_7_cond_7 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_7_en_7 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_7_max_v_7 100.00 100.00 100.00 100.00
u_adc_chn1_filter_ctl_7_min_v_7 100.00 100.00 100.00 100.00
u_adc_chn_val_0_adc_chn_value_0 100.00 100.00 100.00 100.00
u_adc_chn_val_0_adc_chn_value_ext_0 55.19 55.56 50.00 60.00
u_adc_chn_val_0_adc_chn_value_intr_0 100.00 100.00 100.00 100.00
u_adc_chn_val_0_adc_chn_value_intr_ext_0 55.19 55.56 50.00 60.00
u_adc_chn_val_0_cdc 75.53 95.31 57.35 89.47 60.00
u_adc_chn_val_1_adc_chn_value_1 100.00 100.00 100.00 100.00
u_adc_chn_val_1_adc_chn_value_ext_1 55.19 55.56 50.00 60.00
u_adc_chn_val_1_adc_chn_value_intr_1 100.00 100.00 100.00 100.00
u_adc_chn_val_1_adc_chn_value_intr_ext_1 55.19 55.56 50.00 60.00
u_adc_chn_val_1_cdc 75.53 95.31 57.35 89.47 60.00
u_adc_en_ctl_adc_enable 100.00 100.00 100.00 100.00
u_adc_en_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_en_ctl_oneshot_mode 100.00 100.00 100.00 100.00
u_adc_fsm_rst 100.00 100.00 100.00 100.00
u_adc_fsm_rst_cdc 99.22 100.00 96.88 100.00 100.00
u_adc_intr_ctl 100.00 100.00 100.00 100.00
u_adc_intr_status_filter_match 100.00 100.00 100.00 100.00
u_adc_intr_status_oneshot 100.00 100.00 100.00 100.00
u_adc_lp_sample_ctl 100.00 100.00 100.00 100.00
u_adc_lp_sample_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_pd_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_pd_ctl_lp_mode 100.00 100.00 100.00 100.00
u_adc_pd_ctl_pwrup_time 100.00 100.00 100.00 100.00
u_adc_pd_ctl_wakeup_time 100.00 100.00 100.00 100.00
u_adc_sample_ctl 100.00 100.00 100.00 100.00
u_adc_sample_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_adc_wakeup_ctl 100.00 100.00 100.00 100.00
u_adc_wakeup_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_alert_test 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_filter_status 100.00 100.00 100.00 100.00
u_filter_status_cdc 96.76 100.00 88.73 98.31 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_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.69 97.14 97.62 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : adc_ctrl_reg_top
Line No.TotalCoveredPercent
TOTAL324324100.00
ALWAYS7344100.00
CONT_ASSIGN8211100.00
CONT_ASSIGN9411100.00
CONT_ASSIGN9511100.00
CONT_ASSIGN12311100.00
CONT_ASSIGN12411100.00
ALWAYS23133100.00
CONT_ASSIGN26011100.00
ALWAYS27244100.00
CONT_ASSIGN30211100.00
ALWAYS31222100.00
CONT_ASSIGN34011100.00
ALWAYS35022100.00
CONT_ASSIGN37811100.00
ALWAYS38822100.00
CONT_ASSIGN41611100.00
ALWAYS42955100.00
CONT_ASSIGN46011100.00
ALWAYS47355100.00
CONT_ASSIGN50411100.00
ALWAYS51755100.00
CONT_ASSIGN54811100.00
ALWAYS56155100.00
CONT_ASSIGN59211100.00
ALWAYS60555100.00
CONT_ASSIGN63611100.00
ALWAYS64955100.00
CONT_ASSIGN68011100.00
ALWAYS69355100.00
CONT_ASSIGN72411100.00
ALWAYS73755100.00
CONT_ASSIGN76811100.00
ALWAYS78155100.00
CONT_ASSIGN81211100.00
ALWAYS82555100.00
CONT_ASSIGN85611100.00
ALWAYS86955100.00
CONT_ASSIGN90011100.00
ALWAYS91355100.00
CONT_ASSIGN94411100.00
ALWAYS95755100.00
CONT_ASSIGN98811100.00
ALWAYS100155100.00
CONT_ASSIGN103211100.00
ALWAYS104555100.00
CONT_ASSIGN107611100.00
ALWAYS108955100.00
CONT_ASSIGN112011100.00
ALWAYS11361010100.00
ALWAYS11861010100.00
ALWAYS123022100.00
CONT_ASSIGN125811100.00
ALWAYS127144100.00
CONT_ASSIGN130111100.00
CONT_ASSIGN136411100.00
CONT_ASSIGN137811100.00
CONT_ASSIGN138411100.00
CONT_ASSIGN139811100.00
CONT_ASSIGN340311100.00
CONT_ASSIGN351611100.00
CONT_ASSIGN365611100.00
ALWAYS37713232100.00
CONT_ASSIGN380511100.00
ALWAYS380911100.00
CONT_ASSIGN384411100.00
CONT_ASSIGN384611100.00
CONT_ASSIGN384711100.00
CONT_ASSIGN384911100.00
CONT_ASSIGN385011100.00
CONT_ASSIGN385211100.00
CONT_ASSIGN385311100.00
CONT_ASSIGN385511100.00
CONT_ASSIGN385611100.00
CONT_ASSIGN385911100.00
CONT_ASSIGN386311100.00
CONT_ASSIGN386511100.00
CONT_ASSIGN386711100.00
CONT_ASSIGN386911100.00
CONT_ASSIGN387411100.00
CONT_ASSIGN387911100.00
CONT_ASSIGN388411100.00
CONT_ASSIGN388911100.00
CONT_ASSIGN389411100.00
CONT_ASSIGN389911100.00
CONT_ASSIGN390411100.00
CONT_ASSIGN390911100.00
CONT_ASSIGN391411100.00
CONT_ASSIGN391911100.00
CONT_ASSIGN392411100.00
CONT_ASSIGN392911100.00
CONT_ASSIGN393411100.00
CONT_ASSIGN393911100.00
CONT_ASSIGN394411100.00
CONT_ASSIGN394911100.00
CONT_ASSIGN395111100.00
CONT_ASSIGN395311100.00
CONT_ASSIGN395511100.00
CONT_ASSIGN395611100.00
CONT_ASSIGN395811100.00
CONT_ASSIGN396011100.00
ALWAYS39643232100.00
ALWAYS40003434100.00
CONT_ASSIGN411411100.00
ALWAYS41162727100.00
CONT_ASSIGN420611100.00
CONT_ASSIGN420711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_adc_ctrl_1.0/rtl/adc_ctrl_reg_top.sv' or '../src/lowrisc_ip_adc_ctrl_1.0/rtl/adc_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
82 1 1
94 1 1
95 1 1
123 1 1
124 1 1
231 1 1
232 1 1
233 1 1
260 1 1
272 1 1
273 1 1
274 1 1
275 1 1
302 1 1
312 1 1
313 1 1
340 1 1
350 1 1
351 1 1
378 1 1
388 1 1
389 1 1
416 1 1
429 1 1
430 1 1
431 1 1
432 1 1
433 1 1
460 1 1
473 1 1
474 1 1
475 1 1
476 1 1
477 1 1
504 1 1
517 1 1
518 1 1
519 1 1
520 1 1
521 1 1
548 1 1
561 1 1
562 1 1
563 1 1
564 1 1
565 1 1
592 1 1
605 1 1
606 1 1
607 1 1
608 1 1
609 1 1
636 1 1
649 1 1
650 1 1
651 1 1
652 1 1
653 1 1
680 1 1
693 1 1
694 1 1
695 1 1
696 1 1
697 1 1
724 1 1
737 1 1
738 1 1
739 1 1
740 1 1
741 1 1
768 1 1
781 1 1
782 1 1
783 1 1
784 1 1
785 1 1
812 1 1
825 1 1
826 1 1
827 1 1
828 1 1
829 1 1
856 1 1
869 1 1
870 1 1
871 1 1
872 1 1
873 1 1
900 1 1
913 1 1
914 1 1
915 1 1
916 1 1
917 1 1
944 1 1
957 1 1
958 1 1
959 1 1
960 1 1
961 1 1
988 1 1
1001 1 1
1002 1 1
1003 1 1
1004 1 1
1005 1 1
1032 1 1
1045 1 1
1046 1 1
1047 1 1
1048 1 1
1049 1 1
1076 1 1
1089 1 1
1090 1 1
1091 1 1
1092 1 1
1093 1 1
1120 1 1
1136 1 1
1137 1 1
1138 1 1
1139 1 1
1140 1 1
1141 1 1
1142 1 1
1143 1 1
1144 1 1
1145 1 1
1186 1 1
1187 1 1
1188 1 1
1189 1 1
1190 1 1
1191 1 1
1192 1 1
1193 1 1
1194 1 1
1195 1 1
1230 1 1
1231 1 1
1258 1 1
1271 1 1
1272 1 1
1273 1 1
1274 1 1
1301 1 1
1364 1 1
1378 1 1
1384 1 1
1398 1 1
3403 1 1
3516 1 1
3656 1 1
3771 1 1
3772 1 1
3773 1 1
3774 1 1
3775 1 1
3776 1 1
3777 1 1
3778 1 1
3779 1 1
3780 1 1
3781 1 1
3782 1 1
3783 1 1
3784 1 1
3785 1 1
3786 1 1
3787 1 1
3788 1 1
3789 1 1
3790 1 1
3791 1 1
3792 1 1
3793 1 1
3794 1 1
3795 1 1
3796 1 1
3797 1 1
3798 1 1
3799 1 1
3800 1 1
3801 1 1
3802 1 1
3805 1 1
3809 1 1
3844 1 1
3846 1 1
3847 1 1
3849 1 1
3850 1 1
3852 1 1
3853 1 1
3855 1 1
3856 1 1
3859 1 1
3863 1 1
3865 1 1
3867 1 1
3869 1 1
3874 1 1
3879 1 1
3884 1 1
3889 1 1
3894 1 1
3899 1 1
3904 1 1
3909 1 1
3914 1 1
3919 1 1
3924 1 1
3929 1 1
3934 1 1
3939 1 1
3944 1 1
3949 1 1
3951 1 1
3953 1 1
3955 1 1
3956 1 1
3958 1 1
3960 1 1
3964 1 1
3965 1 1
3966 1 1
3967 1 1
3968 1 1
3969 1 1
3970 1 1
3971 1 1
3972 1 1
3973 1 1
3974 1 1
3975 1 1
3976 1 1
3977 1 1
3978 1 1
3979 1 1
3980 1 1
3981 1 1
3982 1 1
3983 1 1
3984 1 1
3985 1 1
3986 1 1
3987 1 1
3988 1 1
3989 1 1
3990 1 1
3991 1 1
3992 1 1
3993 1 1
3994 1 1
3995 1 1
4000 1 1
4001 1 1
4003 1 1
4007 1 1
4011 1 1
4015 1 1
4019 1 1
4022 1 1
4025 1 1
4028 1 1
4031 1 1
4034 1 1
4037 1 1
4040 1 1
4043 1 1
4046 1 1
4049 1 1
4052 1 1
4055 1 1
4058 1 1
4061 1 1
4064 1 1
4067 1 1
4070 1 1
4073 1 1
4076 1 1
4079 1 1
4082 1 1
4085 1 1
4088 1 1
4091 1 1
4094 1 1
4098 1 1
4099 1 1
4114 1 1
4116 1 1
4117 1 1
4119 1 1
4122 1 1
4125 1 1
4128 1 1
4131 1 1
4134 1 1
4137 1 1
4140 1 1
4143 1 1
4146 1 1
4149 1 1
4152 1 1
4155 1 1
4158 1 1
4161 1 1
4164 1 1
4167 1 1
4170 1 1
4173 1 1
4176 1 1
4179 1 1
4182 1 1
4185 1 1
4188 1 1
4191 1 1
4206 1 1
4207 1 1


Cond Coverage for Module : adc_ctrl_reg_top
TotalCoveredPercent
Conditions329329100.00
Logical329329100.00
Non-Logical00
Event00

 LINE       63
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT35,T61,T62
11CoveredT6,T7,T8

 LINE       75
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT45,T46,T47
10CoveredT1,T4,T11

 LINE       82
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT6,T7,T8
001CoveredT45,T46,T47
010CoveredT1,T4,T11
100CoveredT1,T4,T11

 LINE       124
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT6,T7,T8
001CoveredT1,T4,T11
010CoveredT35,T61,T62
100CoveredT35,T61,T62

 LINE       124
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT6,T7,T8
11CoveredT35,T61,T62

 LINE       3772
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_STATE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3773
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_ENABLE_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3774
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_TEST_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3775
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ALERT_TEST_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3776
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_EN_CTL_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT7,T8,T1

 LINE       3777
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_PD_CTL_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT8,T1,T2

 LINE       3778
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_LP_SAMPLE_CTL_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3779
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_SAMPLE_CTL_OFFSET)
            -------------------------------1------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3780
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_FSM_RST_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT7,T8,T1

 LINE       3781
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_0_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3782
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_1_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T8,T1

 LINE       3783
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_2_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT7,T8,T1

 LINE       3784
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_3_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT8,T1,T2

 LINE       3785
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_4_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3786
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_5_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3787
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_6_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3788
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_7_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3789
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_0_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3790
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_1_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3791
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_2_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT8,T1,T2

 LINE       3792
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_3_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3793
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_4_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT8,T1,T2

 LINE       3794
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_5_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3795
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_6_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3796
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_7_OFFSET)
            ----------------------------------1----------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3797
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN_VAL_0_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T8,T1

 LINE       3798
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN_VAL_1_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T8,T1

 LINE       3799
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_WAKEUP_CTL_OFFSET)
            -------------------------------1------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3800
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_FILTER_STATUS_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3801
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_INTR_CTL_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T8,T1

 LINE       3802
 EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_INTR_STATUS_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3805
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT6,T7,T8

 LINE       3805
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT6,T7,T8
10CoveredT6,T7,T8

 LINE       3809
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1 & (~reg_be))))) | (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT1,T4,T11

 LINE       3809
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | 
     13  (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | 
     14  (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | 
     17  (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | 
     18  (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | 
     19  (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | 
     20  (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | 
     21  (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | 
     22  (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | 
     23  (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b0011 & (~reg_be))))))
Sensitive Expression == 1StatusTests
ALL ZEROSCoveredT6,T7,T8
31 (addr_hit[30] & ((|(4'...CoveredT6,T8,T1
30 (addr_hit[29] & ((|(4'...CoveredT6,T8,T1
29 (addr_hit[28] & ((|(4'...CoveredT7,T1,T4
28 (addr_hit[27] & ((|(4'...CoveredT6,T7,T1
27 (addr_hit[26] & ((|(4'...CoveredT6,T8,T1
26 (addr_hit[25] & ((|(4'...CoveredT6,T8,T1
25 (addr_hit[24] & ((|(4'...CoveredT6,T7,T1
24 (addr_hit[23] & ((|(4'...CoveredT6,T7,T1
23 (addr_hit[22] & ((|(4'...CoveredT6,T7,T8
22 (addr_hit[21] & ((|(4'...CoveredT8,T1,T3
21 (addr_hit[20] & ((|(4'...CoveredT6,T7,T8
20 (addr_hit[19] & ((|(4'...CoveredT8,T1,T2
19 (addr_hit[18] & ((|(4'...CoveredT6,T7,T8
18 (addr_hit[17] & ((|(4'...CoveredT6,T7,T8
17 (addr_hit[16] & ((|(4'...CoveredT6,T7,T8
16 (addr_hit[15] & ((|(4'...CoveredT6,T7,T8
15 (addr_hit[14] & ((|(4'...CoveredT6,T7,T8
14 (addr_hit[13] & ((|(4'...CoveredT6,T7,T8
13 (addr_hit[12] & ((|(4'...CoveredT1,T2,T3
12 (addr_hit[11] & ((|(4'...CoveredT7,T1,T2
11 (addr_hit[10] & ((|(4'...CoveredT6,T8,T1
10 (addr_hit[9] & ((|(4'b...CoveredT6,T7,T8
9 (addr_hit[8] & ((|(4'b...CoveredT7,T8,T1
8 (addr_hit[7] & ((|(4'b...CoveredT6,T7,T8
7 (addr_hit[6] & ((|(4'b...CoveredT6,T8,T1
6 (addr_hit[5] & ((|(4'b...CoveredT1,T2,T3
5 (addr_hit[4] & ((|(4'b...CoveredT8,T1,T2
4 (addr_hit[3] & ((|(4'b...CoveredT6,T8,T1
3 (addr_hit[2] & ((|(4'b...CoveredT6,T7,T1
2 (addr_hit[1] & ((|(4'b...CoveredT6,T7,T1
1 (addr_hit[0] & ((|(4'b...CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T1
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T7,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T7,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT7,T8,T1
11CoveredT8,T1,T2

 LINE       3809
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT1,T2,T3

 LINE       3809
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT7,T8,T1
11CoveredT7,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT7,T1,T2

 LINE       3809
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT1,T2,T3

 LINE       3809
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT7,T8,T1
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT7,T8,T1
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT8,T1,T2

 LINE       3809
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT7,T8,T1
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT8,T1,T3

 LINE       3809
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T8

 LINE       3809
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T7,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T7,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T8,T1
11CoveredT7,T1,T4

 LINE       3809
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT8,T1,T2
11CoveredT6,T8,T1

 LINE       3809
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT6,T7,T8
11CoveredT6,T8,T1

 LINE       3844
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T62,T63
111CoveredT6,T7,T26

 LINE       3847
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT4,T35,T61
111CoveredT6,T7,T8

 LINE       3850
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT6,T7,T26

 LINE       3853
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3856
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT7,T8,T1
110CoveredT35,T62,T63
111CoveredT8,T1,T2

 LINE       3859
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT8,T1,T2
110CoveredT61,T62,T63
111CoveredT8,T1,T2

 LINE       3863
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T63
111CoveredT6,T7,T8

 LINE       3865
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T63
111CoveredT6,T7,T8

 LINE       3867
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT7,T8,T1
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3869
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT4,T11,T35
111CoveredT8,T1,T2

 LINE       3874
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T8,T1
110CoveredT35,T61,T63
111CoveredT8,T1,T2

 LINE       3879
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT7,T8,T1
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3884
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT8,T1,T2
110CoveredT1,T35,T61
111CoveredT8,T1,T2

 LINE       3889
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT1,T35,T61
111CoveredT8,T1,T2

 LINE       3894
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T63
111CoveredT8,T1,T2

 LINE       3899
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3904
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT1,T35,T61
111CoveredT8,T1,T2

 LINE       3909
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T60,T61
111CoveredT8,T1,T2

 LINE       3914
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3919
 EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT8,T1,T2
110CoveredT35,T62,T65
111CoveredT8,T1,T2

 LINE       3924
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3929
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT8,T1,T2
110CoveredT35,T62,T63
111CoveredT8,T1,T2

 LINE       3934
 EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT11,T61,T62
111CoveredT8,T1,T2

 LINE       3939
 EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T61,T62
111CoveredT8,T1,T2

 LINE       3944
 EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT11,T35,T61
111CoveredT8,T1,T2

 LINE       3949
 EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT11,T35,T60
111CoveredT8,T1,T2

 LINE       3951
 EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT4,T35,T61
111CoveredT8,T1,T2

 LINE       3953
 EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T8,T1
110CoveredT61,T63,T64
111CoveredT8,T1,T2

 LINE       3956
 EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT6,T7,T8
101CoveredT6,T7,T8
110CoveredT35,T63,T73
111CoveredT8,T1,T2

 LINE       4114
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT6,T7,T8

Branch Coverage for Module : adc_ctrl_reg_top
Line No.TotalCoveredPercent
Branches 63 63 100.00
TERNARY 3805 2 2 100.00
IF 73 3 3 100.00
CASE 4001 32 32 100.00
CASE 4117 26 26 100.00

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

LineNo. Expression -1-: 3805 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T6,T7,T8
0 Covered T6,T7,T8


LineNo. Expression -1-: 73 if ((!rst_ni)) -2-: 75 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T6,T7,T8
0 1 Covered T1,T4,T11
0 0 Covered T6,T7,T8


LineNo. Expression -1-: 4001 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T6,T7,T8
addr_hit[1] Covered T6,T7,T8
addr_hit[2] Covered T6,T7,T8
addr_hit[3] Covered T6,T7,T8
addr_hit[4] Covered T7,T8,T1
addr_hit[5] Covered T8,T1,T2
addr_hit[6] Covered T6,T7,T8
addr_hit[7] Covered T6,T7,T8
addr_hit[8] Covered T7,T8,T1
addr_hit[9] Covered T6,T7,T8
addr_hit[10] Covered T6,T8,T1
addr_hit[11] Covered T7,T8,T1
addr_hit[12] Covered T8,T1,T2
addr_hit[13] Covered T6,T7,T8
addr_hit[14] Covered T6,T7,T8
addr_hit[15] Covered T6,T7,T8
addr_hit[16] Covered T6,T7,T8
addr_hit[17] Covered T6,T7,T8
addr_hit[18] Covered T6,T7,T8
addr_hit[19] Covered T8,T1,T2
addr_hit[20] Covered T6,T7,T8
addr_hit[21] Covered T8,T1,T2
addr_hit[22] Covered T6,T7,T8
addr_hit[23] Covered T6,T7,T8
addr_hit[24] Covered T6,T7,T8
addr_hit[25] Covered T6,T8,T1
addr_hit[26] Covered T6,T8,T1
addr_hit[27] Covered T6,T7,T8
addr_hit[28] Covered T6,T7,T8
addr_hit[29] Covered T6,T8,T1
addr_hit[30] Covered T6,T7,T8
default Covered T6,T7,T8


LineNo. Expression -1-: 4117 case (1'b1)

Branches:
-1-StatusTests
addr_hit[4] Covered T7,T8,T1
addr_hit[5] Covered T8,T1,T2
addr_hit[6] Covered T6,T7,T8
addr_hit[7] Covered T6,T7,T8
addr_hit[8] Covered T7,T8,T1
addr_hit[9] Covered T6,T7,T8
addr_hit[10] Covered T6,T8,T1
addr_hit[11] Covered T7,T8,T1
addr_hit[12] Covered T8,T1,T2
addr_hit[13] Covered T6,T7,T8
addr_hit[14] Covered T6,T7,T8
addr_hit[15] Covered T6,T7,T8
addr_hit[16] Covered T6,T7,T8
addr_hit[17] Covered T6,T7,T8
addr_hit[18] Covered T6,T7,T8
addr_hit[19] Covered T8,T1,T2
addr_hit[20] Covered T6,T7,T8
addr_hit[21] Covered T8,T1,T2
addr_hit[22] Covered T6,T7,T8
addr_hit[23] Covered T6,T7,T8
addr_hit[24] Covered T6,T7,T8
addr_hit[25] Covered T6,T8,T1
addr_hit[26] Covered T6,T8,T1
addr_hit[27] Covered T6,T7,T8
addr_hit[28] Covered T6,T7,T8
default Covered T6,T7,T8


Assert Coverage for Module : adc_ctrl_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
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

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 2147483647 2295343 0 0
reAfterRv 2147483647 2295337 0 0
rePulse 2147483647 2007306 0 0
wePulse 2147483647 288031 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2295343 0 0
T1 230955 801 0 0
T2 48411 111 0 0
T3 11597 150 0 0
T4 42906 821 0 0
T6 3020 42 0 0
T7 9778 40 0 0
T8 53556 99 0 0
T26 22015 22 0 0
T27 25739 103 0 0
T28 29600 24 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2295337 0 0
T1 230955 801 0 0
T2 48411 111 0 0
T3 11597 150 0 0
T4 42906 821 0 0
T6 3020 42 0 0
T7 9778 40 0 0
T8 53556 99 0 0
T26 22015 22 0 0
T27 25739 102 0 0
T28 29600 24 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2007306 0 0
T1 230955 513 0 0
T2 48411 61 0 0
T3 11597 96 0 0
T4 42906 525 0 0
T6 3020 20 0 0
T7 9778 19 0 0
T8 53556 61 0 0
T26 22015 10 0 0
T27 25739 61 0 0
T28 29600 11 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 288031 0 0
T1 230955 288 0 0
T2 48411 50 0 0
T3 11597 54 0 0
T4 42906 296 0 0
T6 3020 22 0 0
T7 9778 21 0 0
T8 53556 38 0 0
T26 22015 12 0 0
T27 25739 41 0 0
T28 29600 13 0 0

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