Line Coverage for Module :
usbdev_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 705 | 703 | 99.72 |
| ALWAYS | 75 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 102 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 103 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 105 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
| ALWAYS | 132 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 169 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 170 | 1 | 1 | 100.00 |
| ALWAYS | 722 | 1 | 0 | 0.00 |
| CONT_ASSIGN | 749 | 1 | 1 | 100.00 |
| ALWAYS | 763 | 8 | 8 | 100.00 |
| CONT_ASSIGN | 1778 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1793 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1809 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1825 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1841 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1857 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1889 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1905 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1921 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1937 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1953 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1969 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1985 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2001 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2017 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2033 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2049 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2065 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2071 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2085 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2153 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3026 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3066 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7082 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7097 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7113 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7134 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7150 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7702 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7717 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7733 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7738 | 1 | 0 | 0.00 |
| ALWAYS | 7824 | 39 | 39 | 100.00 |
| CONT_ASSIGN | 7865 | 1 | 1 | 100.00 |
| ALWAYS | 7869 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7911 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7913 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7915 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7917 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7919 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7921 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7923 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7925 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7927 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7929 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7931 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7933 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7935 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7937 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7939 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7941 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7943 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7945 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7947 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7948 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7950 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7952 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7954 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7956 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7958 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7960 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7962 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7964 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7966 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7968 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7970 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7972 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7974 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7976 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7978 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7980 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7982 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7984 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7985 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7987 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7989 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7991 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7993 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7995 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7997 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 7999 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8001 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8003 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8005 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8007 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8009 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8011 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8013 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8015 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8017 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8019 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8021 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8022 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8024 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8025 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8027 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8029 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8031 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8032 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8034 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8036 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8038 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8040 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8042 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8044 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8046 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8048 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8050 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8052 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8054 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8056 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8057 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8059 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8061 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8063 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8065 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8067 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8069 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8071 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8073 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8075 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8077 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8079 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8081 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8082 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8083 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8085 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8086 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8088 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8089 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8090 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8092 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8094 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8096 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8098 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8100 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8102 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8104 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8106 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8108 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8110 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8112 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8114 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8115 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8117 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8121 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8123 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8125 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8127 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8129 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8133 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8135 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8137 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8139 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8140 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8148 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8150 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8152 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8154 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8162 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8165 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8169 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8173 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8175 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8177 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8179 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8181 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8183 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8185 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8189 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8190 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8192 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8194 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8196 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8198 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8200 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8202 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8204 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8206 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8208 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8210 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8212 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8214 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8215 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8217 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8219 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8221 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8223 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8225 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8227 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8229 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8231 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8233 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8235 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8237 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8239 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8240 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8242 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8244 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8246 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8248 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8249 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8251 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8253 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8255 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8257 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8258 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8260 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8262 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8264 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8266 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8267 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8269 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8271 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8273 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8275 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8276 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8278 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8280 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8282 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8287 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8289 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8291 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8293 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8294 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8296 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8298 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8300 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8302 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8303 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8305 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8307 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8309 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8311 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8312 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8314 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8316 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8318 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8320 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8321 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8325 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8327 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8329 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8330 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8332 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8334 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8336 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8338 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8339 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8341 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8343 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8345 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8347 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8348 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8350 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8352 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8354 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8356 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8358 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8360 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8362 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8364 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8366 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8368 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8370 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8372 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8373 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8375 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8379 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8381 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8383 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8385 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8387 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8389 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8393 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8395 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8397 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8398 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8399 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8401 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8403 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8405 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8407 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8409 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8410 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8411 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8413 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8415 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8417 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8419 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8421 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8423 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8425 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8427 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8429 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8430 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8432 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8434 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8436 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8438 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8440 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8442 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8443 | 1 | 1 | 100.00 |
| ALWAYS | 8449 | 39 | 39 | 100.00 |
| ALWAYS | 8492 | 274 | 274 | 100.00 |
| CONT_ASSIGN | 8890 | 1 | 1 | 100.00 |
| ALWAYS | 8892 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 8913 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 8914 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
1 |
1 |
| 76 |
1 |
1 |
| 77 |
1 |
1 |
| 78 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 84 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 105 |
1 |
1 |
| 106 |
1 |
1 |
| 132 |
1 |
1 |
| 138 |
1 |
1 |
| 139 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 169 |
1 |
1 |
| 170 |
1 |
1 |
| 722 |
0 |
1 |
| 749 |
1 |
1 |
| 763 |
1 |
1 |
| 764 |
1 |
1 |
| 765 |
1 |
1 |
| 766 |
1 |
1 |
| 767 |
1 |
1 |
| 768 |
1 |
1 |
| 769 |
1 |
1 |
| 770 |
1 |
1 |
| 1778 |
1 |
1 |
| 1793 |
1 |
1 |
| 1809 |
1 |
1 |
| 1825 |
1 |
1 |
| 1841 |
1 |
1 |
| 1857 |
1 |
1 |
| 1873 |
1 |
1 |
| 1889 |
1 |
1 |
| 1905 |
1 |
1 |
| 1921 |
1 |
1 |
| 1937 |
1 |
1 |
| 1953 |
1 |
1 |
| 1969 |
1 |
1 |
| 1985 |
1 |
1 |
| 2001 |
1 |
1 |
| 2017 |
1 |
1 |
| 2033 |
1 |
1 |
| 2049 |
1 |
1 |
| 2065 |
1 |
1 |
| 2071 |
1 |
1 |
| 2085 |
1 |
1 |
| 2153 |
1 |
1 |
| 3026 |
1 |
1 |
| 3066 |
1 |
1 |
| 7082 |
1 |
1 |
| 7097 |
1 |
1 |
| 7113 |
1 |
1 |
| 7119 |
1 |
1 |
| 7134 |
1 |
1 |
| 7150 |
1 |
1 |
| 7702 |
1 |
1 |
| 7717 |
1 |
1 |
| 7733 |
1 |
1 |
| 7738 |
0 |
1 |
| 7824 |
1 |
1 |
| 7825 |
1 |
1 |
| 7826 |
1 |
1 |
| 7827 |
1 |
1 |
| 7828 |
1 |
1 |
| 7829 |
1 |
1 |
| 7830 |
1 |
1 |
| 7831 |
1 |
1 |
| 7832 |
1 |
1 |
| 7833 |
1 |
1 |
| 7834 |
1 |
1 |
| 7835 |
1 |
1 |
| 7836 |
1 |
1 |
| 7837 |
1 |
1 |
| 7838 |
1 |
1 |
| 7839 |
1 |
1 |
| 7840 |
1 |
1 |
| 7841 |
1 |
1 |
| 7842 |
1 |
1 |
| 7843 |
1 |
1 |
| 7844 |
1 |
1 |
| 7845 |
1 |
1 |
| 7846 |
1 |
1 |
| 7847 |
1 |
1 |
| 7848 |
1 |
1 |
| 7849 |
1 |
1 |
| 7850 |
1 |
1 |
| 7851 |
1 |
1 |
| 7852 |
1 |
1 |
| 7853 |
1 |
1 |
| 7854 |
1 |
1 |
| 7855 |
1 |
1 |
| 7856 |
1 |
1 |
| 7857 |
1 |
1 |
| 7858 |
1 |
1 |
| 7859 |
1 |
1 |
| 7860 |
1 |
1 |
| 7861 |
1 |
1 |
| 7862 |
1 |
1 |
| 7865 |
1 |
1 |
| 7869 |
1 |
1 |
| 7911 |
1 |
1 |
| 7913 |
1 |
1 |
| 7915 |
1 |
1 |
| 7917 |
1 |
1 |
| 7919 |
1 |
1 |
| 7921 |
1 |
1 |
| 7923 |
1 |
1 |
| 7925 |
1 |
1 |
| 7927 |
1 |
1 |
| 7929 |
1 |
1 |
| 7931 |
1 |
1 |
| 7933 |
1 |
1 |
| 7935 |
1 |
1 |
| 7937 |
1 |
1 |
| 7939 |
1 |
1 |
| 7941 |
1 |
1 |
| 7943 |
1 |
1 |
| 7945 |
1 |
1 |
| 7947 |
1 |
1 |
| 7948 |
1 |
1 |
| 7950 |
1 |
1 |
| 7952 |
1 |
1 |
| 7954 |
1 |
1 |
| 7956 |
1 |
1 |
| 7958 |
1 |
1 |
| 7960 |
1 |
1 |
| 7962 |
1 |
1 |
| 7964 |
1 |
1 |
| 7966 |
1 |
1 |
| 7968 |
1 |
1 |
| 7970 |
1 |
1 |
| 7972 |
1 |
1 |
| 7974 |
1 |
1 |
| 7976 |
1 |
1 |
| 7978 |
1 |
1 |
| 7980 |
1 |
1 |
| 7982 |
1 |
1 |
| 7984 |
1 |
1 |
| 7985 |
1 |
1 |
| 7987 |
1 |
1 |
| 7989 |
1 |
1 |
| 7991 |
1 |
1 |
| 7993 |
1 |
1 |
| 7995 |
1 |
1 |
| 7997 |
1 |
1 |
| 7999 |
1 |
1 |
| 8001 |
1 |
1 |
| 8003 |
1 |
1 |
| 8005 |
1 |
1 |
| 8007 |
1 |
1 |
| 8009 |
1 |
1 |
| 8011 |
1 |
1 |
| 8013 |
1 |
1 |
| 8015 |
1 |
1 |
| 8017 |
1 |
1 |
| 8019 |
1 |
1 |
| 8021 |
1 |
1 |
| 8022 |
1 |
1 |
| 8024 |
1 |
1 |
| 8025 |
1 |
1 |
| 8027 |
1 |
1 |
| 8029 |
1 |
1 |
| 8031 |
1 |
1 |
| 8032 |
1 |
1 |
| 8034 |
1 |
1 |
| 8036 |
1 |
1 |
| 8038 |
1 |
1 |
| 8040 |
1 |
1 |
| 8042 |
1 |
1 |
| 8044 |
1 |
1 |
| 8046 |
1 |
1 |
| 8048 |
1 |
1 |
| 8050 |
1 |
1 |
| 8052 |
1 |
1 |
| 8054 |
1 |
1 |
| 8056 |
1 |
1 |
| 8057 |
1 |
1 |
| 8059 |
1 |
1 |
| 8061 |
1 |
1 |
| 8063 |
1 |
1 |
| 8065 |
1 |
1 |
| 8067 |
1 |
1 |
| 8069 |
1 |
1 |
| 8071 |
1 |
1 |
| 8073 |
1 |
1 |
| 8075 |
1 |
1 |
| 8077 |
1 |
1 |
| 8079 |
1 |
1 |
| 8081 |
1 |
1 |
| 8082 |
1 |
1 |
| 8083 |
1 |
1 |
| 8085 |
1 |
1 |
| 8086 |
1 |
1 |
| 8088 |
1 |
1 |
| 8089 |
1 |
1 |
| 8090 |
1 |
1 |
| 8092 |
1 |
1 |
| 8094 |
1 |
1 |
| 8096 |
1 |
1 |
| 8098 |
1 |
1 |
| 8100 |
1 |
1 |
| 8102 |
1 |
1 |
| 8104 |
1 |
1 |
| 8106 |
1 |
1 |
| 8108 |
1 |
1 |
| 8110 |
1 |
1 |
| 8112 |
1 |
1 |
| 8114 |
1 |
1 |
| 8115 |
1 |
1 |
| 8117 |
1 |
1 |
| 8119 |
1 |
1 |
| 8121 |
1 |
1 |
| 8123 |
1 |
1 |
| 8125 |
1 |
1 |
| 8127 |
1 |
1 |
| 8129 |
1 |
1 |
| 8131 |
1 |
1 |
| 8133 |
1 |
1 |
| 8135 |
1 |
1 |
| 8137 |
1 |
1 |
| 8139 |
1 |
1 |
| 8140 |
1 |
1 |
| 8142 |
1 |
1 |
| 8144 |
1 |
1 |
| 8146 |
1 |
1 |
| 8148 |
1 |
1 |
| 8150 |
1 |
1 |
| 8152 |
1 |
1 |
| 8154 |
1 |
1 |
| 8156 |
1 |
1 |
| 8158 |
1 |
1 |
| 8160 |
1 |
1 |
| 8162 |
1 |
1 |
| 8164 |
1 |
1 |
| 8165 |
1 |
1 |
| 8167 |
1 |
1 |
| 8169 |
1 |
1 |
| 8171 |
1 |
1 |
| 8173 |
1 |
1 |
| 8175 |
1 |
1 |
| 8177 |
1 |
1 |
| 8179 |
1 |
1 |
| 8181 |
1 |
1 |
| 8183 |
1 |
1 |
| 8185 |
1 |
1 |
| 8187 |
1 |
1 |
| 8189 |
1 |
1 |
| 8190 |
1 |
1 |
| 8192 |
1 |
1 |
| 8194 |
1 |
1 |
| 8196 |
1 |
1 |
| 8198 |
1 |
1 |
| 8200 |
1 |
1 |
| 8202 |
1 |
1 |
| 8204 |
1 |
1 |
| 8206 |
1 |
1 |
| 8208 |
1 |
1 |
| 8210 |
1 |
1 |
| 8212 |
1 |
1 |
| 8214 |
1 |
1 |
| 8215 |
1 |
1 |
| 8217 |
1 |
1 |
| 8219 |
1 |
1 |
| 8221 |
1 |
1 |
| 8223 |
1 |
1 |
| 8225 |
1 |
1 |
| 8227 |
1 |
1 |
| 8229 |
1 |
1 |
| 8231 |
1 |
1 |
| 8233 |
1 |
1 |
| 8235 |
1 |
1 |
| 8237 |
1 |
1 |
| 8239 |
1 |
1 |
| 8240 |
1 |
1 |
| 8242 |
1 |
1 |
| 8244 |
1 |
1 |
| 8246 |
1 |
1 |
| 8248 |
1 |
1 |
| 8249 |
1 |
1 |
| 8251 |
1 |
1 |
| 8253 |
1 |
1 |
| 8255 |
1 |
1 |
| 8257 |
1 |
1 |
| 8258 |
1 |
1 |
| 8260 |
1 |
1 |
| 8262 |
1 |
1 |
| 8264 |
1 |
1 |
| 8266 |
1 |
1 |
| 8267 |
1 |
1 |
| 8269 |
1 |
1 |
| 8271 |
1 |
1 |
| 8273 |
1 |
1 |
| 8275 |
1 |
1 |
| 8276 |
1 |
1 |
| 8278 |
1 |
1 |
| 8280 |
1 |
1 |
| 8282 |
1 |
1 |
| 8284 |
1 |
1 |
| 8285 |
1 |
1 |
| 8287 |
1 |
1 |
| 8289 |
1 |
1 |
| 8291 |
1 |
1 |
| 8293 |
1 |
1 |
| 8294 |
1 |
1 |
| 8296 |
1 |
1 |
| 8298 |
1 |
1 |
| 8300 |
1 |
1 |
| 8302 |
1 |
1 |
| 8303 |
1 |
1 |
| 8305 |
1 |
1 |
| 8307 |
1 |
1 |
| 8309 |
1 |
1 |
| 8311 |
1 |
1 |
| 8312 |
1 |
1 |
| 8314 |
1 |
1 |
| 8316 |
1 |
1 |
| 8318 |
1 |
1 |
| 8320 |
1 |
1 |
| 8321 |
1 |
1 |
| 8323 |
1 |
1 |
| 8325 |
1 |
1 |
| 8327 |
1 |
1 |
| 8329 |
1 |
1 |
| 8330 |
1 |
1 |
| 8332 |
1 |
1 |
| 8334 |
1 |
1 |
| 8336 |
1 |
1 |
| 8338 |
1 |
1 |
| 8339 |
1 |
1 |
| 8341 |
1 |
1 |
| 8343 |
1 |
1 |
| 8345 |
1 |
1 |
| 8347 |
1 |
1 |
| 8348 |
1 |
1 |
| 8350 |
1 |
1 |
| 8352 |
1 |
1 |
| 8354 |
1 |
1 |
| 8356 |
1 |
1 |
| 8358 |
1 |
1 |
| 8360 |
1 |
1 |
| 8362 |
1 |
1 |
| 8364 |
1 |
1 |
| 8366 |
1 |
1 |
| 8368 |
1 |
1 |
| 8370 |
1 |
1 |
| 8372 |
1 |
1 |
| 8373 |
1 |
1 |
| 8375 |
1 |
1 |
| 8377 |
1 |
1 |
| 8379 |
1 |
1 |
| 8381 |
1 |
1 |
| 8383 |
1 |
1 |
| 8385 |
1 |
1 |
| 8387 |
1 |
1 |
| 8389 |
1 |
1 |
| 8391 |
1 |
1 |
| 8393 |
1 |
1 |
| 8395 |
1 |
1 |
| 8397 |
1 |
1 |
| 8398 |
1 |
1 |
| 8399 |
1 |
1 |
| 8401 |
1 |
1 |
| 8403 |
1 |
1 |
| 8404 |
1 |
1 |
| 8405 |
1 |
1 |
| 8407 |
1 |
1 |
| 8409 |
1 |
1 |
| 8410 |
1 |
1 |
| 8411 |
1 |
1 |
| 8413 |
1 |
1 |
| 8415 |
1 |
1 |
| 8417 |
1 |
1 |
| 8419 |
1 |
1 |
| 8421 |
1 |
1 |
| 8423 |
1 |
1 |
| 8425 |
1 |
1 |
| 8427 |
1 |
1 |
| 8429 |
1 |
1 |
| 8430 |
1 |
1 |
| 8432 |
1 |
1 |
| 8434 |
1 |
1 |
| 8436 |
1 |
1 |
| 8438 |
1 |
1 |
| 8440 |
1 |
1 |
| 8442 |
1 |
1 |
| 8443 |
1 |
1 |
| 8449 |
1 |
1 |
| 8450 |
1 |
1 |
| 8451 |
1 |
1 |
| 8452 |
1 |
1 |
| 8453 |
1 |
1 |
| 8454 |
1 |
1 |
| 8455 |
1 |
1 |
| 8456 |
1 |
1 |
| 8457 |
1 |
1 |
| 8458 |
1 |
1 |
| 8459 |
1 |
1 |
| 8460 |
1 |
1 |
| 8461 |
1 |
1 |
| 8462 |
1 |
1 |
| 8463 |
1 |
1 |
| 8464 |
1 |
1 |
| 8465 |
1 |
1 |
| 8466 |
1 |
1 |
| 8467 |
1 |
1 |
| 8468 |
1 |
1 |
| 8469 |
1 |
1 |
| 8470 |
1 |
1 |
| 8471 |
1 |
1 |
| 8472 |
1 |
1 |
| 8473 |
1 |
1 |
| 8474 |
1 |
1 |
| 8475 |
1 |
1 |
| 8476 |
1 |
1 |
| 8477 |
1 |
1 |
| 8478 |
1 |
1 |
| 8479 |
1 |
1 |
| 8480 |
1 |
1 |
| 8481 |
1 |
1 |
| 8482 |
1 |
1 |
| 8483 |
1 |
1 |
| 8484 |
1 |
1 |
| 8485 |
1 |
1 |
| 8486 |
1 |
1 |
| 8487 |
1 |
1 |
| 8492 |
1 |
1 |
| 8493 |
1 |
1 |
| 8495 |
1 |
1 |
| 8496 |
1 |
1 |
| 8497 |
1 |
1 |
| 8498 |
1 |
1 |
| 8499 |
1 |
1 |
| 8500 |
1 |
1 |
| 8501 |
1 |
1 |
| 8502 |
1 |
1 |
| 8503 |
1 |
1 |
| 8504 |
1 |
1 |
| 8505 |
1 |
1 |
| 8506 |
1 |
1 |
| 8507 |
1 |
1 |
| 8508 |
1 |
1 |
| 8509 |
1 |
1 |
| 8510 |
1 |
1 |
| 8511 |
1 |
1 |
| 8512 |
1 |
1 |
| 8516 |
1 |
1 |
| 8517 |
1 |
1 |
| 8518 |
1 |
1 |
| 8519 |
1 |
1 |
| 8520 |
1 |
1 |
| 8521 |
1 |
1 |
| 8522 |
1 |
1 |
| 8523 |
1 |
1 |
| 8524 |
1 |
1 |
| 8525 |
1 |
1 |
| 8526 |
1 |
1 |
| 8527 |
1 |
1 |
| 8528 |
1 |
1 |
| 8529 |
1 |
1 |
| 8530 |
1 |
1 |
| 8531 |
1 |
1 |
| 8532 |
1 |
1 |
| 8533 |
1 |
1 |
| 8537 |
1 |
1 |
| 8538 |
1 |
1 |
| 8539 |
1 |
1 |
| 8540 |
1 |
1 |
| 8541 |
1 |
1 |
| 8542 |
1 |
1 |
| 8543 |
1 |
1 |
| 8544 |
1 |
1 |
| 8545 |
1 |
1 |
| 8546 |
1 |
1 |
| 8547 |
1 |
1 |
| 8548 |
1 |
1 |
| 8549 |
1 |
1 |
| 8550 |
1 |
1 |
| 8551 |
1 |
1 |
| 8552 |
1 |
1 |
| 8553 |
1 |
1 |
| 8554 |
1 |
1 |
| 8558 |
1 |
1 |
| 8562 |
1 |
1 |
| 8563 |
1 |
1 |
| 8564 |
1 |
1 |
| 8568 |
1 |
1 |
| 8569 |
1 |
1 |
| 8570 |
1 |
1 |
| 8571 |
1 |
1 |
| 8572 |
1 |
1 |
| 8573 |
1 |
1 |
| 8574 |
1 |
1 |
| 8575 |
1 |
1 |
| 8576 |
1 |
1 |
| 8577 |
1 |
1 |
| 8578 |
1 |
1 |
| 8579 |
1 |
1 |
| 8583 |
1 |
1 |
| 8584 |
1 |
1 |
| 8585 |
1 |
1 |
| 8586 |
1 |
1 |
| 8587 |
1 |
1 |
| 8588 |
1 |
1 |
| 8589 |
1 |
1 |
| 8590 |
1 |
1 |
| 8591 |
1 |
1 |
| 8592 |
1 |
1 |
| 8593 |
1 |
1 |
| 8594 |
1 |
1 |
| 8598 |
1 |
1 |
| 8599 |
1 |
1 |
| 8600 |
1 |
1 |
| 8601 |
1 |
1 |
| 8602 |
1 |
1 |
| 8603 |
1 |
1 |
| 8604 |
1 |
1 |
| 8605 |
1 |
1 |
| 8606 |
1 |
1 |
| 8607 |
1 |
1 |
| 8611 |
1 |
1 |
| 8615 |
1 |
1 |
| 8619 |
1 |
1 |
| 8620 |
1 |
1 |
| 8621 |
1 |
1 |
| 8622 |
1 |
1 |
| 8626 |
1 |
1 |
| 8627 |
1 |
1 |
| 8628 |
1 |
1 |
| 8629 |
1 |
1 |
| 8630 |
1 |
1 |
| 8631 |
1 |
1 |
| 8632 |
1 |
1 |
| 8633 |
1 |
1 |
| 8634 |
1 |
1 |
| 8635 |
1 |
1 |
| 8636 |
1 |
1 |
| 8637 |
1 |
1 |
| 8641 |
1 |
1 |
| 8642 |
1 |
1 |
| 8643 |
1 |
1 |
| 8644 |
1 |
1 |
| 8645 |
1 |
1 |
| 8646 |
1 |
1 |
| 8647 |
1 |
1 |
| 8648 |
1 |
1 |
| 8649 |
1 |
1 |
| 8650 |
1 |
1 |
| 8651 |
1 |
1 |
| 8652 |
1 |
1 |
| 8656 |
1 |
1 |
| 8657 |
1 |
1 |
| 8658 |
1 |
1 |
| 8659 |
1 |
1 |
| 8660 |
1 |
1 |
| 8661 |
1 |
1 |
| 8662 |
1 |
1 |
| 8663 |
1 |
1 |
| 8664 |
1 |
1 |
| 8665 |
1 |
1 |
| 8666 |
1 |
1 |
| 8667 |
1 |
1 |
| 8671 |
1 |
1 |
| 8672 |
1 |
1 |
| 8673 |
1 |
1 |
| 8674 |
1 |
1 |
| 8675 |
1 |
1 |
| 8676 |
1 |
1 |
| 8677 |
1 |
1 |
| 8678 |
1 |
1 |
| 8679 |
1 |
1 |
| 8680 |
1 |
1 |
| 8681 |
1 |
1 |
| 8682 |
1 |
1 |
| 8686 |
1 |
1 |
| 8687 |
1 |
1 |
| 8688 |
1 |
1 |
| 8689 |
1 |
1 |
| 8690 |
1 |
1 |
| 8691 |
1 |
1 |
| 8692 |
1 |
1 |
| 8693 |
1 |
1 |
| 8694 |
1 |
1 |
| 8695 |
1 |
1 |
| 8696 |
1 |
1 |
| 8697 |
1 |
1 |
| 8701 |
1 |
1 |
| 8702 |
1 |
1 |
| 8703 |
1 |
1 |
| 8704 |
1 |
1 |
| 8705 |
1 |
1 |
| 8706 |
1 |
1 |
| 8707 |
1 |
1 |
| 8708 |
1 |
1 |
| 8709 |
1 |
1 |
| 8710 |
1 |
1 |
| 8711 |
1 |
1 |
| 8712 |
1 |
1 |
| 8716 |
1 |
1 |
| 8717 |
1 |
1 |
| 8718 |
1 |
1 |
| 8719 |
1 |
1 |
| 8723 |
1 |
1 |
| 8724 |
1 |
1 |
| 8725 |
1 |
1 |
| 8726 |
1 |
1 |
| 8730 |
1 |
1 |
| 8731 |
1 |
1 |
| 8732 |
1 |
1 |
| 8733 |
1 |
1 |
| 8737 |
1 |
1 |
| 8738 |
1 |
1 |
| 8739 |
1 |
1 |
| 8740 |
1 |
1 |
| 8744 |
1 |
1 |
| 8745 |
1 |
1 |
| 8746 |
1 |
1 |
| 8747 |
1 |
1 |
| 8751 |
1 |
1 |
| 8752 |
1 |
1 |
| 8753 |
1 |
1 |
| 8754 |
1 |
1 |
| 8758 |
1 |
1 |
| 8759 |
1 |
1 |
| 8760 |
1 |
1 |
| 8761 |
1 |
1 |
| 8765 |
1 |
1 |
| 8766 |
1 |
1 |
| 8767 |
1 |
1 |
| 8768 |
1 |
1 |
| 8772 |
1 |
1 |
| 8773 |
1 |
1 |
| 8774 |
1 |
1 |
| 8775 |
1 |
1 |
| 8779 |
1 |
1 |
| 8780 |
1 |
1 |
| 8781 |
1 |
1 |
| 8782 |
1 |
1 |
| 8786 |
1 |
1 |
| 8787 |
1 |
1 |
| 8788 |
1 |
1 |
| 8789 |
1 |
1 |
| 8793 |
1 |
1 |
| 8794 |
1 |
1 |
| 8795 |
1 |
1 |
| 8796 |
1 |
1 |
| 8800 |
1 |
1 |
| 8801 |
1 |
1 |
| 8802 |
1 |
1 |
| 8803 |
1 |
1 |
| 8804 |
1 |
1 |
| 8805 |
1 |
1 |
| 8806 |
1 |
1 |
| 8807 |
1 |
1 |
| 8808 |
1 |
1 |
| 8809 |
1 |
1 |
| 8810 |
1 |
1 |
| 8811 |
1 |
1 |
| 8815 |
1 |
1 |
| 8816 |
1 |
1 |
| 8817 |
1 |
1 |
| 8818 |
1 |
1 |
| 8819 |
1 |
1 |
| 8820 |
1 |
1 |
| 8821 |
1 |
1 |
| 8822 |
1 |
1 |
| 8823 |
1 |
1 |
| 8824 |
1 |
1 |
| 8825 |
1 |
1 |
| 8826 |
1 |
1 |
| 8830 |
1 |
1 |
| 8831 |
1 |
1 |
| 8835 |
1 |
1 |
| 8836 |
1 |
1 |
| 8840 |
1 |
1 |
| 8841 |
1 |
1 |
| 8842 |
1 |
1 |
| 8843 |
1 |
1 |
| 8844 |
1 |
1 |
| 8845 |
1 |
1 |
| 8846 |
1 |
1 |
| 8847 |
1 |
1 |
| 8848 |
1 |
1 |
| 8852 |
1 |
1 |
| 8853 |
1 |
1 |
| 8854 |
1 |
1 |
| 8855 |
1 |
1 |
| 8856 |
1 |
1 |
| 8857 |
1 |
1 |
| 8858 |
1 |
1 |
| 8859 |
1 |
1 |
| 8860 |
1 |
1 |
| 8864 |
1 |
1 |
| 8865 |
1 |
1 |
| 8866 |
1 |
1 |
| 8867 |
1 |
1 |
| 8868 |
1 |
1 |
| 8869 |
1 |
1 |
| 8873 |
1 |
1 |
| 8876 |
1 |
1 |
| 8890 |
1 |
1 |
| 8892 |
1 |
1 |
| 8893 |
1 |
1 |
| 8895 |
1 |
1 |
| 8898 |
1 |
1 |
| 8913 |
1 |
1 |
| 8914 |
1 |
1 |
Cond Coverage for Module :
usbdev_reg_top
| Total | Covered | Percent |
| Conditions | 411 | 403 | 98.05 |
| Logical | 411 | 403 | 98.05 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 65
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 77
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T41,T42,T43 |
| 1 | 0 | Covered | T118,T121,T143 |
LINE 84
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 | T41,T42,T43 |
| 0 | 1 | 0 | Covered | T118,T121,T143 |
| 1 | 0 | 0 | Covered | T41,T42,T43 |
LINE 132
EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 1'b0 : 1'b1)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T5,T8,T10 |
LINE 170
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 | T118,T121,T143 |
| 0 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 0 | 0 | Covered | T38,T39,T40 |
LINE 7825
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_STATE_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 7826
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_ENABLE_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T4,T5 |
LINE 7827
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_TEST_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T46,T38,T50 |
LINE 7828
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_ALERT_TEST_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T144,T46,T38 |
LINE 7829
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBCTRL_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 7830
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_OUT_ENABLE_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 7831
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_IN_ENABLE_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T4,T5,T6 |
LINE 7832
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBSTAT_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T145,T146,T46 |
LINE 7833
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVOUTBUFFER_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 7834
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVSETUPBUFFER_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T7,T9,T16 |
LINE 7835
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXFIFO_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 7836
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_SETUP_OFFSET)
-----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T7,T9 |
LINE 7837
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_OUT_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 7838
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_SET_NAK_OUT_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T10 |
LINE 7839
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_SENT_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T4,T5,T6 |
LINE 7840
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_STALL_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T147,T70,T46 |
LINE 7841
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_STALL_OFFSET)
--------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T70,T46,T38 |
LINE 7842
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_0_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T5,T18,T92 |
LINE 7843
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_1_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T68,T94,T95 |
LINE 7844
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_2_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T4,T96,T61 |
LINE 7845
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_3_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T97,T98,T99 |
LINE 7846
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_4_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T25,T100,T101 |
LINE 7847
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_5_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T12,T24,T102 |
LINE 7848
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_6_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T14,T26,T104 |
LINE 7849
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_7_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T105,T106,T112 |
LINE 7850
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_8_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T62,T148,T108 |
LINE 7851
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_9_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T111,T112,T57 |
LINE 7852
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_10_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T112,T113,T21 |
LINE 7853
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_11_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T60,T61 |
LINE 7854
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_ISO_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T149,T150,T46 |
LINE 7855
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_ISO_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T46,T38,T128 |
LINE 7856
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_DATA_TOGGLE_OFFSET)
-----------------------------1-----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T29,T46,T38 |
LINE 7857
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_DATA_TOGGLE_OFFSET)
-----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T61,T46,T38 |
LINE 7858
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_SENSE_OFFSET)
-----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T46,T38,T50 |
LINE 7859
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_DRIVE_OFFSET)
-----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T46,T38,T50 |
LINE 7860
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_CONFIG_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T151,T46,T38 |
LINE 7861
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_CONTROL_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T152,T153,T46 |
LINE 7862
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_EVENTS_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T46,T38,T128 |
LINE 7865
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 7865
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,T2,T3 |
LINE 7869
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[16] & ((|(4'b0011 & (~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'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[35] & ((|(4'b1 & (~reg_be))))) | (addr_hit[36] & ((|(4'b1 & (~reg_be))))) | (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T38,T39,T40 |
LINE 7869
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0111 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b0011 & (~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'b1111 & (~reg_be))))) |
29 (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) |
30 (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) |
31 (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) |
32 (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) |
33 (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) |
34 (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) |
35 (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) |
36 (addr_hit[35] & ((|(4'b1 & (~reg_be))))) |
37 (addr_hit[36] & ((|(4'b1 & (~reg_be))))) |
38 (addr_hit[37] & ((|(4'b0011 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
| ALL ZEROS | Covered | T1,T2,T3 |
| 38 (addr_hit[37] & ((|(4'... | Covered | T46,T38,T128 |
| 37 (addr_hit[36] & ((|(4'... | Covered | T153,T38,T128 |
| 36 (addr_hit[35] & ((|(4'... | Covered | T38,T50,T39 |
| 35 (addr_hit[34] & ((|(4'... | Covered | T38,T50,T39 |
| 34 (addr_hit[33] & ((|(4'... | Covered | T46,T38,T47 |
| 33 (addr_hit[32] & ((|(4'... | Covered | T61,T38,T50 |
| 32 (addr_hit[31] & ((|(4'... | Covered | T29,T46,T38 |
| 31 (addr_hit[30] & ((|(4'... | Covered | T38,T128,T50 |
| 30 (addr_hit[29] & ((|(4'... | Covered | T149,T150,T46 |
| 29 (addr_hit[28] & ((|(4'... | Covered | T61,T46,T38 |
| 28 (addr_hit[27] & ((|(4'... | Covered | T112,T154,T151 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T38,T128,T50 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T62,T148,T85 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T112,T38,T128 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T38,T50,T47 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T12,T38,T128 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T155,T38,T128 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T145,T38,T128 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T156,T38,T50 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T46,T38,T50 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T18,T157,T38 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T70,T38,T50 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T70,T46,T38 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T4,T5,T14 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T38,T50,T39 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T1,T13,T76 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T46,T38,T50 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T1,T2,T4 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T57,T38,T128 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T158,T46,T38 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T145,T146,T38 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T159,T38,T50 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T57,T38,T128 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T160,T38,T128 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T144,T38,T50 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T46,T38,T50 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T146,T46,T38 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 7869
SUB-EXPRESSION (addr_hit[0] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 7869
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T4,T5 |
| 1 | 1 | Covered | T146,T46,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T46,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T144,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[4] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T160,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[5] & ((|(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 | T57,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T4,T5,T6 |
| 1 | 1 | Covered | T159,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T145,T146,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T158,T46,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T7,T9,T16 |
| 1 | 1 | Covered | T57,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[10] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T8 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 7869
SUB-EXPRESSION (addr_hit[11] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T7,T9 |
| 1 | 1 | Covered | T46,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T1,T13,T76 |
LINE 7869
SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T10 |
| 1 | 1 | Covered | T38,T50,T39 |
LINE 7869
SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T4,T5,T6 |
| 1 | 1 | Covered | T4,T5,T14 |
LINE 7869
SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T147,T46,T38 |
| 1 | 1 | Covered | T70,T46,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T70,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T5,T92,T93 |
| 1 | 1 | Covered | T18,T157,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T68,T94,T95 |
| 1 | 1 | Covered | T46,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T4,T96,T61 |
| 1 | 1 | Covered | T156,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T97,T98,T99 |
| 1 | 1 | Covered | T145,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T25,T100,T101 |
| 1 | 1 | Covered | T155,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T24,T102,T103 |
| 1 | 1 | Covered | T12,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T14,T26,T104 |
| 1 | 1 | Covered | T38,T50,T47 |
LINE 7869
SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T105,T106,T107 |
| 1 | 1 | Covered | T112,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T108,T109,T110 |
| 1 | 1 | Covered | T62,T148,T85 |
LINE 7869
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T111,T112,T57 |
| 1 | 1 | Covered | T38,T128,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T113,T21,T114 |
| 1 | 1 | Covered | T112,T154,T151 |
LINE 7869
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T60,T115 |
| 1 | 1 | Covered | T61,T46,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T149,T150,T46 |
LINE 7869
SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T38,T128,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T29,T46,T38 |
LINE 7869
SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T61,T38,T50 |
LINE 7869
SUB-EXPRESSION (addr_hit[33] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T46,T38,T47 |
LINE 7869
SUB-EXPRESSION (addr_hit[34] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T38,T50,T39 |
LINE 7869
SUB-EXPRESSION (addr_hit[35] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T151,T46,T38 |
| 1 | 1 | Covered | T38,T50,T39 |
LINE 7869
SUB-EXPRESSION (addr_hit[36] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T152,T46,T38 |
| 1 | 1 | Covered | T153,T38,T128 |
LINE 7869
SUB-EXPRESSION (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T46,T38,T50 |
| 1 | 1 | Covered | T46,T38,T128 |
LINE 7911
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,T2,T3 |
| 1 | 1 | 0 | Covered | T38,T40,T122 |
| 1 | 1 | 1 | Not Covered | |
LINE 7948
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 7985
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 | T46,T38,T50 |
| 1 | 1 | 0 | Covered | T39,T122,T123 |
| 1 | 1 | 1 | Covered | T53,T48,T49 |
LINE 8022
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 | T144,T70,T46 |
| 1 | 1 | 0 | Covered | T39,T120,T123 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8025
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 | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8032
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 | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8057
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 | T4,T5,T6 |
| 1 | 1 | 0 | Covered | T38,T40,T119 |
| 1 | 1 | 1 | Covered | T4,T5,T6 |
LINE 8082
EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T145,T146,T46 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Not Covered | |
LINE 8083
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,T4 |
| 1 | 1 | 0 | Covered | T39,T40,T120 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
LINE 8086
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 | T7,T9,T16 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T7,T9,T16 |
LINE 8089
EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
LINE 8090
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 | T3,T7,T9 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T3,T7,T9 |
LINE 8115
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,T2,T4 |
| 1 | 1 | 0 | Covered | T38,T39,T119 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
LINE 8140
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,T2,T10 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T1,T2,T10 |
LINE 8165
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 | T4,T5,T6 |
| 1 | 1 | 0 | Covered | T38,T39,T120 |
| 1 | 1 | 1 | Covered | T4,T5,T6 |
LINE 8190
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 | T147,T70,T46 |
| 1 | 1 | 0 | Covered | T38,T39,T119 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8215
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 | T70,T46,T38 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8240
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 | T5,T18,T92 |
| 1 | 1 | 0 | Covered | T38,T39,T120 |
| 1 | 1 | 1 | Covered | T5,T92,T93 |
LINE 8249
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 | T68,T94,T95 |
| 1 | 1 | 0 | Covered | T38,T119,T120 |
| 1 | 1 | 1 | Covered | T68,T94,T95 |
LINE 8258
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 | T4,T96,T61 |
| 1 | 1 | 0 | Covered | T39,T40,T119 |
| 1 | 1 | 1 | Covered | T4,T96,T61 |
LINE 8267
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 | T97,T98,T99 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T97,T98,T99 |
LINE 8276
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 | T25,T100,T101 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T25,T100,T101 |
LINE 8285
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 | T12,T24,T102 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T24,T102,T103 |
LINE 8294
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 | T14,T26,T104 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T14,T26,T104 |
LINE 8303
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 | T105,T106,T112 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T105,T106,T107 |
LINE 8312
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T62,T148,T108 |
| 1 | 1 | 0 | Covered | T38,T39,T119 |
| 1 | 1 | 1 | Covered | T108,T109,T110 |
LINE 8321
EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T111,T112,T57 |
| 1 | 1 | 0 | Covered | T40,T120,T122 |
| 1 | 1 | 1 | Covered | T111,T112,T57 |
LINE 8330
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 | T112,T113,T21 |
| 1 | 1 | 0 | Covered | T38,T120,T123 |
| 1 | 1 | 1 | Covered | T113,T21,T114 |
LINE 8339
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 | T6,T60,T61 |
| 1 | 1 | 0 | Covered | T40,T119,T122 |
| 1 | 1 | 1 | Covered | T6,T60,T115 |
LINE 8348
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 | T149,T150,T46 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8373
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 | T161,T46,T38 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8398
EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T29,T46,T38 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8399
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T29,T46,T38 |
| 1 | 1 | 0 | Covered | T38,T40,T119 |
| 1 | 1 | 1 | Covered | T53,T48,T49 |
LINE 8404
EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T61,T46,T38 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8405
EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T61,T46,T38 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T53,T48,T49 |
LINE 8410
EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T46,T38,T50 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Not Covered | |
LINE 8411
EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T46,T38,T50 |
| 1 | 1 | 0 | Covered | T38,T39,T119 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8430
EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T151,T46,T38 |
| 1 | 1 | 0 | Covered | T38,T39,T40 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8443
EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T152,T153,T46 |
| 1 | 1 | 0 | Covered | T39,T40,T122 |
| 1 | 1 | 1 | Covered | T46,T38,T50 |
LINE 8890
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Unreachable | |
| 1 | 0 | Covered | T46,T38,T50 |
Branch Coverage for Module :
usbdev_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
51 |
51 |
100.00 |
| TERNARY |
7865 |
2 |
2 |
100.00 |
| IF |
75 |
3 |
3 |
100.00 |
| TERNARY |
132 |
2 |
2 |
100.00 |
| IF |
138 |
2 |
2 |
100.00 |
| CASE |
8493 |
39 |
39 |
100.00 |
| CASE |
8893 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 7865 ((reg_re || reg_we)) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 77 if ((intg_err || reg_we_err))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T41,T42,T43 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 132 ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]})) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T5,T8,T10 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 138 if (intg_err)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T118,T121,T143 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 8493 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 |
| addr_hit[31] |
Covered |
T1,T2,T3 |
| addr_hit[32] |
Covered |
T1,T2,T3 |
| addr_hit[33] |
Covered |
T1,T2,T3 |
| addr_hit[34] |
Covered |
T1,T2,T3 |
| addr_hit[35] |
Covered |
T1,T2,T3 |
| addr_hit[36] |
Covered |
T1,T2,T3 |
| addr_hit[37] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 8893 case (1'b1)
Branches:
| -1- | Status | Tests |
| addr_hit[36] |
Covered |
T1,T2,T3 |
| addr_hit[37] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
usbdev_reg_top
Assertion Details
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
115191381 |
64576 |
0 |
0 |
| T1 |
402707 |
12 |
0 |
0 |
| T2 |
403470 |
12 |
0 |
0 |
| T3 |
401610 |
7 |
0 |
0 |
| T4 |
404958 |
18 |
0 |
0 |
| T5 |
402645 |
18 |
0 |
0 |
| T6 |
405548 |
15 |
0 |
0 |
| T7 |
401777 |
9 |
0 |
0 |
| T8 |
402181 |
7 |
0 |
0 |
| T9 |
401744 |
9 |
0 |
0 |
| T10 |
403731 |
12 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
115191381 |
64576 |
0 |
0 |
| T1 |
402707 |
12 |
0 |
0 |
| T2 |
403470 |
12 |
0 |
0 |
| T3 |
401610 |
7 |
0 |
0 |
| T4 |
404958 |
18 |
0 |
0 |
| T5 |
402645 |
18 |
0 |
0 |
| T6 |
405548 |
15 |
0 |
0 |
| T7 |
401777 |
9 |
0 |
0 |
| T8 |
402181 |
7 |
0 |
0 |
| T9 |
401744 |
9 |
0 |
0 |
| T10 |
403731 |
12 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
115191381 |
45421 |
0 |
0 |
| T1 |
402707 |
4 |
0 |
0 |
| T2 |
403470 |
4 |
0 |
0 |
| T3 |
401610 |
2 |
0 |
0 |
| T4 |
404958 |
6 |
0 |
0 |
| T5 |
402645 |
6 |
0 |
0 |
| T6 |
405548 |
4 |
0 |
0 |
| T7 |
401777 |
3 |
0 |
0 |
| T8 |
402181 |
2 |
0 |
0 |
| T9 |
401744 |
3 |
0 |
0 |
| T10 |
403731 |
4 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
115191381 |
19155 |
0 |
0 |
| T1 |
402707 |
8 |
0 |
0 |
| T2 |
403470 |
8 |
0 |
0 |
| T3 |
401610 |
5 |
0 |
0 |
| T4 |
404958 |
12 |
0 |
0 |
| T5 |
402645 |
12 |
0 |
0 |
| T6 |
405548 |
11 |
0 |
0 |
| T7 |
401777 |
6 |
0 |
0 |
| T8 |
402181 |
5 |
0 |
0 |
| T9 |
401744 |
6 |
0 |
0 |
| T10 |
403731 |
8 |
0 |
0 |