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

Module : i2c_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.90 100.00 99.59 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv

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



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.90 100.00 99.59 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.58 99.26 99.44 100.00 99.18 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_acqdata_abyte 100.00 100.00
u_acqdata_signal 100.00 100.00
u_alert_test 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_ctrl_enablehost 100.00 100.00 100.00 100.00
u_ctrl_enabletarget 100.00 100.00 100.00 100.00
u_ctrl_llpbk 100.00 100.00 100.00 100.00
u_fdata0_qe 100.00 100.00 100.00
u_fdata_fbyte 100.00 100.00 100.00 100.00
u_fdata_nakok 100.00 100.00 100.00 100.00
u_fdata_rcont 100.00 100.00 100.00 100.00
u_fdata_readb 100.00 100.00 100.00 100.00
u_fdata_start 100.00 100.00 100.00 100.00
u_fdata_stop 100.00 100.00 100.00 100.00
u_fifo_ctrl0_qe 100.00 100.00 100.00
u_fifo_ctrl_acqrst 100.00 100.00 100.00 100.00
u_fifo_ctrl_fmtilvl 100.00 100.00 100.00 100.00
u_fifo_ctrl_fmtrst 100.00 100.00 100.00 100.00
u_fifo_ctrl_rxilvl 100.00 100.00 100.00 100.00
u_fifo_ctrl_rxrst 100.00 100.00 100.00 100.00
u_fifo_ctrl_txrst 100.00 100.00 100.00 100.00
u_fifo_status_acqlvl 100.00 100.00
u_fifo_status_fmtlvl 100.00 100.00
u_fifo_status_rxlvl 100.00 100.00
u_fifo_status_txlvl 100.00 100.00
u_host_timeout_ctrl 100.00 100.00 100.00 100.00
u_intr_enable_acq_full 100.00 100.00 100.00 100.00
u_intr_enable_cmd_complete 100.00 100.00 100.00 100.00
u_intr_enable_fmt_overflow 100.00 100.00 100.00 100.00
u_intr_enable_fmt_threshold 100.00 100.00 100.00 100.00
u_intr_enable_host_timeout 100.00 100.00 100.00 100.00
u_intr_enable_nak 100.00 100.00 100.00 100.00
u_intr_enable_rx_overflow 100.00 100.00 100.00 100.00
u_intr_enable_rx_threshold 100.00 100.00 100.00 100.00
u_intr_enable_scl_interference 100.00 100.00 100.00 100.00
u_intr_enable_sda_interference 100.00 100.00 100.00 100.00
u_intr_enable_sda_unstable 100.00 100.00 100.00 100.00
u_intr_enable_stretch_timeout 100.00 100.00 100.00 100.00
u_intr_enable_tx_overflow 100.00 100.00 100.00 100.00
u_intr_enable_tx_stretch 100.00 100.00 100.00 100.00
u_intr_enable_unexp_stop 100.00 100.00 100.00 100.00
u_intr_state_acq_full 62.59 77.78 50.00 60.00
u_intr_state_cmd_complete 100.00 100.00 100.00 100.00
u_intr_state_fmt_overflow 100.00 100.00 100.00 100.00
u_intr_state_fmt_threshold 100.00 100.00 100.00 100.00
u_intr_state_host_timeout 100.00 100.00 100.00 100.00
u_intr_state_nak 100.00 100.00 100.00 100.00
u_intr_state_rx_overflow 100.00 100.00 100.00 100.00
u_intr_state_rx_threshold 100.00 100.00 100.00 100.00
u_intr_state_scl_interference 100.00 100.00 100.00 100.00
u_intr_state_sda_interference 100.00 100.00 100.00 100.00
u_intr_state_sda_unstable 100.00 100.00 100.00 100.00
u_intr_state_stretch_timeout 100.00 100.00 100.00 100.00
u_intr_state_tx_overflow 100.00 100.00 100.00 100.00
u_intr_state_tx_stretch 62.59 77.78 50.00 60.00
u_intr_state_unexp_stop 100.00 100.00 100.00 100.00
u_intr_test_acq_full 100.00 100.00
u_intr_test_cmd_complete 100.00 100.00
u_intr_test_fmt_overflow 100.00 100.00
u_intr_test_fmt_threshold 100.00 100.00
u_intr_test_host_timeout 100.00 100.00
u_intr_test_nak 100.00 100.00
u_intr_test_rx_overflow 100.00 100.00
u_intr_test_rx_threshold 100.00 100.00
u_intr_test_scl_interference 100.00 100.00
u_intr_test_sda_interference 100.00 100.00
u_intr_test_sda_unstable 100.00 100.00
u_intr_test_stretch_timeout 100.00 100.00
u_intr_test_tx_overflow 100.00 100.00
u_intr_test_tx_stretch 100.00 100.00
u_intr_test_unexp_stop 100.00 100.00
u_ovrd_sclval 100.00 100.00 100.00 100.00
u_ovrd_sdaval 100.00 100.00 100.00 100.00
u_ovrd_txovrden 100.00 100.00 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_rdata 100.00 100.00
u_reg_if 98.67 97.14 97.53 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_status_acqempty 100.00 100.00
u_status_acqfull 100.00 100.00
u_status_fmtempty 100.00 100.00
u_status_fmtfull 100.00 100.00
u_status_hostidle 100.00 100.00
u_status_rxempty 100.00 100.00
u_status_rxfull 100.00 100.00
u_status_targetidle 100.00 100.00
u_status_txempty 100.00 100.00
u_status_txfull 100.00 100.00
u_target_id_address0 100.00 100.00 100.00 100.00
u_target_id_address1 100.00 100.00 100.00 100.00
u_target_id_mask0 100.00 100.00 100.00 100.00
u_target_id_mask1 100.00 100.00 100.00 100.00
u_timeout_ctrl_en 100.00 100.00 100.00 100.00
u_timeout_ctrl_val 100.00 100.00 100.00 100.00
u_timing0_thigh 100.00 100.00 100.00 100.00
u_timing0_tlow 100.00 100.00 100.00 100.00
u_timing1_t_f 100.00 100.00 100.00 100.00
u_timing1_t_r 100.00 100.00 100.00 100.00
u_timing2_thd_sta 100.00 100.00 100.00 100.00
u_timing2_tsu_sta 100.00 100.00 100.00 100.00
u_timing3_thd_dat 100.00 100.00 100.00 100.00
u_timing3_tsu_dat 100.00 100.00 100.00 100.00
u_timing4_t_buf 100.00 100.00 100.00 100.00
u_timing4_tsu_sto 100.00 100.00 100.00 100.00
u_txdata 100.00 100.00 100.00 100.00
u_txdata0_qe 100.00 100.00 100.00
u_val_scl_rx 66.67 66.67
u_val_sda_rx 66.67 66.67


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : i2c_reg_top
Line No.TotalCoveredPercent
TOTAL295295100.00
ALWAYS6844100.00
CONT_ASSIGN7711100.00
CONT_ASSIGN8911100.00
CONT_ASSIGN9011100.00
CONT_ASSIGN11811100.00
CONT_ASSIGN11911100.00
CONT_ASSIGN111911100.00
CONT_ASSIGN113411100.00
CONT_ASSIGN115011100.00
CONT_ASSIGN116611100.00
CONT_ASSIGN118211100.00
CONT_ASSIGN119811100.00
CONT_ASSIGN121411100.00
CONT_ASSIGN123011100.00
CONT_ASSIGN124611100.00
CONT_ASSIGN126211100.00
CONT_ASSIGN127811100.00
CONT_ASSIGN129411100.00
CONT_ASSIGN131011100.00
CONT_ASSIGN132611100.00
CONT_ASSIGN134211100.00
CONT_ASSIGN135811100.00
CONT_ASSIGN136411100.00
CONT_ASSIGN137811100.00
CONT_ASSIGN167011100.00
CONT_ASSIGN169811100.00
CONT_ASSIGN172611100.00
CONT_ASSIGN175411100.00
CONT_ASSIGN178211100.00
CONT_ASSIGN181011100.00
CONT_ASSIGN185111100.00
CONT_ASSIGN187911100.00
CONT_ASSIGN190711100.00
CONT_ASSIGN193511100.00
CONT_ASSIGN196311100.00
CONT_ASSIGN199111100.00
CONT_ASSIGN268611100.00
ALWAYS27202323100.00
CONT_ASSIGN274511100.00
ALWAYS274911100.00
CONT_ASSIGN277511100.00
CONT_ASSIGN277711100.00
CONT_ASSIGN277911100.00
CONT_ASSIGN278111100.00
CONT_ASSIGN278311100.00
CONT_ASSIGN278511100.00
CONT_ASSIGN278711100.00
CONT_ASSIGN278911100.00
CONT_ASSIGN279111100.00
CONT_ASSIGN279311100.00
CONT_ASSIGN279511100.00
CONT_ASSIGN279711100.00
CONT_ASSIGN279911100.00
CONT_ASSIGN280111100.00
CONT_ASSIGN280211100.00
CONT_ASSIGN280411100.00
CONT_ASSIGN280611100.00
CONT_ASSIGN280811100.00
CONT_ASSIGN281011100.00
CONT_ASSIGN281211100.00
CONT_ASSIGN281411100.00
CONT_ASSIGN281611100.00
CONT_ASSIGN281811100.00
CONT_ASSIGN282011100.00
CONT_ASSIGN282211100.00
CONT_ASSIGN282411100.00
CONT_ASSIGN282611100.00
CONT_ASSIGN282811100.00
CONT_ASSIGN283011100.00
CONT_ASSIGN283211100.00
CONT_ASSIGN283311100.00
CONT_ASSIGN283511100.00
CONT_ASSIGN283711100.00
CONT_ASSIGN283911100.00
CONT_ASSIGN284111100.00
CONT_ASSIGN284311100.00
CONT_ASSIGN284511100.00
CONT_ASSIGN284711100.00
CONT_ASSIGN284911100.00
CONT_ASSIGN285111100.00
CONT_ASSIGN285311100.00
CONT_ASSIGN285511100.00
CONT_ASSIGN285711100.00
CONT_ASSIGN285911100.00
CONT_ASSIGN286111100.00
CONT_ASSIGN286311100.00
CONT_ASSIGN286411100.00
CONT_ASSIGN286611100.00
CONT_ASSIGN286711100.00
CONT_ASSIGN286911100.00
CONT_ASSIGN287111100.00
CONT_ASSIGN287311100.00
CONT_ASSIGN287411100.00
CONT_ASSIGN287511100.00
CONT_ASSIGN287611100.00
CONT_ASSIGN287811100.00
CONT_ASSIGN288011100.00
CONT_ASSIGN288211100.00
CONT_ASSIGN288411100.00
CONT_ASSIGN288611100.00
CONT_ASSIGN288811100.00
CONT_ASSIGN288911100.00
CONT_ASSIGN289111100.00
CONT_ASSIGN289311100.00
CONT_ASSIGN289511100.00
CONT_ASSIGN289711100.00
CONT_ASSIGN289911100.00
CONT_ASSIGN290111100.00
CONT_ASSIGN290211100.00
CONT_ASSIGN290311100.00
CONT_ASSIGN290511100.00
CONT_ASSIGN290711100.00
CONT_ASSIGN290911100.00
CONT_ASSIGN291011100.00
CONT_ASSIGN291111100.00
CONT_ASSIGN291311100.00
CONT_ASSIGN291511100.00
CONT_ASSIGN291611100.00
CONT_ASSIGN291811100.00
CONT_ASSIGN292011100.00
CONT_ASSIGN292111100.00
CONT_ASSIGN292311100.00
CONT_ASSIGN292511100.00
CONT_ASSIGN292611100.00
CONT_ASSIGN292811100.00
CONT_ASSIGN293011100.00
CONT_ASSIGN293111100.00
CONT_ASSIGN293311100.00
CONT_ASSIGN293511100.00
CONT_ASSIGN293611100.00
CONT_ASSIGN293811100.00
CONT_ASSIGN294011100.00
CONT_ASSIGN294111100.00
CONT_ASSIGN294311100.00
CONT_ASSIGN294511100.00
CONT_ASSIGN294711100.00
CONT_ASSIGN294911100.00
CONT_ASSIGN295011100.00
CONT_ASSIGN295111100.00
CONT_ASSIGN295311100.00
CONT_ASSIGN295411100.00
CONT_ASSIGN295611100.00
ALWAYS29602323100.00
ALWAYS2987103103100.00
CONT_ASSIGN316700
CONT_ASSIGN317511100.00
CONT_ASSIGN317611100.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.CoveredStatements
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
TotalCoveredPercent
Conditions24324299.59
Logical24324299.59
Non-Logical00
Event00

 LINE       58
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT69,T70,T71
11CoveredT1,T2,T3

 LINE       70
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT73,T74,T75
10CoveredT76,T77,T78

 LINE       77
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT73,T74,T75
010CoveredT76,T77,T78
100CoveredT73,T74,T75

 LINE       119
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT76,T77,T78
010CoveredT68,T69,T70
100CoveredT69,T70,T71

 LINE       2721
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_STATE_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2722
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2723
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT11,T20,T26

 LINE       2724
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT11,T20,T31

 LINE       2725
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
            ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2726
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
            ----------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2727
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
            ---------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T11,T9

 LINE       2728
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
            ---------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T11,T8

 LINE       2729
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2730
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_STATUS_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       2731
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
            ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT11,T20,T31

 LINE       2732
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
            --------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT11,T20,T31

 LINE       2733
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2734
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2735
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2736
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2737
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2738
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2739
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       2740
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       2741
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
            ----------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       2742
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       2745
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2745
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,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-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT68,T69,T70

 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 == 1StatusTests
