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

Module : i2c_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.80 100.00 99.18 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.80 100.00 99.18 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.80 100.00 99.18 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.55 99.26 99.33 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
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
CONT_ASSIGN112211100.00
CONT_ASSIGN113711100.00
CONT_ASSIGN115311100.00
CONT_ASSIGN116911100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN120111100.00
CONT_ASSIGN121711100.00
CONT_ASSIGN123311100.00
CONT_ASSIGN124911100.00
CONT_ASSIGN126511100.00
CONT_ASSIGN128111100.00
CONT_ASSIGN129711100.00
CONT_ASSIGN131311100.00
CONT_ASSIGN132911100.00
CONT_ASSIGN134511100.00
CONT_ASSIGN136111100.00
CONT_ASSIGN136711100.00
CONT_ASSIGN138111100.00
CONT_ASSIGN167311100.00
CONT_ASSIGN170111100.00
CONT_ASSIGN172911100.00
CONT_ASSIGN175711100.00
CONT_ASSIGN178511100.00
CONT_ASSIGN181311100.00
CONT_ASSIGN185411100.00
CONT_ASSIGN188211100.00
CONT_ASSIGN191011100.00
CONT_ASSIGN193811100.00
CONT_ASSIGN196611100.00
CONT_ASSIGN199411100.00
CONT_ASSIGN268911100.00
ALWAYS27232323100.00
CONT_ASSIGN274811100.00
ALWAYS275211100.00
CONT_ASSIGN277811100.00
CONT_ASSIGN278011100.00
CONT_ASSIGN278211100.00
CONT_ASSIGN278411100.00
CONT_ASSIGN278611100.00
CONT_ASSIGN278811100.00
CONT_ASSIGN279011100.00
CONT_ASSIGN279211100.00
CONT_ASSIGN279411100.00
CONT_ASSIGN279611100.00
CONT_ASSIGN279811100.00
CONT_ASSIGN280011100.00
CONT_ASSIGN280211100.00
CONT_ASSIGN280411100.00
CONT_ASSIGN280511100.00
CONT_ASSIGN280711100.00
CONT_ASSIGN280911100.00
CONT_ASSIGN281111100.00
CONT_ASSIGN281311100.00
CONT_ASSIGN281511100.00
CONT_ASSIGN281711100.00
CONT_ASSIGN281911100.00
CONT_ASSIGN282111100.00
CONT_ASSIGN282311100.00
CONT_ASSIGN282511100.00
CONT_ASSIGN282711100.00
CONT_ASSIGN282911100.00
CONT_ASSIGN283111100.00
CONT_ASSIGN283311100.00
CONT_ASSIGN283511100.00
CONT_ASSIGN283611100.00
CONT_ASSIGN283811100.00
CONT_ASSIGN284011100.00
CONT_ASSIGN284211100.00
CONT_ASSIGN284411100.00
CONT_ASSIGN284611100.00
CONT_ASSIGN284811100.00
CONT_ASSIGN285011100.00
CONT_ASSIGN285211100.00
CONT_ASSIGN285411100.00
CONT_ASSIGN285611100.00
CONT_ASSIGN285811100.00
CONT_ASSIGN286011100.00
CONT_ASSIGN286211100.00
CONT_ASSIGN286411100.00
CONT_ASSIGN286611100.00
CONT_ASSIGN286711100.00
CONT_ASSIGN286911100.00
CONT_ASSIGN287011100.00
CONT_ASSIGN287211100.00
CONT_ASSIGN287411100.00
CONT_ASSIGN287611100.00
CONT_ASSIGN287711100.00
CONT_ASSIGN287811100.00
CONT_ASSIGN287911100.00
CONT_ASSIGN288111100.00
CONT_ASSIGN288311100.00
CONT_ASSIGN288511100.00
CONT_ASSIGN288711100.00
CONT_ASSIGN288911100.00
CONT_ASSIGN289111100.00
CONT_ASSIGN289211100.00
CONT_ASSIGN289411100.00
CONT_ASSIGN289611100.00
CONT_ASSIGN289811100.00
CONT_ASSIGN290011100.00
CONT_ASSIGN290211100.00
CONT_ASSIGN290411100.00
CONT_ASSIGN290511100.00
CONT_ASSIGN290611100.00
CONT_ASSIGN290811100.00
CONT_ASSIGN291011100.00
CONT_ASSIGN291211100.00
CONT_ASSIGN291311100.00
CONT_ASSIGN291411100.00
CONT_ASSIGN291611100.00
CONT_ASSIGN291811100.00
CONT_ASSIGN291911100.00
CONT_ASSIGN292111100.00
CONT_ASSIGN292311100.00
CONT_ASSIGN292411100.00
CONT_ASSIGN292611100.00
CONT_ASSIGN292811100.00
CONT_ASSIGN292911100.00
CONT_ASSIGN293111100.00
CONT_ASSIGN293311100.00
CONT_ASSIGN293411100.00
CONT_ASSIGN293611100.00
CONT_ASSIGN293811100.00
CONT_ASSIGN293911100.00
CONT_ASSIGN294111100.00
CONT_ASSIGN294311100.00
CONT_ASSIGN294411100.00
CONT_ASSIGN294611100.00
CONT_ASSIGN294811100.00
CONT_ASSIGN295011100.00
CONT_ASSIGN295211100.00
CONT_ASSIGN295311100.00
CONT_ASSIGN295411100.00
CONT_ASSIGN295611100.00
CONT_ASSIGN295711100.00
CONT_ASSIGN295911100.00
ALWAYS29632323100.00
ALWAYS2990103103100.00
CONT_ASSIGN317000
CONT_ASSIGN317811100.00
CONT_ASSIGN317911100.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
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 1 1
1122 1 1
1137 1 1
1153 1 1
1169 1 1
1185 1 1
1201 1 1
1217 1 1
1233 1 1
1249 1 1
1265 1 1
1281 1 1
1297 1 1
1313 1 1
1329 1 1
1345 1 1
1361 1 1
1367 1 1
1381 1 1
1673 1 1
1701 1 1
1729 1 1
1757 1 1
1785 1 1
1813 1 1
1854 1 1
1882 1 1
1910 1 1
1938 1 1
1966 1 1
1994 1 1
2689 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
2743 1 1
2744 1 1
2745 1 1
2748 1 1
2752 1 1
2778 1 1
2780 1 1
2782 1 1
2784 1 1
2786 1 1
2788 1 1
2790 1 1
2792 1 1
2794 1 1
2796 1 1
2798 1 1
2800 1 1
2802 1 1
2804 1 1
2805 1 1
2807 1 1
2809 1 1
2811 1 1
2813 1 1
2815 1 1
2817 1 1
2819 1 1
2821 1 1
2823 1 1
2825 1 1
2827 1 1
2829 1 1
2831 1 1
2833 1 1
2835 1 1
2836 1 1
2838 1 1
2840 1 1
2842 1 1
2844 1 1
2846 1 1
2848 1 1
2850 1 1
2852 1 1
2854 1 1
2856 1 1
2858 1 1
2860 1 1
2862 1 1
2864 1 1
2866 1 1
2867 1 1
2869 1 1
2870 1 1
2872 1 1
2874 1 1
2876 1 1
2877 1 1
2878 1 1
2879 1 1
2881 1 1
2883 1 1
2885 1 1
2887 1 1
2889 1 1
2891 1 1
2892 1 1
2894 1 1
2896 1 1
2898 1 1
2900 1 1
2902 1 1
2904 1 1
2905 1 1
2906 1 1
2908 1 1
2910 1 1
2912 1 1
2913 1 1
2914 1 1
2916 1 1
2918 1 1
2919 1 1
2921 1 1
2923 1 1
2924 1 1
2926 1 1
2928 1 1
2929 1 1
2931 1 1
2933 1 1
2934 1 1
2936 1 1
2938 1 1
2939 1 1
2941 1 1
2943 1 1
2944 1 1
2946 1 1
2948 1 1
2950 1 1
2952 1 1
2953 1 1
2954 1 1
2956 1 1
2957 1 1
2959 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
2983 1 1
2984 1 1
2985 1 1
2990 1 1
2991 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
3005 1 1
3006 1 1
3007 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
3023 1 1
3024 1 1
3025 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
3041 1 1
3042 1 1
3043 1 1
3047 1 1
3051 1 1
3052 1 1
3053 1 1
3057 1 1
3058 1 1
3059 1 1
3060 1 1
3061 1 1
3062 1 1
3063 1 1
3064 1 1
3065 1 1
3066 1 1
3070 1 1
3074 1 1
3075 1 1
3076 1 1
3077 1 1
3078 1 1
3079 1 1
3083 1 1
3084 1 1
3085 1 1
3086 1 1
3087 1 1
3088 1 1
3092 1 1
3093 1 1
3094 1 1
3095 1 1
3099 1 1
3100 1 1
3101 1 1
3105 1 1
3106 1 1
3110 1 1
3111 1 1
3115 1 1
3116 1 1
3120 1 1
3121 1 1
3125 1 1
3126 1 1
3130 1 1
3131 1 1
3135 1 1
3136 1 1
3140 1 1
3141 1 1
3142 1 1
3143 1 1
3147 1 1
3148 1 1
3152 1 1
3156 1 1
3170 unreachable
3178 1 1
3179 1 1


