NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_SSP_GENERATOR

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bus_management/bm_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_SSP_GENERATOR 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: 22933192
Threshold: 1

Signal assignment statement on line 172:

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

Signal assignment statement on line 173:

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

Signal assignment statement on line 174:

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

Signal assignment statement on line 175:

175:                           btmc_meas_running_q
Count: 11440588
Threshold: 1

If statement on lines 179 to 183:

179:        if (rst_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: 1096781321
Threshold: 1

Signal assignment statement on line 180:

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

Signal assignment statement on line 182:

182:            btmc_meas_running_q <= btmc_meas_running_d; 
Count: 547174334
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: 496819
Threshold: 1

Signal assignment statement on line 192:

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

Signal assignment statement on line 193:

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

Signal assignment statement on line 194:

194:                       btmc_q
Count: 39882
Threshold: 1

Signal assignment statement on line 196:

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

If statement on lines 198 to 199:

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

Count: 436803
Threshold: 1

Signal assignment statement on line 198:

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

Signal assignment statement on line 199:

199:               '0'
Count: 219202
Threshold: 1

If statement on lines 203 to 209:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 204:

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

If statement on lines 206 to 208:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 207:

207:                btmc_q <= btmc_d; 
Count: 215478
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: 23270615
Threshold: 1

Signal assignment statement on line 217:

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

Signal assignment statement on line 218:

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

Signal assignment statement on line 219:

219:                   first_ssp_q
Count: 774690
Threshold: 1

If statement on lines 223 to 227:

223:        if (rst_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: 1096781321
Threshold: 1

Signal assignment statement on line 224:

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

Signal assignment statement on line 226:

226:            first_ssp_q <= first_ssp_d; 
Count: 547174334
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: 22886583
Threshold: 1

Signal assignment statement on line 236:

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

Signal assignment statement on line 237:

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

Signal assignment statement on line 238:

238:                  sspc_ena_q
Count: 396461
Threshold: 1

If statement on lines 242 to 246:

242:        if (rst_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: 1096781321
Threshold: 1

Signal assignment statement on line 243:

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

Signal assignment statement on line 245:

245:            sspc_ena_q <= sspc_ena_d; 
Count: 547174334
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: 222947
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: 24952
Threshold: 1

Signal assignment statement on line 262:

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

If statement on lines 264 to 265:

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

Count: 9247257
Threshold: 1

Signal assignment statement on line 264:

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

Signal assignment statement on line 265:

265:                    '0'
Count: 9049273
Threshold: 1

Signal assignment statement on line 267:

267:    sspc_add <= sspc_q + 1
Count: 9052249
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: 18170417
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: 452071
Threshold: 1

Signal assignment statement on line 275:

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

Signal assignment statement on line 276:

276:                      sspc_q
Count: 12596
Threshold: 1

If statement on lines 278 to 279:

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

Count: 18102897
Threshold: 1

Signal assignment statement on line 278:

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

Signal assignment statement on line 279:

279:               '0'
Count: 9050648
Threshold: 1

If statement on lines 283 to 289:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 284:

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

If statement on lines 286 to 288:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 287:

287:                sspc_q <= sspc_d; 
Count: 9050459
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: 403472
Threshold: 1

Signal assignment statement on line 295:

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

Signal assignment statement on line 296:

296:                  '0'
Count: 208242
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
BinTrue843961
BinFalse228487961

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

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue43021
BinFalse228444941

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

174:                           '0' when (tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue114039061
BinFalse114405881

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

179:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

181:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

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

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

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Evaluated toCountThreshold
BinTrue4255471
BinFalse398821

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

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

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

203:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

205:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

206:            if (btmc_ce = '1') then 
Evaluated toCountThreshold
BinTrue2154781
BinFalse5469588561

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

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

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

218:                   '0' when (sspc_expired = '1') else 
Evaluated toCountThreshold
BinTrue224894721
BinFalse7746901

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

223:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

225:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

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

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

237:                  '0' when (ssp_enable = '0') else 
Evaluated toCountThreshold
BinTrue224858201
BinFalse3964611

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

242:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

244:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

"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
BinTrue249521
BinFalse1979951

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

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

"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
BinTrue4520711
BinFalse177183461

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

275:                    sspc_add when (sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinTrue177057501
BinFalse125961

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

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

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

283:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

285:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

286:            if (sspc_ce = '1') then 
Evaluated toCountThreshold
BinTrue90504591
BinFalse5381238751

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

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

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_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
Bin011952301
Bin101968311

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)01851
Bin(10)1016861
Bin(9)011601
Bin(9)1017611
Bin(8)013321
Bin(8)1019331
Bin(7)016791
Bin(7)1022801
Bin(6)0113731
Bin(6)1029741
Bin(5)0135001
Bin(5)1051011
Bin(4)0163421
Bin(4)1079431
Bin(3)01133231
Bin(3)10149241
Bin(2)01272361
Bin(2)10288371
Bin(1)01531651
Bin(1)10547661
Bin(0)011075791
Bin(0)101091801

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)01851
Bin(10)1016861
Bin(9)011601
Bin(9)1017611
Bin(8)013321
Bin(8)1019331
Bin(7)016791
Bin(7)1022801
Bin(6)0113731
Bin(6)1029741
Bin(5)0135001
Bin(5)1051011
Bin(4)0163421
Bin(4)1079431
Bin(3)01133231
Bin(3)10149241
Bin(2)01272361
Bin(2)10288371
Bin(1)01531651
Bin(1)10547661
Bin(0)011075791
Bin(0)101091801

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)01851
Bin(10)1016861
Bin(9)011601
Bin(9)1017611
Bin(8)013321
Bin(8)1019331
Bin(7)016791
Bin(7)1022801
Bin(6)0113731
Bin(6)1029741
Bin(5)0135001
Bin(5)1051011
Bin(4)0163501
Bin(4)1079511
Bin(3)01133301
Bin(3)10149311
Bin(2)01272431
Bin(2)10288441
Bin(1)01544521
Bin(1)10560531
Bin(0)011091801
Bin(0)101075791

Signal:

 BTMC_CE
FromToCountThreshold
Bin012176011
Bin102192021

Signal:

 BTMC_MEAS_RUNNING_D
FromToCountThreshold
Bin0121511
Bin1037521

Signal:

 BTMC_MEAS_RUNNING_Q
FromToCountThreshold
Bin0121511
Bin1037521

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)0127801
Bin(10)1043811
Bin(9)0152451
Bin(9)1068461
Bin(8)01108841
Bin(8)10124851
Bin(7)01222041
Bin(7)10238051
Bin(6)01449371
Bin(6)10465381
Bin(5)011536121
Bin(5)101552131
Bin(4)012499381
Bin(4)102515391
Bin(3)015574101
Bin(3)105590111
Bin(2)0111794211
Bin(2)1011810221
Bin(1)0122319311
Bin(1)1022335321
Bin(0)0144624181
Bin(0)1044608171

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)0127801
Bin(10)1043811
Bin(9)0152451
Bin(9)1068461
Bin(8)01108841
Bin(8)10124851
Bin(7)01222041
Bin(7)10238051
Bin(6)01449371
Bin(6)10465381
Bin(5)011536121
Bin(5)101552131
Bin(4)012499381
Bin(4)102515391
Bin(3)015574101
Bin(3)105590111
Bin(2)0111794211
Bin(2)1011810221
Bin(1)0122319311
Bin(1)1022335321
Bin(0)0144624181
Bin(0)1044608171

