Line Coverage for Module :
adc_ctrl_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 324 | 324 | 100.00 |
ALWAYS | 70 | 4 | 4 | 100.00 |
CONT_ASSIGN | 79 | 1 | 1 | 100.00 |
CONT_ASSIGN | 91 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 120 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
ALWAYS | 228 | 3 | 3 | 100.00 |
CONT_ASSIGN | 257 | 1 | 1 | 100.00 |
ALWAYS | 269 | 4 | 4 | 100.00 |
CONT_ASSIGN | 299 | 1 | 1 | 100.00 |
ALWAYS | 309 | 2 | 2 | 100.00 |
CONT_ASSIGN | 337 | 1 | 1 | 100.00 |
ALWAYS | 347 | 2 | 2 | 100.00 |
CONT_ASSIGN | 375 | 1 | 1 | 100.00 |
ALWAYS | 385 | 2 | 2 | 100.00 |
CONT_ASSIGN | 413 | 1 | 1 | 100.00 |
ALWAYS | 426 | 5 | 5 | 100.00 |
CONT_ASSIGN | 457 | 1 | 1 | 100.00 |
ALWAYS | 470 | 5 | 5 | 100.00 |
CONT_ASSIGN | 501 | 1 | 1 | 100.00 |
ALWAYS | 514 | 5 | 5 | 100.00 |
CONT_ASSIGN | 545 | 1 | 1 | 100.00 |
ALWAYS | 558 | 5 | 5 | 100.00 |
CONT_ASSIGN | 589 | 1 | 1 | 100.00 |
ALWAYS | 602 | 5 | 5 | 100.00 |
CONT_ASSIGN | 633 | 1 | 1 | 100.00 |
ALWAYS | 646 | 5 | 5 | 100.00 |
CONT_ASSIGN | 677 | 1 | 1 | 100.00 |
ALWAYS | 690 | 5 | 5 | 100.00 |
CONT_ASSIGN | 721 | 1 | 1 | 100.00 |
ALWAYS | 734 | 5 | 5 | 100.00 |
CONT_ASSIGN | 765 | 1 | 1 | 100.00 |
ALWAYS | 778 | 5 | 5 | 100.00 |
CONT_ASSIGN | 809 | 1 | 1 | 100.00 |
ALWAYS | 822 | 5 | 5 | 100.00 |
CONT_ASSIGN | 853 | 1 | 1 | 100.00 |
ALWAYS | 866 | 5 | 5 | 100.00 |
CONT_ASSIGN | 897 | 1 | 1 | 100.00 |
ALWAYS | 910 | 5 | 5 | 100.00 |
CONT_ASSIGN | 941 | 1 | 1 | 100.00 |
ALWAYS | 954 | 5 | 5 | 100.00 |
CONT_ASSIGN | 985 | 1 | 1 | 100.00 |
ALWAYS | 998 | 5 | 5 | 100.00 |
CONT_ASSIGN | 1029 | 1 | 1 | 100.00 |
ALWAYS | 1042 | 5 | 5 | 100.00 |
CONT_ASSIGN | 1073 | 1 | 1 | 100.00 |
ALWAYS | 1086 | 5 | 5 | 100.00 |
CONT_ASSIGN | 1117 | 1 | 1 | 100.00 |
ALWAYS | 1133 | 10 | 10 | 100.00 |
ALWAYS | 1183 | 10 | 10 | 100.00 |
ALWAYS | 1227 | 2 | 2 | 100.00 |
CONT_ASSIGN | 1255 | 1 | 1 | 100.00 |
ALWAYS | 1268 | 4 | 4 | 100.00 |
CONT_ASSIGN | 1298 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1361 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1375 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1381 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1395 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3400 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3513 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3653 | 1 | 1 | 100.00 |
ALWAYS | 3768 | 32 | 32 | 100.00 |
CONT_ASSIGN | 3802 | 1 | 1 | 100.00 |
ALWAYS | 3806 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3841 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3843 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3844 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3846 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3847 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3849 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3850 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3852 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3853 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3856 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3860 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3862 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3864 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3866 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3871 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3876 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3881 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3886 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3891 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3896 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3901 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3906 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3911 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3916 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3936 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3941 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3946 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3948 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3950 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3952 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3953 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3955 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3957 | 1 | 1 | 100.00 |
ALWAYS | 3961 | 32 | 32 | 100.00 |
ALWAYS | 3997 | 34 | 34 | 100.00 |
CONT_ASSIGN | 4111 | 1 | 1 | 100.00 |
ALWAYS | 4113 | 27 | 27 | 100.00 |
CONT_ASSIGN | 4203 | 1 | 1 | 100.00 |
CONT_ASSIGN | 4204 | 1 | 1 | 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, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
70 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
91 |
1 |
1 |
92 |
1 |
1 |
120 |
1 |
1 |
121 |
1 |
1 |
228 |
1 |
1 |
229 |
1 |
1 |
230 |
1 |
1 |
257 |
1 |
1 |
269 |
1 |
1 |
270 |
1 |
1 |
271 |
1 |
1 |
272 |
1 |
1 |
299 |
1 |
1 |
309 |
1 |
1 |
310 |
1 |
1 |
337 |
1 |
1 |
347 |
1 |
1 |
348 |
1 |
1 |
375 |
1 |
1 |
385 |
1 |
1 |
386 |
1 |
1 |
413 |
1 |
1 |
426 |
1 |
1 |
427 |
1 |
1 |
428 |
1 |
1 |
429 |
1 |
1 |
430 |
1 |
1 |
457 |
1 |
1 |
470 |
1 |
1 |
471 |
1 |
1 |
472 |
1 |
1 |
473 |
1 |
1 |
474 |
1 |
1 |
501 |
1 |
1 |
514 |
1 |
1 |
515 |
1 |
1 |
516 |
1 |
1 |
517 |
1 |
1 |
518 |
1 |
1 |
545 |
1 |
1 |
558 |
1 |
1 |
559 |
1 |
1 |
560 |
1 |
1 |
561 |
1 |
1 |
562 |
1 |
1 |
589 |
1 |
1 |
602 |
1 |
1 |
603 |
1 |
1 |
604 |
1 |
1 |
605 |
1 |
1 |
606 |
1 |
1 |
633 |
1 |
1 |
646 |
1 |
1 |
647 |
1 |
1 |
648 |
1 |
1 |
649 |
1 |
1 |
650 |
1 |
1 |
677 |
1 |
1 |
690 |
1 |
1 |
691 |
1 |
1 |
692 |
1 |
1 |
693 |
1 |
1 |
694 |
1 |
1 |
721 |
1 |
1 |
734 |
1 |
1 |
735 |
1 |
1 |
736 |
1 |
1 |
737 |
1 |
1 |
738 |
1 |
1 |
765 |
1 |
1 |
778 |
1 |
1 |
779 |
1 |
1 |
780 |
1 |
1 |
781 |
1 |
1 |
782 |
1 |
1 |
809 |
1 |
1 |
822 |
1 |
1 |
823 |
1 |
1 |
824 |
1 |
1 |
825 |
1 |
1 |
826 |
1 |
1 |
853 |
1 |
1 |
866 |
1 |
1 |
867 |
1 |
1 |
868 |
1 |
1 |
869 |
1 |
1 |
870 |
1 |
1 |
897 |
1 |
1 |
910 |
1 |
1 |
911 |
1 |
1 |
912 |
1 |
1 |
913 |
1 |
1 |
914 |
1 |
1 |
941 |
1 |
1 |
954 |
1 |
1 |
955 |
1 |
1 |
956 |
1 |
1 |
957 |
1 |
1 |
958 |
1 |
1 |
985 |
1 |
1 |
998 |
1 |
1 |
999 |
1 |
1 |
1000 |
1 |
1 |
1001 |
1 |
1 |
1002 |
1 |
1 |
1029 |
1 |
1 |
1042 |
1 |
1 |
1043 |
1 |
1 |
1044 |
1 |
1 |
1045 |
1 |
1 |
1046 |
1 |
1 |
1073 |
1 |
1 |
1086 |
1 |
1 |
1087 |
1 |
1 |
1088 |
1 |
1 |
1089 |
1 |
1 |
1090 |
1 |
1 |
1117 |
1 |
1 |
1133 |
1 |
1 |
1134 |
1 |
1 |
1135 |
1 |
1 |
1136 |
1 |
1 |
1137 |
1 |
1 |
1138 |
1 |
1 |
1139 |
1 |
1 |
1140 |
1 |
1 |
1141 |
1 |
1 |
1142 |
1 |
1 |
1183 |
1 |
1 |
1184 |
1 |
1 |
1185 |
1 |
1 |
1186 |
1 |
1 |
1187 |
1 |
1 |
1188 |
1 |
1 |
1189 |
1 |
1 |
1190 |
1 |
1 |
1191 |
1 |
1 |
1192 |
1 |
1 |
1227 |
1 |
1 |
1228 |
1 |
1 |
1255 |
1 |
1 |
1268 |
1 |
1 |
1269 |
1 |
1 |
1270 |
1 |
1 |
1271 |
1 |
1 |
1298 |
1 |
1 |
1361 |
1 |
1 |
1375 |
1 |
1 |
1381 |
1 |
1 |
1395 |
1 |
1 |
3400 |
1 |
1 |
3513 |
1 |
1 |
3653 |
1 |
1 |
3768 |
1 |
1 |
3769 |
1 |
1 |
3770 |
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 |
3802 |
1 |
1 |
3806 |
1 |
1 |
3841 |
1 |
1 |
3843 |
1 |
1 |
3844 |
1 |
1 |
3846 |
1 |
1 |
3847 |
1 |
1 |
3849 |
1 |
1 |
3850 |
1 |
1 |
3852 |
1 |
1 |
3853 |
1 |
1 |
3856 |
1 |
1 |
3860 |
1 |
1 |
3862 |
1 |
1 |
3864 |
1 |
1 |
3866 |
1 |
1 |
3871 |
1 |
1 |
3876 |
1 |
1 |
3881 |
1 |
1 |
3886 |
1 |
1 |
3891 |
1 |
1 |
3896 |
1 |
1 |
3901 |
1 |
1 |
3906 |
1 |
1 |
3911 |
1 |
1 |
3916 |
1 |
1 |
3921 |
1 |
1 |
3926 |
1 |
1 |
3931 |
1 |
1 |
3936 |
1 |
1 |
3941 |
1 |
1 |
3946 |
1 |
1 |
3948 |
1 |
1 |
3950 |
1 |
1 |
3952 |
1 |
1 |
3953 |
1 |
1 |
3955 |
1 |
1 |
3957 |
1 |
1 |
3961 |
1 |
1 |
3962 |
1 |
1 |
3963 |
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 |
3997 |
1 |
1 |
3998 |
1 |
1 |
4000 |
1 |
1 |
4004 |
1 |
1 |
4008 |
1 |
1 |
4012 |
1 |
1 |
4016 |
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 |
4095 |
1 |
1 |
4096 |
1 |
1 |
4111 |
1 |
1 |
4113 |
1 |
1 |
4114 |
1 |
1 |
4116 |
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 |
4203 |
1 |
1 |
4204 |
1 |
1 |
Cond Coverage for Module :
adc_ctrl_reg_top
| Total | Covered | Percent |
Conditions | 327 | 327 | 100.00 |
Logical | 327 | 327 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 60
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T32,T33,T34 |
1 | 1 | Covered | T1,T2,T3 |
LINE 72
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T40,T41,T42 |
1 | 0 | Covered | T104,T105,T106 |
LINE 79
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T40,T41,T42 |
0 | 1 | 0 | Covered | T104,T105,T106 |
1 | 0 | 0 | Covered | T40,T41,T42 |
LINE 121
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T104,T105,T106 |
0 | 1 | 0 | Covered | T35,T36,T32 |
1 | 0 | 0 | Covered | T32,T33,T34 |
LINE 3769
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_STATE_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3770
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_ENABLE_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3771
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_INTR_TEST_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3772
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ALERT_TEST_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3773
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_EN_CTL_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3774
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_PD_CTL_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3775
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_LP_SAMPLE_CTL_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3776
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_SAMPLE_CTL_OFFSET)
-------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3777
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_FSM_RST_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3778
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_0_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3779
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_1_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3780
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_2_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3781
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_3_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3782
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_4_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3783
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_5_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3784
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_6_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3785
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN0_FILTER_CTL_7_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3786
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_0_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3787
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_1_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3788
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_2_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3789
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_3_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3790
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_4_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3791
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_5_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3792
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_6_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3793
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN1_FILTER_CTL_7_OFFSET)
----------------------------------1----------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3794
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN_VAL_0_OFFSET)
------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3795
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_CHN_VAL_1_OFFSET)
------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3796
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_WAKEUP_CTL_OFFSET)
-------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3797
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_FILTER_STATUS_OFFSET)
------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3798
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_INTR_CTL_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T6,T7 |
LINE 3799
EXPRESSION (reg_addr == adc_ctrl_reg_pkg::ADC_CTRL_ADC_INTR_STATUS_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 3802
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 3802
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
LINE 3806
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- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T35,T36,T32 |
LINE 3806
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 == 1 | Status | Tests |
ALL ZEROS | Covered | T1,T2,T3 |
31 (addr_hit[30] & ((|(4'... | Covered | T3,T4,T6 |
30 (addr_hit[29] & ((|(4'... | Covered | T4,T6,T7 |
29 (addr_hit[28] & ((|(4'... | Covered | T1,T3,T4 |
28 (addr_hit[27] & ((|(4'... | Covered | T4,T6,T7 |
27 (addr_hit[26] & ((|(4'... | Covered | T4,T6,T7 |
26 (addr_hit[25] & ((|(4'... | Covered | T4,T6,T7 |
25 (addr_hit[24] & ((|(4'... | Covered | T4,T6,T7 |
24 (addr_hit[23] & ((|(4'... | Covered | T4,T6,T7 |
23 (addr_hit[22] & ((|(4'... | Covered | T4,T6,T7 |
22 (addr_hit[21] & ((|(4'... | Covered | T4,T6,T7 |
21 (addr_hit[20] & ((|(4'... | Covered | T4,T6,T7 |
20 (addr_hit[19] & ((|(4'... | Covered | T4,T6,T7 |
19 (addr_hit[18] & ((|(4'... | Covered | T4,T6,T7 |
18 (addr_hit[17] & ((|(4'... | Covered | T4,T6,T7 |
17 (addr_hit[16] & ((|(4'... | Covered | T4,T6,T7 |
16 (addr_hit[15] & ((|(4'... | Covered | T4,T6,T7 |
15 (addr_hit[14] & ((|(4'... | Covered | T4,T6,T7 |
14 (addr_hit[13] & ((|(4'... | Covered | T4,T6,T7 |
13 (addr_hit[12] & ((|(4'... | Covered | T4,T6,T7 |
12 (addr_hit[11] & ((|(4'... | Covered | T4,T6,T7 |
11 (addr_hit[10] & ((|(4'... | Covered | T4,T6,T7 |
10 (addr_hit[9] & ((|(4'b... | Covered | T4,T6,T7 |
9 (addr_hit[8] & ((|(4'b... | Covered | T4,T6,T7 |
8 (addr_hit[7] & ((|(4'b... | Covered | T4,T6,T7 |
7 (addr_hit[6] & ((|(4'b... | Covered | T4,T6,T7 |
6 (addr_hit[5] & ((|(4'b... | Covered | T4,T6,T7 |
5 (addr_hit[4] & ((|(4'b... | Covered | T4,T6,T7 |
4 (addr_hit[3] & ((|(4'b... | Covered | T4,T6,T7 |
3 (addr_hit[2] & ((|(4'b... | Covered | T4,T6,T7 |
2 (addr_hit[1] & ((|(4'b... | Covered | T4,T6,T7 |
1 (addr_hit[0] & ((|(4'b... | Covered | T1,T4,T6 |
LINE 3806
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T3,T4,T5 |
1 | 1 | Covered | T1,T4,T6 |
LINE 3806
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T4 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T1,T3,T4 |
LINE 3806
SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T4,T6,T7 |
1 | 1 | Covered | T4,T6,T7 |
LINE 3806
SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T4 |
1 | 1 | Covered | T3,T4,T6 |
LINE 3841
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T32,T34,T78 |
1 | 1 | 1 | Covered | T4,T6,T9 |
LINE 3844
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T6,T7 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T4,T6,T9 |
LINE 3847
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T6,T7 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T9,T10,T14 |
LINE 3850
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T6,T7 |
1 | 1 | 0 | Covered | T32,T33,T105 |
1 | 1 | 1 | Covered | T37,T38,T39 |
LINE 3853
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3856
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3860
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3862
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3864
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T33,T34,T107 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3866
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T33,T79,T107 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3871
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T77 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3876
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T105 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3881
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T77 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3886
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3891
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T34,T107,T108 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3896
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T36,T33,T34 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3901
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3906
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3911
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3916
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T79 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3921
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T32,T34,T107 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3926
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3931
EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T34,T79,T107 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3936
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T34,T105 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3941
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T34,T79,T109 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3946
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T6,T7 |
1 | 1 | 0 | Covered | T33,T79,T107 |
1 | 1 | 1 | Covered | T4,T7,T9 |
LINE 3948
EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T32,T33,T34 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 3950
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T6,T7 |
1 | 1 | 0 | Covered | T35,T33,T34 |
1 | 1 | 1 | Covered | T4,T6,T9 |
LINE 3953
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T4 |
1 | 1 | 0 | Covered | T33,T79,T107 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 4111
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
Branch Coverage for Module :
adc_ctrl_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
63 |
63 |
100.00 |
TERNARY |
3802 |
2 |
2 |
100.00 |
IF |
70 |
3 |
3 |
100.00 |
CASE |
3998 |
32 |
32 |
100.00 |
CASE |
4114 |
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-: 3802 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 70 if ((!rst_ni))
-2-: 72 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T40,T41,T42 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 3998 case (1'b1)
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 |
default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 4114 case (1'b1)
Branches:
-1- | Status | Tests |
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 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
adc_ctrl_reg_top
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
2147483647 |
2399196 |
0 |
0 |
reAfterRv |
2147483647 |
2399196 |
0 |
0 |
rePulse |
2147483647 |
2106767 |
0 |
0 |
wePulse |
2147483647 |
292429 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2399196 |
0 |
0 |
T1 |
793098 |
1882 |
0 |
0 |
T2 |
261608 |
1035 |
0 |
0 |
T3 |
419125 |
924 |
0 |
0 |
T4 |
289078 |
1939 |
0 |
0 |
T5 |
143039 |
942 |
0 |
0 |
T6 |
159691 |
8345 |
0 |
0 |
T7 |
208069 |
915 |
0 |
0 |
T8 |
249233 |
767 |
0 |
0 |
T9 |
417014 |
11143 |
0 |
0 |
T10 |
314959 |
4362 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2399196 |
0 |
0 |
T1 |
793098 |
1882 |
0 |
0 |
T2 |
261608 |
1035 |
0 |
0 |
T3 |
419125 |
924 |
0 |
0 |
T4 |
289078 |
1939 |
0 |
0 |
T5 |
143039 |
942 |
0 |
0 |
T6 |
159691 |
8345 |
0 |
0 |
T7 |
208069 |
915 |
0 |
0 |
T8 |
249233 |
767 |
0 |
0 |
T9 |
417014 |
11143 |
0 |
0 |
T10 |
314959 |
4362 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2106767 |
0 |
0 |
T1 |
793098 |
1691 |
0 |
0 |
T2 |
261608 |
0 |
0 |
0 |
T3 |
419125 |
824 |
0 |
0 |
T4 |
289078 |
1763 |
0 |
0 |
T5 |
143039 |
840 |
0 |
0 |
T6 |
159691 |
7836 |
0 |
0 |
T7 |
208069 |
817 |
0 |
0 |
T8 |
249233 |
0 |
0 |
0 |
T9 |
417014 |
9491 |
0 |
0 |
T10 |
314959 |
3978 |
0 |
0 |
T11 |
0 |
2531 |
0 |
0 |
T70 |
0 |
82 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
292429 |
0 |
0 |
T1 |
793098 |
191 |
0 |
0 |
T2 |
261608 |
1035 |
0 |
0 |
T3 |
419125 |
100 |
0 |
0 |
T4 |
289078 |
176 |
0 |
0 |
T5 |
143039 |
102 |
0 |
0 |
T6 |
159691 |
509 |
0 |
0 |
T7 |
208069 |
98 |
0 |
0 |
T8 |
249233 |
767 |
0 |
0 |
T9 |
417014 |
1652 |
0 |
0 |
T10 |
314959 |
384 |
0 |
0 |