Cond Coverage for Module : i2c_reg_top
TotalCoveredPercent
Conditions24524399.18
Logical24524399.18
Non-Logical00
Event00

 LINE       61
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT22,T29,T73
11CoveredT20,T21,T22

 LINE       73
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT20,T21,T22
01CoveredT75,T76,T77
10CoveredT20,T29,T78

 LINE       80
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT20,T21,T22
001CoveredT75,T76,T77
010CoveredT20,T29,T78
100CoveredT20,T29,T78

 LINE       122
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT20,T21,T22
001CoveredT20,T29,T78
010CoveredT22,T73,T74
100CoveredT22,T73,T74

 LINE       122
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT20,T21,T22
11CoveredT20,T22,T29

 LINE       2724
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_STATE_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2725
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2726
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT21,T22,T23

 LINE       2727
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2728
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
            ---------------------1--------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2729
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
            ----------------------1---------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2730
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
            ---------------------1---------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2731
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
            ---------------------1---------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2732
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2733
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_STATUS_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2734
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
            ---------------------1--------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2735
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
            --------------------1--------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T22,T28

 LINE       2736
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2737
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2738
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T22,T24

 LINE       2739
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2740
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T22,T25

 LINE       2741
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2742
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2743
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
            ----------------------1----------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T22,T24

 LINE       2744
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
            ----------------------1---------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T22,T24

 LINE       2745
 EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2748
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT20,T21,T22
1CoveredT20,T21,T22

 LINE       2748
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT20,T21,T22
01CoveredT20,T21,T22
10CoveredT20,T21,T22

 LINE       2752
 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
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT22,T29,T73

 LINE       2752
 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 ZEROSCoveredT20,T21,T22