Signal:

 SSPC_CE
FromToCountThreshold
Bin0190506481
Bin1090506481

Signal:

 SSPC_EXPIRED
FromToCountThreshold
Bin011979841
Bin101979841

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)01851
Bin(10)1016861
Bin(9)011601
Bin(9)1017611
Bin(8)013451
Bin(8)1019461
Bin(7)017001
Bin(7)1023011
Bin(6)0113661
Bin(6)1029671
Bin(5)0134631
Bin(5)1050641
Bin(4)0161601
Bin(4)1077611
Bin(3)01128701
Bin(3)10144711
Bin(2)01255021
Bin(2)10271031
Bin(1)01475891
Bin(1)10491901
Bin(0)01960211
Bin(0)10976221

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)0127801
Bin(10)1043811
Bin(9)0152451
Bin(9)1068461
Bin(8)01108841
Bin(8)10124851
Bin(7)01222051
Bin(7)10238061
Bin(6)01449381
Bin(6)10465391
Bin(5)011536171
Bin(5)101552181
Bin(4)012505861
Bin(4)102521871
Bin(3)015577171
Bin(3)105593181
Bin(2)0111800331
Bin(2)1011816341
Bin(1)0122320611
Bin(1)1022304601
Bin(0)0144608171
Bin(0)1044624181

