NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.SSP_GENERATOR_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/bus_sampling/bus_sampling.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.SSP_GENERATOR_INST 100.0 % (55/55) 100.0 % (56/56) 100.0 % (262/262) 100.0 % (65/65) N.A. N.A. 100.0 % (438/438)

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 172 to 175:

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
174:                           '0' when (tx_trigger = '1') else 
175:                           btmc_meas_running_q; 

Count: 22851684
Threshold: 1

Signal assignment statement on line 172:

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
Count: 85725
Threshold: 1

Signal assignment statement on line 173:

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Count: 3986
Threshold: 1

Signal assignment statement on line 174:

174:                           '0' when (tx_trigger = '1') else 
Count: 11362502
Threshold: 1

Signal assignment statement on line 175:

175:                           btmc_meas_running_q
Count: 11399471
Threshold: 1

If statement on lines 179 to 183:

179:        if (res_n = '0') then 
180:            btmc_meas_running_q <= '0'; 
181:        elsif (rising_edge(clk_sys)) then 
182:            btmc_meas_running_q <= btmc_meas_running_d; 
183:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 180:

180:            btmc_meas_running_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 182:

182:            btmc_meas_running_q <= btmc_meas_running_d; 
Count: 543791678
Threshold: 1

If statement on lines 192 to 194:

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
193:                     btmc_add when (btmc_meas_running_q = '1') else 
194:                       btmc_q; 

Count: 500723
Threshold: 1

Signal assignment statement on line 192:

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
Count: 31555
Threshold: 1

Signal assignment statement on line 193:

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Count: 429197
Threshold: 1

Signal assignment statement on line 194:

194:                       btmc_q
Count: 39971
Threshold: 1

Signal assignment statement on line 196:

196:    btmc_add <= std_logic_vector(unsigned(btmc_q) + 1)
Count: 220790
Threshold: 1

If statement on lines 198 to 199:

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
199:               '0'; 

Count: 439979
Threshold: 1

Signal assignment statement on line 198:

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
Count: 219189
Threshold: 1

Signal assignment statement on line 199:

199:               '0'
Count: 220790
Threshold: 1

If statement on lines 203 to 209:

203:        if (res_n = '0') then 
204:            btmc_q <= (others => '0'); 
...
208:            end if; 
209:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 204:

204:            btmc_q <= (others => '0'); 
Count: 2424883
Threshold: 1

If statement on lines 206 to 208:

206:            if (btmc_ce = '1') then 
207:                btmc_q <= btmc_d; 
208:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 207:

207:                btmc_q <= btmc_d; 
Count: 217085
Threshold: 1

If statement on lines 217 to 219:

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
218:                   '0' when (sspc_expired = '1') else 
219:                   first_ssp_q; 

Count: 23117787
Threshold: 1

Signal assignment statement on line 217:

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Count: 5979
Threshold: 1

Signal assignment statement on line 218:

218:                   '0' when (sspc_expired = '1') else 
Count: 22451459
Threshold: 1

Signal assignment statement on line 219:

219:                   first_ssp_q
Count: 660349
Threshold: 1

If statement on lines 223 to 227:

223:        if (res_n = '0') then 
224:            first_ssp_q <= '0'; 
225:        elsif (rising_edge(clk_sys)) then 
226:            first_ssp_q <= first_ssp_d; 
227:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 224:

224:            first_ssp_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 226:

226:            first_ssp_q <= first_ssp_d; 
Count: 543791678
Threshold: 1

If statement on lines 236 to 238:

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
237:                  '0' when (ssp_enable = '0') else 
238:                  sspc_ena_q; 

Count: 22803397
Threshold: 1

Signal assignment statement on line 236:

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Count: 3986
Threshold: 1

Signal assignment statement on line 237:

237:                  '0' when (ssp_enable = '0') else 
Count: 22473587
Threshold: 1

Signal assignment statement on line 238:

238:                  sspc_ena_q
Count: 325824
Threshold: 1

If statement on lines 242 to 246:

242:        if (res_n = '0') then 
243:            sspc_ena_q <= '0'; 
244:        elsif (rising_edge(clk_sys)) then 
245:            sspc_ena_q <= sspc_ena_d; 
246:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 243:

243:            sspc_ena_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 245:

245:            sspc_ena_q <= sspc_ena_d; 
Count: 543791678
Threshold: 1

If statement on lines 260 to 262:

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1') 
261:                                                                    else 
262:                      unsigned(btmc_q); 

Count: 224354
Threshold: 1

Signal assignment statement on line 260:

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1') 
Count: 24154
Threshold: 1

Signal assignment statement on line 262:

262:                      unsigned(btmc_q)
Count: 200200
Threshold: 1

If statement on lines 264 to 265:

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
265:                    '0'; 