22 (addr_hit[21] & ((|(4'...CoveredT20,T21,T22
21 (addr_hit[20] & ((|(4'...CoveredT20,T22,T24
20 (addr_hit[19] & ((|(4'...CoveredT22,T24,T28
19 (addr_hit[18] & ((|(4'...CoveredT20,T21,T22
18 (addr_hit[17] & ((|(4'...CoveredT20,T21,T22
17 (addr_hit[16] & ((|(4'...CoveredT20,T22,T25
16 (addr_hit[15] & ((|(4'...CoveredT20,T21,T22
15 (addr_hit[14] & ((|(4'...CoveredT20,T22,T25
14 (addr_hit[13] & ((|(4'...CoveredT20,T21,T22
13 (addr_hit[12] & ((|(4'...CoveredT20,T21,T22
12 (addr_hit[11] & ((|(4'...CoveredT20,T22,T28
11 (addr_hit[10] & ((|(4'...CoveredT20,T22,T25
10 (addr_hit[9] & ((|(4'b...CoveredT21,T22,T28
9 (addr_hit[8] & ((|(4'b...CoveredT20,T21,T22
8 (addr_hit[7] & ((|(4'b...CoveredT20,T22,T24
7 (addr_hit[6] & ((|(4'b...CoveredT21,T22,T79
6 (addr_hit[5] & ((|(4'b...CoveredT22,T24,T28
5 (addr_hit[4] & ((|(4'b...CoveredT20,T21,T22
4 (addr_hit[3] & ((|(4'b...CoveredT20,T21,T22
3 (addr_hit[2] & ((|(4'b...CoveredT21,T22,T23
2 (addr_hit[1] & ((|(4'b...CoveredT20,T21,T22
1 (addr_hit[0] & ((|(4'b...CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT21,T22,T23
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT21,T22,T23
11CoveredT21,T22,T23

 LINE       2752
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T24
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT22,T24,T28

 LINE       2752
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT21,T22,T79

 LINE       2752
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT20,T22,T24

 LINE       2752
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T29
11CoveredT21,T22,T28

 LINE       2752
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT20,T22,T25

 LINE       2752
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T29
11CoveredT20,T22,T28

 LINE       2752
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T24
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T24
11CoveredT20,T22,T25

 LINE       2752
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T22,T25

 LINE       2752
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T25
11CoveredT20,T21,T22

 LINE       2752
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T29
11CoveredT22,T24,T28

 LINE       2752
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T22,T24
11CoveredT20,T22,T24

 LINE       2752
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT20,T21,T22
10CoveredT20,T21,T22
11CoveredT20,T21,T22

 LINE       2778
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT74,T80,T81
111CoveredT21,T23,T24

 LINE       2805
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T73,T80
111CoveredT20,T21,T23

 LINE       2836
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT21,T22,T23
110CoveredT22,T73,T74
111CoveredT21,T23,T24

 LINE       2867
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT20,T22,T74
111CoveredT20,T25,T29

 LINE       2870
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T74,T80
111CoveredT20,T25,T29

 LINE       2877
 EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T22
101CoveredT20,T21,T22
110Not Covered
111CoveredT73,T82,T83

 LINE       2878
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T22
101CoveredT20,T21,T22
110CoveredT78,T84
111CoveredT1,T10,T11

 LINE       2879
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT74,T85,T81
111CoveredT20,T25,T29

 LINE       2892
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T73,T74
111CoveredT20,T25,T29

 LINE       2905
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T22
101CoveredT20,T21,T22
110CoveredT84,T86,T87
111CoveredT73,T82,T83

 LINE       2906
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T74,T85
111CoveredT20,T25,T29

 LINE       2913
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T22
101CoveredT20,T22,T28
110CoveredT88,T89,T90
111Not Covered

 LINE       2914
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T74,T91
111CoveredT20,T25,T29

 LINE       2919
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T74,T80
111CoveredT20,T25,T29

 LINE       2924
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T22,T24
110CoveredT22,T29,T80
111CoveredT20,T25,T29

 LINE       2929
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT73,T80,T91
111CoveredT20,T25,T29

 LINE       2934
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T22,T25
110CoveredT22,T80,T91
111CoveredT20,T25,T29

 LINE       2939
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T74,T91
111CoveredT20,T25,T29

 LINE       2944
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T73,T74
111CoveredT20,T25,T29

 LINE       2953
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T22
101CoveredT20,T22,T24
110CoveredT29,T92,T93
111CoveredT7,T8,T9

 LINE       2954
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T22,T24
110CoveredT80,T81,T94
111CoveredT20,T25,T29

 LINE       2957
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT20,T21,T23
101CoveredT20,T21,T22
110CoveredT22,T73,T80
111CoveredT20,T25,T29

Branch Coverage for Module : i2c_reg_top
Line No.TotalCoveredPercent
Branches 28 28 100.00
TERNARY 2748 2 2 100.00
IF 71 3 3 100.00
CASE 2991 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-: 2748 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T20,T21,T22
0 Covered T20,T21,T22


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T20,T21,T22
0 1 Covered T20,T29,T78
0 0 Covered T20,T21,T22


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

Branches:
-1-StatusTests
addr_hit[0] Covered T20,T21,T22
addr_hit[1] Covered T20,T21,T22
addr_hit[2] Covered T20,T21,T22
addr_hit[3] Covered T20,T21,T22
addr_hit[4] Covered T20,T21,T22
addr_hit[5] Covered T20,T21,T22
addr_hit[6] Covered T20,T21,T22
addr_hit[7] Covered T20,T21,T22
addr_hit[8] Covered T20,T21,T22
addr_hit[9] Covered T20,T21,T22
addr_hit[10] Covered T20,T21,T22
addr_hit[11] Covered T20,T22,T23
addr_hit[12] Covered T20,T21,T22
addr_hit[13] Covered T20,T21,T22
addr_hit[14] Covered T20,T22,T23
addr_hit[15] Covered T20,T21,T22
addr_hit[16] Covered T20,T22,T23
addr_hit[17] Covered T20,T21,T22
addr_hit[18] Covered T20,T21,T22
addr_hit[19] Covered T20,T22,T23
addr_hit[20] Covered T20,T22,T23
addr_hit[21] Covered T20,T21,T22
default Covered T20,T21,T22


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 531367416 67151197 0 0
reAfterRv 531367416 67151034 0 0
rePulse 531367416 59205184 0 0
wePulse 531367416 7945850 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 531367416 67151197 0 0
T20 6340 545 0 0
T21 2149 40 0 0
T22 4966 33 0 0
T23 1908 22 0 0
T24 893 22 0 0
T25 14451 1917 0 0
T26 1248 40 0 0
T27 1480 40 0 0
T28 1521 40 0 0
T29 10241 1135 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 531367416 67151034 0 0
T20 6340 545 0 0
T21 2149 40 0 0
T22 4966 33 0 0
T23 1908 22 0 0
T24 893 22 0 0
T25 14451 1917 0 0
T26 1248 40 0 0
T27 1480 40 0 0
T28 1521 40 0 0
T29 10241 1135 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 531367416 59205184 0 0
T20 6340 349 0 0
T21 2149 20 0 0
T22 4966 4 0 0
T23 1908 11 0 0
T24 893 11 0 0
T25 14451 959 0 0
T26 1248 20 0 0
T27 1480 20 0 0
T28 1521 20 0 0
T29 10241 734 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 531367416 7945850 0 0
T20 6340 196 0 0
T21 2149 20 0 0
T22 4966 29 0 0
T23 1908 11 0 0
T24 893 11 0 0
T25 14451 958 0 0
T26 1248 20 0 0
T27 1480 20 0 0
T28 1521 20 0 0
T29 10241 401 0 0

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