Signal:

 FIRST_SSP_D
FromToCountThreshold
Bin0121511
Bin1037521

Signal:

 FIRST_SSP_Q
FromToCountThreshold
Bin0121511
Bin1037521

Signal:

 SSPC_ENA_D
FromToCountThreshold
Bin0137281
Bin1053291

Signal:

 SSPC_ENA_Q
FromToCountThreshold
Bin0121511
Bin1037521

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 172:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse228487961
BinTrue843961

"and" expression on line 173:

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

LHSRHSCountThreshold
BinFalseTrue114039061
BinTrueFalse43021
BinTrueTrue43021

"=" expression on line 173:

 dbt_measure_start = '1' 
Evaluated toCountThreshold
BinFalse228401921
BinTrue86041

"=" expression on line 173:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse114405881
BinTrue114082081

"=" expression on line 174:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse114405881
BinTrue114039061

"=" expression on line 179:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 192:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse4654291
BinTrue313901

"=" expression on line 193:

 btmc_meas_running_q = '1' 
Evaluated toCountThreshold
BinFalse398821
BinTrue4255471

"=" expression on line 203:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 206:

 btmc_ce = '1' 
Evaluated toCountThreshold
BinFalse5469588561
BinTrue2154781

"and" expression on line 217:

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

LHSRHSCountThreshold
BinFalseTrue115517901
BinTrueFalse67171
BinTrueTrue64531

"=" expression on line 217:

 gen_first_ssp = '1' 
Evaluated toCountThreshold
BinFalse232574451
BinTrue131701

"=" expression on line 217:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse117123721
BinTrue115582431

"=" expression on line 218:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse7746901
BinTrue224894721

"=" expression on line 223:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"and" expression on line 236:

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

LHSRHSCountThreshold
BinFalseTrue114298871
BinTrueFalse43021
BinTrueTrue43021

"=" expression on line 236:

 gen_first_ssp = '1' 
Evaluated toCountThreshold
BinFalse228779791
BinTrue86041

"=" expression on line 236:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse114523941
BinTrue114341891

"=" expression on line 237:

 ssp_enable = '0' 
Evaluated toCountThreshold
BinFalse3964611
BinTrue224858201

"=" expression on line 242:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 260:

 first_ssp_q = '1' 
Evaluated toCountThreshold
BinFalse1979951
BinTrue249521

"or" expression on line 274:

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

LHSRHSCountThreshold
BinFalseFalse177183461
BinFalseTrue4208701
BinTrueFalse30691

"=" expression on line 274:

 btmc_reset = '1' 
Evaluated toCountThreshold
BinFalse181392161
BinTrue312011

"=" expression on line 274:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse177214151
BinTrue4490021

"=" expression on line 275:

 sspc_ena_q = '1' 
Evaluated toCountThreshold
BinFalse125961
BinTrue177057501

"=" expression on line 283:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 286:

 sspc_ce = '1' 
Evaluated toCountThreshold
BinFalse5381238751
BinTrue90504591

"and" expression on line 295:

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

LHSRHSCountThreshold
BinFalseTrue1951411
BinTrueFalse49941
BinTrueTrue1952301

"=" expression on line 295:

 sspc_expired = '1' 
Evaluated toCountThreshold
BinFalse2032481
BinTrue2002241

"=" expression on line 295:

 sspc_ena_q = '1' 
Evaluated toCountThreshold
BinFalse131011
BinTrue3903711

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: