Line Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 295 | 295 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1134 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1150 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1166 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1182 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1198 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1214 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1230 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1246 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1262 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1278 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1294 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1310 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1326 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1342 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1358 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1364 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1378 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1670 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1698 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1726 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1754 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1782 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1810 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1851 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1907 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1935 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1963 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1991 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2686 | 1 | 1 | 100.00 |
| ALWAYS | 2720 | 23 | 23 | 100.00 |
| CONT_ASSIGN | 2745 | 1 | 1 | 100.00 |
| ALWAYS | 2749 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2775 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2777 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2779 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2781 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2783 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2785 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2787 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2789 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2791 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2793 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2795 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2797 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2799 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2801 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2802 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2804 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2806 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2808 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2810 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2812 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2814 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2816 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2818 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2820 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2822 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2824 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2826 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2828 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2830 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2832 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2833 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2835 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2837 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2839 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2841 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2843 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2845 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2847 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2849 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2851 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2853 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2855 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2857 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2859 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2861 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2863 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2864 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2866 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2867 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2869 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2871 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2874 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2875 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2878 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2880 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2884 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2886 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2888 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2889 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2891 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2893 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2895 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2897 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2899 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2901 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2902 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2903 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2905 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2907 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2909 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2910 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2911 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2913 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2915 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2916 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2918 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2920 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2921 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2923 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2925 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2926 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2928 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2930 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2931 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2933 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2935 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2936 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2938 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2940 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2941 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2943 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2945 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2947 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2949 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2950 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2951 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2953 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2954 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2956 | 1 | 1 | 100.00 |
| ALWAYS | 2960 | 23 | 23 | 100.00 |
| ALWAYS | 2987 | 103 | 103 | 100.00 |
| CONT_ASSIGN | 3167 | 0 | 0 | |
| CONT_ASSIGN | 3175 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3176 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 77 |
1 |
1 |
| 89 |
1 |
1 |
| 90 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 1119 |
1 |
1 |
| 1134 |
1 |
1 |
| 1150 |
1 |
1 |
| 1166 |
1 |
1 |
| 1182 |
1 |
1 |
| 1198 |
1 |
1 |
| 1214 |
1 |
1 |
| 1230 |
1 |
1 |
| 1246 |
1 |
1 |
| 1262 |
1 |
1 |
| 1278 |
1 |
1 |
| 1294 |
1 |
1 |
| 1310 |
1 |
1 |
| 1326 |
1 |
1 |
| 1342 |
1 |
1 |
| 1358 |
1 |
1 |
| 1364 |
1 |
1 |
| 1378 |
1 |
1 |
| 1670 |
1 |
1 |
| 1698 |
1 |
1 |
| 1726 |
1 |
1 |
| 1754 |
1 |
1 |
| 1782 |
1 |
1 |
| 1810 |
1 |
1 |
| 1851 |
1 |
1 |
| 1879 |
1 |
1 |
| 1907 |
1 |
1 |
| 1935 |
1 |
1 |
| 1963 |
1 |
1 |
| 1991 |
1 |
1 |
| 2686 |
1 |
1 |
| 2720 |
1 |
1 |
| 2721 |
1 |
1 |
| 2722 |
1 |
1 |
| 2723 |
1 |
1 |
| 2724 |
1 |
1 |
| 2725 |
1 |
1 |
| 2726 |
1 |
1 |
| 2727 |
1 |
1 |
| 2728 |
1 |
1 |
| 2729 |
1 |
1 |
| 2730 |
1 |
1 |
| 2731 |
1 |
1 |
| 2732 |
1 |
1 |
| 2733 |
1 |
1 |
| 2734 |
1 |
1 |
| 2735 |
1 |
1 |
| 2736 |
1 |
1 |
| 2737 |
1 |
1 |
| 2738 |
1 |
1 |
| 2739 |
1 |
1 |
| 2740 |
1 |
1 |
| 2741 |
1 |
1 |
| 2742 |
1 |
1 |
| 2745 |
1 |
1 |
| 2749 |
1 |
1 |
| 2775 |
1 |
1 |
| 2777 |
1 |
1 |
| 2779 |
1 |
1 |
| 2781 |
1 |
1 |
| 2783 |
1 |
1 |
| 2785 |
1 |
1 |
| 2787 |
1 |
1 |
| 2789 |
1 |
1 |
| 2791 |
1 |
1 |
| 2793 |
1 |
1 |
| 2795 |
1 |
1 |
| 2797 |
1 |
1 |
| 2799 |
1 |
1 |
| 2801 |
1 |
1 |
| 2802 |
1 |
1 |
| 2804 |
1 |
1 |
| 2806 |
1 |
1 |
| 2808 |
1 |
1 |
| 2810 |
1 |
1 |
| 2812 |
1 |
1 |
| 2814 |
1 |
1 |
| 2816 |
1 |
1 |
| 2818 |
1 |
1 |
| 2820 |
1 |
1 |
| 2822 |
1 |
1 |
| 2824 |
1 |
1 |
| 2826 |
1 |
1 |
| 2828 |
1 |
1 |
| 2830 |
1 |
1 |
| 2832 |
1 |
1 |
| 2833 |
1 |
1 |
| 2835 |
1 |
1 |
| 2837 |
1 |
1 |
| 2839 |
1 |
1 |
| 2841 |
1 |
1 |
| 2843 |
1 |
1 |
| 2845 |
1 |
1 |
| 2847 |
1 |
1 |
| 2849 |
1 |
1 |
| 2851 |
1 |
1 |
| 2853 |
1 |
1 |
| 2855 |
1 |
1 |
| 2857 |
1 |
1 |
| 2859 |
1 |
1 |
| 2861 |
1 |
1 |
| 2863 |
1 |
1 |
| 2864 |
1 |
1 |
| 2866 |
1 |
1 |
| 2867 |
1 |
1 |
| 2869 |
1 |
1 |
| 2871 |
1 |
1 |
| 2873 |
1 |
1 |
| 2874 |
1 |
1 |
| 2875 |
1 |
1 |
| 2876 |
1 |
1 |
| 2878 |
1 |
1 |
| 2880 |
1 |
1 |
| 2882 |
1 |
1 |
| 2884 |
1 |
1 |
| 2886 |
1 |
1 |
| 2888 |
1 |
1 |
| 2889 |
1 |
1 |
| 2891 |
1 |
1 |
| 2893 |
1 |
1 |
| 2895 |
1 |
1 |
| 2897 |
1 |
1 |
| 2899 |
1 |
1 |
| 2901 |
1 |
1 |
| 2902 |
1 |
1 |
| 2903 |
1 |
1 |
| 2905 |
1 |
1 |
| 2907 |
1 |
1 |
| 2909 |
1 |
1 |
| 2910 |
1 |
1 |
| 2911 |
1 |
1 |
| 2913 |
1 |
1 |
| 2915 |
1 |
1 |
| 2916 |
1 |
1 |
| 2918 |
1 |
1 |
| 2920 |
1 |
1 |
| 2921 |
1 |
1 |
| 2923 |
1 |
1 |
| 2925 |
1 |
1 |
| 2926 |
1 |
1 |
| 2928 |
1 |
1 |
| 2930 |
1 |
1 |
| 2931 |
1 |
1 |
| 2933 |
1 |
1 |
| 2935 |
1 |
1 |
| 2936 |
1 |
1 |
| 2938 |
1 |
1 |
| 2940 |
1 |
1 |
| 2941 |
1 |
1 |
| 2943 |
1 |
1 |
| 2945 |
1 |
1 |
| 2947 |
1 |
1 |
| 2949 |
1 |
1 |
| 2950 |
1 |
1 |
| 2951 |
1 |
1 |
| 2953 |
1 |
1 |
| 2954 |
1 |
1 |
| 2956 |
1 |
1 |
| 2960 |
1 |
1 |
| 2961 |
1 |
1 |
| 2962 |
1 |
1 |
| 2963 |
1 |
1 |
| 2964 |
1 |
1 |
| 2965 |
1 |
1 |
| 2966 |
1 |
1 |
| 2967 |
1 |
1 |
| 2968 |
1 |
1 |
| 2969 |
1 |
1 |
| 2970 |
1 |
1 |
| 2971 |
1 |
1 |
| 2972 |
1 |
1 |
| 2973 |
1 |
1 |
| 2974 |
1 |
1 |
| 2975 |
1 |
1 |
| 2976 |
1 |
1 |
| 2977 |
1 |
1 |
| 2978 |
1 |
1 |
| 2979 |
1 |
1 |
| 2980 |
1 |
1 |
| 2981 |
1 |
1 |
| 2982 |
1 |
1 |
| 2987 |
1 |
1 |
| 2988 |
1 |
1 |
| 2990 |
1 |
1 |
| 2991 |
1 |
1 |
| 2992 |
1 |
1 |
| 2993 |
1 |
1 |
| 2994 |
1 |
1 |
| 2995 |
1 |
1 |
| 2996 |
1 |
1 |
| 2997 |
1 |
1 |
| 2998 |
1 |
1 |
| 2999 |
1 |
1 |
| 3000 |
1 |
1 |
| 3001 |
1 |
1 |
| 3002 |
1 |
1 |
| 3003 |
1 |
1 |
| 3004 |
1 |
1 |
| 3008 |
1 |
1 |
| 3009 |
1 |
1 |
| 3010 |
1 |
1 |
| 3011 |
1 |
1 |
| 3012 |
1 |
1 |
| 3013 |
1 |
1 |
| 3014 |
1 |
1 |
| 3015 |
1 |
1 |
| 3016 |
1 |
1 |
| 3017 |
1 |
1 |
| 3018 |
1 |
1 |
| 3019 |
1 |
1 |
| 3020 |
1 |
1 |
| 3021 |
1 |
1 |
| 3022 |
1 |
1 |
| 3026 |
1 |
1 |
| 3027 |
1 |
1 |
| 3028 |
1 |
1 |
| 3029 |
1 |
1 |
| 3030 |
1 |
1 |
| 3031 |
1 |
1 |
| 3032 |
1 |
1 |
| 3033 |
1 |
1 |
| 3034 |
1 |
1 |
| 3035 |
1 |
1 |
| 3036 |
1 |
1 |
| 3037 |
1 |
1 |
| 3038 |
1 |
1 |
| 3039 |
1 |
1 |
| 3040 |
1 |
1 |
| 3044 |
1 |
1 |
| 3048 |
1 |
1 |
| 3049 |
1 |
1 |
| 3050 |
1 |
1 |
| 3054 |
1 |
1 |
| 3055 |
1 |
1 |
| 3056 |
1 |
1 |
| 3057 |
1 |
1 |
| 3058 |
1 |
1 |
| 3059 |
1 |
1 |
| 3060 |
1 |
1 |
| 3061 |
1 |
1 |
| 3062 |
1 |
1 |
| 3063 |
1 |
1 |
| 3067 |
1 |
1 |
| 3071 |
1 |
1 |
| 3072 |
1 |
1 |
| 3073 |
1 |
1 |
| 3074 |
1 |
1 |
| 3075 |
1 |
1 |
| 3076 |
1 |
1 |
| 3080 |
1 |
1 |
| 3081 |
1 |
1 |
| 3082 |
1 |
1 |
| 3083 |
1 |
1 |
| 3084 |
1 |
1 |
| 3085 |
1 |
1 |
| 3089 |
1 |
1 |
| 3090 |
1 |
1 |
| 3091 |
1 |
1 |
| 3092 |
1 |
1 |
| 3096 |
1 |
1 |
| 3097 |
1 |
1 |
| 3098 |
1 |
1 |
| 3102 |
1 |
1 |
| 3103 |
1 |
1 |
| 3107 |
1 |
1 |
| 3108 |
1 |
1 |
| 3112 |
1 |
1 |
| 3113 |
1 |
1 |
| 3117 |
1 |
1 |
| 3118 |
1 |
1 |
| 3122 |
1 |
1 |
| 3123 |
1 |
1 |
| 3127 |
1 |
1 |
| 3128 |
1 |
1 |
| 3132 |
1 |
1 |
| 3133 |
1 |
1 |
| 3137 |
1 |
1 |
| 3138 |
1 |
1 |
| 3139 |
1 |
1 |
| 3140 |
1 |
1 |
| 3144 |
1 |
1 |
| 3145 |
1 |
1 |
| 3149 |
1 |
1 |
| 3153 |
1 |
1 |
| 3167 |
|
unreachable |
| 3175 |
1 |
1 |
| 3176 |
1 |
1 |
Cond Coverage for Module :
i2c_reg_top
| Total | Covered | Percent |
| Conditions | 243 | 241 | 99.18 |
| Logical | 243 | 241 | 99.18 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T77,T78,T81 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T82,T83,T84 |
| 1 | 0 | Covered | T75,T77,T80 |
LINE 77
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 | T82,T83,T84 |
| 0 | 1 | 0 | Covered | T75,T77,T80 |
| 1 | 0 | 0 | Covered | T82,T83,T84 |
LINE 119
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 | T75,T77,T80 |
| 0 | 1 | 0 | Covered | T76,T78,T79 |
| 1 | 0 | 0 | Covered | T78,T81,T85 |
LINE 2721
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_STATE_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2722
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2723
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T9,T20 |
LINE 2724
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T9,T20 |
LINE 2725
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2726
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2727
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2728
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2729
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2730
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_STATUS_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T7,T9 |
LINE 2731
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T9 |
LINE 2732
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
--------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T9,T20 |
LINE 2733
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2734
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2735
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2736
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2737
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2738
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2739
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T7,T9 |
LINE 2740
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T7,T9 |
LINE 2741
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T7,T9 |
LINE 2742
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T6,T7,T9 |
LINE 2745
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2745
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 2749
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[8] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1 & (~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'b0011 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T76,T80,T78 |
LINE 2749
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0011 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b0011 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1 & (~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'b0011 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1111 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
| ALL ZEROS | Covered | T1,T2,T3 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T6,T9,T20 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T6,T9,T20 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T6,T7,T9 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T6,T9,T20 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T6,T9,T20 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T6,T9,T20 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T6,T9,T20 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T6,T9,T20 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T6,T9,T20 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T6,T9,T20 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T6,T9,T20 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T1,T6,T9 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T6,T7,T9 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T6,T9,T20 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T6,T9,T20 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T2,T3,T6 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T2,T3,T6 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T6,T9,T20 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T6,T9,T20 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T6,T9,T20 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T6,T9,T20 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T2,T3,T6 |
LINE 2749
SUB-EXPRESSION (addr_hit[0] & ((|(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 | T2,T3,T6 |
LINE 2749
SUB-EXPRESSION (addr_hit[1] & ((|(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 | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T9,T20 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T9,T20 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T2,T3,T6 |
LINE 2749
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T2,T3,T6 |
LINE 2749
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[8] & ((|(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 | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T9,T20 |
| 1 | 1 | Covered | T6,T7,T9 |
LINE 2749
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T6 |
| 1 | 0 | Covered | T1,T6,T9 |
| 1 | 1 | Covered | T1,T6,T9 |
LINE 2749
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T9,T20 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T9 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[19] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T9 |
| 1 | 1 | Covered | T6,T7,T9 |
LINE 2749
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T9 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2749
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T9 |
| 1 | 1 | Covered | T6,T9,T20 |
LINE 2775
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 | T77,T78,T86 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 2802
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 | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T78,T85,T87 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 2833
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 | T6,T9,T20 |
| 1 | 1 | 0 | Covered | T75,T78,T85 |
| 1 | 1 | 1 | Covered | T62,T63,T64 |
LINE 2864
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 | T6,T9,T20 |
| 1 | 1 | 0 | Covered | T78,T85,T87 |
| 1 | 1 | 1 | Covered | T88,T89,T90 |
LINE 2867
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 | T78,T85,T91 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 2874
EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T92,T93 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2875
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T94,T95,T96 |
| 1 | 1 | 1 | Covered | T2,T3,T10 |
LINE 2876
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T78,T91,T87 |
| 1 | 1 | 1 | Covered | T2,T3,T9 |
LINE 2889
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 | T78,T85,T97 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 2902
EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T6,T7,T9 |
| 1 | 1 | 0 | Covered | T98,T92,T95 |
| 1 | 1 | 1 | Covered | T6,T7,T8 |
LINE 2903
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,T6,T9 |
| 1 | 1 | 0 | Covered | T78,T85,T97 |
| 1 | 1 | 1 | Covered | T1,T4,T5 |
LINE 2910
EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T6,T9,T20 |
| 1 | 1 | 0 | Covered | T75,T99,T95 |
| 1 | 1 | 1 | Not Covered | |
LINE 2911
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T78,T81,T91 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2916
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T80,T78,T91 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2921
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T78,T85,T91 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2926
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T78,T85,T100 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2931
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T80,T79,T97 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2936
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T78,T81,T85 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 2941
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 | T6,T7,T9 |
| 1 | 1 | 0 | Covered | T78,T85,T97 |
| 1 | 1 | 1 | Covered | T6,T7,T8 |
LINE 2950
EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T6,T7,T9 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T6,T7,T8 |
LINE 2951
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 | T6,T7,T9 |
| 1 | 1 | 0 | Covered | T78,T81,T97 |
| 1 | 1 | 1 | Covered | T6,T7,T8 |
LINE 2954
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 | T6,T7,T9 |
| 1 | 1 | 0 | Covered | T78,T91,T97 |
| 1 | 1 | 1 | Covered | T6,T7,T8 |
Branch Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
28 |
28 |
100.00 |
| TERNARY |
2745 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
2988 |
23 |
23 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 2745 ((reg_re || reg_we)) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T82,T83,T84 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 2988 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 |
| default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
i2c_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
520162721 |
65001692 |
0 |
0 |
|
reAfterRv |
520162721 |
65001565 |
0 |
0 |
|
rePulse |
520162721 |
57509751 |
0 |
0 |
|
wePulse |
520162721 |
7491814 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
65001692 |
0 |
0 |
| T1 |
1018 |
29 |
0 |
0 |
| T2 |
98933 |
48815 |
0 |
0 |
| T3 |
324859 |
52256 |
0 |
0 |
| T6 |
172101 |
7442 |
0 |
0 |
| T7 |
104575 |
487 |
0 |
0 |
| T8 |
68004 |
694 |
0 |
0 |
| T9 |
21395 |
2208 |
0 |
0 |
| T10 |
47643 |
22240 |
0 |
0 |
| T20 |
289854 |
811 |
0 |
0 |
| T21 |
25418 |
3408 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
65001565 |
0 |
0 |
| T1 |
1018 |
29 |
0 |
0 |
| T2 |
98933 |
48815 |
0 |
0 |
| T3 |
324859 |
52256 |
0 |
0 |
| T6 |
172101 |
7442 |
0 |
0 |
| T7 |
104575 |
487 |
0 |
0 |
| T8 |
68004 |
694 |
0 |
0 |
| T9 |
21395 |
2208 |
0 |
0 |
| T10 |
47643 |
22240 |
0 |
0 |
| T20 |
289854 |
811 |
0 |
0 |
| T21 |
25418 |
3408 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
57509751 |
0 |
0 |
| T1 |
1018 |
14 |
0 |
0 |
| T2 |
98933 |
48297 |
0 |
0 |
| T3 |
324859 |
38699 |
0 |
0 |
| T6 |
172101 |
6359 |
0 |
0 |
| T7 |
104575 |
360 |
0 |
0 |
| T8 |
68004 |
513 |
0 |
0 |
| T9 |
21395 |
2053 |
0 |
0 |
| T10 |
47643 |
21899 |
0 |
0 |
| T20 |
289854 |
795 |
0 |
0 |
| T21 |
25418 |
3238 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
7491814 |
0 |
0 |
| T1 |
1018 |
15 |
0 |
0 |
| T2 |
98933 |
518 |
0 |
0 |
| T3 |
324859 |
13557 |
0 |
0 |
| T6 |
172101 |
1083 |
0 |
0 |
| T7 |
104575 |
127 |
0 |
0 |
| T8 |
68004 |
181 |
0 |
0 |
| T9 |
21395 |
155 |
0 |
0 |
| T10 |
47643 |
341 |
0 |
0 |
| T20 |
289854 |
16 |
0 |
0 |
| T21 |
25418 |
170 |
0 |
0 |