ALL ZEROSCoveredT1,T2,T3
22 (addr_hit[21] & ((|(4'...CoveredT11,T20,T31
21 (addr_hit[20] & ((|(4'...CoveredT11,T20,T31
20 (addr_hit[19] & ((|(4'...CoveredT1,T2,T11
19 (addr_hit[18] & ((|(4'...CoveredT11,T20,T31
18 (addr_hit[17] & ((|(4'...CoveredT11,T20,T31
17 (addr_hit[16] & ((|(4'...CoveredT11,T20,T31
16 (addr_hit[15] & ((|(4'...CoveredT11,T20,T31
15 (addr_hit[14] & ((|(4'...CoveredT11,T20,T31
14 (addr_hit[13] & ((|(4'...CoveredT11,T20,T31
13 (addr_hit[12] & ((|(4'...CoveredT11,T20,T31
12 (addr_hit[11] & ((|(4'...CoveredT11,T20,T31
11 (addr_hit[10] & ((|(4'...CoveredT11,T20,T31
10 (addr_hit[9] & ((|(4'b...CoveredT1,T2,T11
9 (addr_hit[8] & ((|(4'b...CoveredT11,T20,T31
8 (addr_hit[7] & ((|(4'b...CoveredT11,T20,T31
7 (addr_hit[6] & ((|(4'b...CoveredT3,T11,T9
6 (addr_hit[5] & ((|(4'b...CoveredT1,T2,T3
5 (addr_hit[4] & ((|(4'b...CoveredT11,T20,T31
4 (addr_hit[3] & ((|(4'b...CoveredT11,T20,T31
3 (addr_hit[2] & ((|(4'b...CoveredT11,T20,T26
2 (addr_hit[1] & ((|(4'b...CoveredT11,T20,T26
1 (addr_hit[0] & ((|(4'b...CoveredT1,T2,T3

 LINE       2749
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       2749
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T26

 LINE       2749
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T20,T26
11CoveredT11,T20,T26

 LINE       2749
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T20,T31
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T11,T8
11CoveredT1,T2,T3

 LINE       2749
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T11,T9
11CoveredT3,T11,T9

 LINE       2749
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T11,T8
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T20,T31
11CoveredT1,T2,T11

 LINE       2749
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T20,T31
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T20,T31
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT1,T2,T11

 LINE       2749
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT11,T20,T31

 LINE       2749
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT11,T20,T31

 LINE       2775
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT70,T71,T79
111CoveredT1,T2,T3

 LINE       2802
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT72,T71,T79
111CoveredT1,T2,T3

 LINE       2833
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT11,T20,T26
110CoveredT80,T81,T82
111CoveredT26,T61,T59

 LINE       2864
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT11,T20,T31
110CoveredT69,T71,T76
111CoveredT83,T84,T85

 LINE       2867
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT70,T71,T76
111CoveredT1,T2,T3

 LINE       2874
 EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT76,T86,T87
111CoveredT1,T2,T3

 LINE       2875
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T11,T9
110CoveredT76,T88,T89
111CoveredT3,T9,T10

 LINE       2876
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T11,T8
110CoveredT71,T79,T90
111CoveredT3,T11,T8

 LINE       2889
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT76,T79,T77
111CoveredT1,T2,T3

 LINE       2902
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T11
110CoveredT91
111CoveredT1,T2,T7

 LINE       2903
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT11,T20,T31
110CoveredT69,T71,T79
111CoveredT4,T5,T6

 LINE       2910
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT11,T20,T31
110CoveredT92,T93
111Not Covered

 LINE       2911
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT69,T70,T71
111CoveredT1,T2,T3

 LINE       2916
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT69,T70,T79
111CoveredT1,T2,T3

 LINE       2921
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT72,T79,T94
111CoveredT1,T2,T3

 LINE       2926
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT72,T71,T79
111CoveredT1,T2,T3

 LINE       2931
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT71,T95,T80
111CoveredT1,T2,T3

 LINE       2936
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT70,T71,T79
111CoveredT1,T2,T3

 LINE       2941
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T11
110CoveredT69,T72,T79
111CoveredT1,T2,T7

 LINE       2950
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T11
110CoveredT86,T96,T93
111CoveredT1,T2,T7

 LINE       2951
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T11
110CoveredT68,T70,T71
111CoveredT1,T2,T7

 LINE       2954
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T11
110CoveredT80,T97,T98
111CoveredT1,T2,T7

Branch Coverage for Module : i2c_reg_top
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T73,T74,T75
0 0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
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
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 540514081 64808046 0 0
reAfterRv 540514081 64807909 0 0
rePulse 540514081 57633366 0 0
wePulse 540514081 7174543 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 540514081 64808046 0 0
T1 109861 842 0 0
T2 264299 29006 0 0
T3 223136 106355 0 0
T7 155529 1984 0 0
T8 2939 181 0 0
T9 255169 418709 0 0
T11 17261 1798 0 0
T18 314978 1695 0 0
T19 228070 1233 0 0
T20 858768 7049 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 540514081 64807909 0 0
T1 109861 842 0 0
T2 264299 29006 0 0
T3 223136 106355 0 0
T7 155529 1984 0 0
T8 2939 180 0 0
T9 255169 418709 0 0
T11 17261 1798 0 0
T18 314978 1695 0 0
T19 228070 1233 0 0
T20 858768 7049 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 540514081 57633366 0 0
T1 109861 561 0 0
T2 264299 19103 0 0
T3 223136 83265 0 0
T7 155529 1522 0 0
T8 2939 105 0 0
T9 255169 314086 0 0
T11 17261 1782 0 0
T18 314978 1677 0 0
T19 228070 1215 0 0
T20 858768 4939 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 540514081 7174543 0 0
T1 109861 281 0 0
T2 264299 9903 0 0
T3 223136 23090 0 0
T7 155529 462 0 0
T8 2939 75 0 0
T9 255169 104623 0 0
T11 17261 16 0 0
T18 314978 18 0 0
T19 228070 18 0 0
T20 858768 2110 0 0

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