Count: 8769888
Threshold: 1

Signal assignment statement on line 264:

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
Count: 162753
Threshold: 1

Signal assignment statement on line 265:

265:                    '0'
Count: 8607135
Threshold: 1

Signal assignment statement on line 267:

267:    sspc_add <= sspc_q + 1
Count: 8572668
Threshold: 1

If statement on lines 274 to 276:

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
275:                    sspc_add when (sspc_ena_q = '1') else 
276:                      sspc_q; 

Count: 17211667
Threshold: 1

Signal assignment statement on line 274:

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Count: 382539
Threshold: 1

Signal assignment statement on line 275:

275:                    sspc_add when (sspc_ena_q = '1') else 
Count: 16816841
Threshold: 1

Signal assignment statement on line 276:

276:                      sspc_q
Count: 12287
Threshold: 1

If statement on lines 278 to 279:

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
279:               '0'; 

Count: 17143735
Threshold: 1

Signal assignment statement on line 278:

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
Count: 8572668
Threshold: 1

Signal assignment statement on line 279:

279:               '0'
Count: 8571067
Threshold: 1

If statement on lines 283 to 289:

283:        if (res_n = '0') then 
284:            sspc_q <= C_SSPC_RST_VAL; 
...
288:            end if; 
289:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 284:

284:            sspc_q <= C_SSPC_RST_VAL; 
Count: 2424883
Threshold: 1

If statement on lines 286 to 288:

286:            if (sspc_ce = '1') then 
287:                sspc_q <= sspc_d; 
288:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 287:

287:                sspc_q <= sspc_d; 
Count: 8570875
Threshold: 1

If statement on lines 295 to 296:

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
296:                  '0'; 

Count: 332694
Threshold: 1

Signal assignment statement on line 295:

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Count: 160181
Threshold: 1

Signal assignment statement on line 296:

296:                  '0'
Count: 172513
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on line 172:

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinTrue857251
BinFalse227659591

"if" / "when" / "else" condition on line 173:

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue39861
BinFalse227619731

"if" / "when" / "else" condition on line 174:

174:                           '0' when (tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue113625021
BinFalse113994711

"if" / "when" / "else" condition on line 179:

179:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 181:

181:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 192:

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinTrue315551
BinFalse4691681

"if" / "when" / "else" condition on line 193:

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Evaluated toCountThreshold
BinTrue4291971
BinFalse399711

"if" / "when" / "else" condition on line 198:

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
Evaluated toCountThreshold
BinTrue2191891
BinFalse2207901

"if" / "when" / "else" condition on line 203:

203:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 205:

205:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 206:

206:            if (btmc_ce = '1') then 
Evaluated toCountThreshold
BinTrue2170851
BinFalse5435745931

"if" / "when" / "else" condition on line 217:

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue59791
BinFalse231118081

"if" / "when" / "else" condition on line 218:

218:                   '0' when (sspc_expired = '1') else 
Evaluated toCountThreshold
BinTrue224514591
BinFalse6603491

"if" / "when" / "else" condition on line 223:

223:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 225:

225:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 236:

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue39861
BinFalse227994111

"if" / "when" / "else" condition on line 237:

237:                  '0' when (ssp_enable = '0') else 
Evaluated toCountThreshold
BinTrue224735871
BinFalse3258241

"if" / "when" / "else" condition on line 242:

242:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 244:

244:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 260:

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1'
Evaluated toCountThreshold
BinTrue241541
BinFalse2002001

"if" / "when" / "else" condition on line 264:

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
Evaluated toCountThreshold
BinTrue1627531
BinFalse86071351

"if" / "when" / "else" condition on line 274:

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Evaluated toCountThreshold
BinTrue3825391
BinFalse168291281

"if" / "when" / "else" condition on line 275:

275:                    sspc_add when (sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinTrue168168411
BinFalse122871

"if" / "when" / "else" condition on line 278:

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
Evaluated toCountThreshold
BinTrue85726681
BinFalse85710671

"if" / "when" / "else" condition on line 283:

283:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 285:

285:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 286:

286:            if (sspc_ce = '1') then 
Evaluated toCountThreshold
BinTrue85708751
BinFalse5352208031

"if" / "when" / "else" condition on line 295:

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinTrue1601811
BinFalse1725131

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BTMC_RESET
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DBT_MEASURE_START
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 GEN_FIRST_SSP
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SSP_DELAY
ElementFromToCountThresholdExcluded due to
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 SSP_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 SAMPLE_SEC
FromToCountThreshold
Bin011601811
Bin101617821

Signal:

 BTMC_D
ElementFromToCountThreshold
Bin(14)0151
Bin(14)1016061
Bin(13)01101
Bin(13)1016111
Bin(12)01201
Bin(12)1016211
Bin(11)01401
Bin(11)1016411
Bin(10)01861
Bin(10)1016871
Bin(9)011631
Bin(9)1017641
Bin(8)013391
Bin(8)1019401
Bin(7)016801
Bin(7)1022811
Bin(6)0113881
Bin(6)1029891
Bin(5)0135521
Bin(5)1051531
Bin(4)0164171
Bin(4)1080181
Bin(3)01135051
Bin(3)10151061
Bin(2)01273821
Bin(2)10289831
Bin(1)01536491
Bin(1)10552501
Bin(0)011083591
Bin(0)101099601

Signal:

 BTMC_Q
ElementFromToCountThreshold
Bin(14)0151
Bin(14)1016061
Bin(13)01101
Bin(13)1016111
Bin(12)01201
Bin(12)1016211
Bin(11)01401
Bin(11)1016411
Bin(10)01861
Bin(10)1016871
Bin(9)011631
Bin(9)1017641
Bin(8)013391
Bin(8)1019401
Bin(7)016801
Bin(7)1022811
Bin(6)0113881
Bin(6)1029891
Bin(5)0135521
Bin(5)1051531
Bin(4)0164171
Bin(4)1080181
Bin(3)01135051
Bin(3)10151061
Bin(2)01273821
Bin(2)10289831
Bin(1)01536491
Bin(1)10552501
Bin(0)011083591
Bin(0)101099601

Signal:

 BTMC_ADD
ElementFromToCountThreshold
Bin(14)0151
Bin(14)1016061
Bin(13)01101
Bin(13)1016111
Bin(12)01201
Bin(12)1016211
Bin(11)01401
Bin(11)1016411
Bin(10)01861
Bin(10)1016871
Bin(9)011631
Bin(9)1017641
Bin(8)013391
Bin(8)1019401
Bin(7)016801
Bin(7)1022811
Bin(6)0113881
Bin(6)1029891
Bin(5)0135521
Bin(5)1051531
Bin(4)0164251
Bin(4)1080261
Bin(3)01135101
Bin(3)10151111
Bin(2)01273891
Bin(2)10289901
Bin(1)01547521
Bin(1)10563531
Bin(0)011099601
Bin(0)101083591

Signal:

 BTMC_CE
FromToCountThreshold
Bin012191891
Bin102207901

Signal:

 BTMC_MEAS_RUNNING_D
FromToCountThreshold
Bin0119931
Bin1035941

Signal:

 BTMC_MEAS_RUNNING_Q
FromToCountThreshold
Bin0119931
Bin1035941

Signal:

 SSPC_D
ElementFromToCountThreshold
Bin(14)011651
Bin(14)1017661
Bin(13)013251
Bin(13)1019261
Bin(12)016551
Bin(12)1022561
Bin(11)0113101
Bin(11)1029111
Bin(10)0128201
Bin(10)1044211
Bin(9)0153661
Bin(9)1069671
Bin(8)01113671
Bin(8)10129681
Bin(7)01224761
Bin(7)10240771
Bin(6)01461231
Bin(6)10477241
Bin(5)011432431
Bin(5)101448441
Bin(4)012414941
Bin(4)102430951
Bin(3)015282811
Bin(3)105298821
Bin(2)0111107351
Bin(2)1011123361
Bin(1)0121178041
Bin(1)1021194051
Bin(0)0142337651
Bin(0)1042321641

Signal:

 SSPC_Q
ElementFromToCountThreshold
Bin(14)011651
Bin(14)1017661
Bin(13)013251
Bin(13)1019261
Bin(12)016551
Bin(12)1022561
Bin(11)0113101
Bin(11)1029111
Bin(10)0128201
Bin(10)1044211
Bin(9)0153661
Bin(9)1069671
Bin(8)01113671
Bin(8)10129681
Bin(7)01224761
Bin(7)10240771
Bin(6)01461231
Bin(6)10477241
Bin(5)011432431
Bin(5)101448441
Bin(4)012414941
Bin(4)102430951
Bin(3)015282811
Bin(3)105298821
Bin(2)0111107351
Bin(2)1011123361
Bin(1)0121178041
Bin(1)1021194051
Bin(0)0142337651
Bin(0)1042321641

Signal:

 SSPC_CE
FromToCountThreshold
Bin0185710671
Bin1085710671

Signal:

 SSPC_EXPIRED
FromToCountThreshold
Bin011627531
Bin101627531

Signal:

 SSPC_THRESHOLD
ElementFromToCountThreshold
Bin(14)0151
Bin(14)1016061
Bin(13)01101
Bin(13)1016111
Bin(12)01201
Bin(12)1016211
Bin(11)01401
Bin(11)1016411
Bin(10)01861
Bin(10)1016871
Bin(9)011631
Bin(9)1017641
Bin(8)013491
Bin(8)1019501
Bin(7)016991
Bin(7)1023001
Bin(6)0113831
Bin(6)1029841
Bin(5)0135181
Bin(5)1051191
Bin(4)0162401
Bin(4)1078411
Bin(3)01130661
Bin(3)10146671
Bin(2)01256581
Bin(2)10272591
Bin(1)01482401
Bin(1)10498411
Bin(0)01971141
Bin(0)10987151

Signal:

 SSPC_ADD
ElementFromToCountThreshold
Bin(14)011651
Bin(14)1017661
Bin(13)013251
Bin(13)1019261
Bin(12)016551
Bin(12)1022561
Bin(11)0113101
Bin(11)1029111
Bin(10)0128201
Bin(10)1044211
Bin(9)0153661
Bin(9)1069671
Bin(8)01113681
Bin(8)10129691
Bin(7)01224771
Bin(7)10240781
Bin(6)01461241
Bin(6)10477251
Bin(5)011432491
Bin(5)101448501
Bin(4)012421651
Bin(4)102437661
Bin(3)015285251
Bin(3)105301261
Bin(2)0111113831
Bin(2)1011129841
Bin(1)0121175331
Bin(1)1021159321
Bin(0)0142321641
Bin(0)1042337651

Signal:

 FIRST_SSP_D
FromToCountThreshold
Bin0119931
Bin1035941

Signal:

 FIRST_SSP_Q
FromToCountThreshold
Bin0119931
Bin1035941

Signal:

 SSPC_ENA_D
FromToCountThreshold
Bin0134091
Bin1050101

Signal:

 SSPC_ENA_Q
FromToCountThreshold
Bin0119931
Bin1035941

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 172:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse227659591
BinTrue857251

"and" expression on line 173:

 dbt_measure_start = '1' and tx_trigger = '1' 
 <---------LHS--------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue113625021
BinTrueFalse39861
BinTrueTrue39861

"=" expression on line 173:

 dbt_measure_start = '1' 
Evaluated toCountThreshold
BinFalse227579871
BinTrue79721

"=" expression on line 173:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse113994711
BinTrue113664881

"=" expression on line 174:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse113994711
BinTrue113625021

"=" expression on line 179:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 192:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse4691681
BinTrue315551

"=" expression on line 193:

 btmc_meas_running_q = '1' 
Evaluated toCountThreshold
BinFalse399711
BinTrue4291971

"=" expression on line 203:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 206:

 btmc_ce = '1' 
Evaluated toCountThreshold
BinFalse5435745931
BinTrue2170851

"and" expression on line 217:

 gen_first_ssp = '1'and tx_trigger = '1' 
 <-------LHS------->    <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue114881971
BinTrueFalse65031
BinTrueTrue59791

"=" expression on line 217:

 gen_first_ssp = '1' 
Evaluated toCountThreshold
BinFalse231053051
BinTrue124821

"=" expression on line 217:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse116236111
BinTrue114941761

"=" expression on line 218:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse6603491
BinTrue224514591

"=" expression on line 223:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 236:

 gen_first_ssp = '1' and tx_trigger = '1' 
 <-------LHS------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue113890841
BinTrueFalse39861
BinTrueTrue39861

"=" expression on line 236:

 gen_first_ssp = '1' 
Evaluated toCountThreshold
BinFalse227954251
BinTrue79721

"=" expression on line 236:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse114103271
BinTrue113930701

"=" expression on line 237:

 ssp_enable = '0' 
Evaluated toCountThreshold
BinFalse3258241
BinTrue224735871

"=" expression on line 242:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 260:

 first_ssp_q = '1' 
Evaluated toCountThreshold
BinFalse2002001
BinTrue241541

"or" expression on line 274:

 btmc_reset = '1' or sspc_expired = '1' 
 <-----LHS------>    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse168291281
BinFalseTrue3509901
BinTrueFalse29741

"=" expression on line 274:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse171801181
BinTrue315491

"=" expression on line 274:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse168321021
BinTrue3795651

"=" expression on line 275:

 sspc_ena_q = '1' 
Evaluated toCountThreshold
BinFalse122871
BinTrue168168411

"=" expression on line 283:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 286:

 sspc_ce = '1' 
Evaluated toCountThreshold
BinFalse5352208031
BinTrue85708751

"and" expression on line 295:

 sspc_expired = '1' and sspc_ena_q = '1' 
 <------LHS------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue1600931
BinTrueFalse46531
BinTrueTrue1601811

"=" expression on line 295:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse1678601
BinTrue1648341

"=" expression on line 295:

 sspc_ena_q = '1' 
Evaluated toCountThreshold
BinFalse124201
BinTrue3202741

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: