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 |