NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.TX_SHIFT_REG_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/protocol_control.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
TX_SHIFT_REG_INST 100.0 % (7/7) 100.0 % (8/8) 100.0 % (202/202) 100.0 % (6/6) N.A. N.A. 100.0 % (223/223)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.TX_SHIFT_REG_INST 100.0 % (49/49) 100.0 % (44/44) 100.0 % (578/578) 100.0 % (80/80) N.A. N.A. 100.0 % (751/751)

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 234 to 236:

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1') 
235:                    else 
236:                '0'; 

Count: 22897767
Threshold: 1

Signal assignment statement on line 234:

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1') 
Count: 2645094
Threshold: 1

Signal assignment statement on line 236:

236:                '0'
Count: 20252673
Threshold: 1

If statement on lines 239 to 246:

239:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
240:                             tx_load_ext_id = '1' or 
...
245:                       else 
246:                   '0'; 

Count: 885096
Threshold: 1

Signal assignment statement on line 239:

239:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
Count: 467636
Threshold: 1

Signal assignment statement on line 246:

246:                   '0'
Count: 417460
Threshold: 1

If statement on lines 249 to 251:

249:    tx_crc <= crc_15 & "000000" when (crc_src = C_CRC15_SRC) else 
250:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
251:                        crc_21; 

Count: 8800039
Threshold: 1

Signal assignment statement on line 249:

249:    tx_crc <= crc_15 & "000000" when (crc_src = C_CRC15_SRC) else 
Count: 1635350
Threshold: 1

Signal assignment statement on line 250:

250:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
Count: 1166446
Threshold: 1

Signal assignment statement on line 251:

251:                        crc_21
Count: 5998243
Threshold: 1

Sequential statement on lines 254 to 262:

254:    with bst_ctr select bst_ctr_grey <= 
255:        "001" when "001", 
...
261:        "100" when "111", 
262:        "000" when others; 

Count: 296187
Threshold: 1

Signal assignment statement on line 255:

255:        "001" when "001", 
Count: 47282
Threshold: 1

Signal assignment statement on line 256:

256:        "011" when "010", 
Count: 42922
Threshold: 1

Signal assignment statement on line 257:

257:        "010" when "011", 
Count: 37660
Threshold: 1

Signal assignment statement on line 258:

258:        "110" when "100", 
Count: 33452
Threshold: 1

Signal assignment statement on line 259:

259:        "111" when "101", 
Count: 30081
Threshold: 1

Signal assignment statement on line 260:

260:        "101" when "110", 
Count: 28018
Threshold: 1

Signal assignment statement on line 261:

261:        "100" when "111", 
Count: 26292
Threshold: 1

Signal assignment statement on line 262:

262:        "000" when others; 
Count: 50480
Threshold: 1

Signal assignment statement on line 264:

264:    bst_parity <= bst_ctr_grey(0) xor bst_ctr_grey(1) xor bst_ctr_grey(2)
Count: 296187
Threshold: 1

Signal assignment statement on line 266:

266:    stuff_count <= bst_ctr_grey & bst_parity
Count: 580416
Threshold: 1

Signal assignment statement on line 269:

269:    tx_base_id <= tran_identifier(IDENTIFIER_BASE_H downto IDENTIFIER_BASE_L)
Count: 17659
Threshold: 1

Signal assignment statement on line 270:

270:    tx_ext_id <= tran_identifier(IDENTIFIER_EXT_H downto IDENTIFIER_EXT_L)
Count: 9835
Threshold: 1

Signal assignment statement on line 277:

277:        flip_mask <= (others => '0'); 
Count: 8760
Threshold: 1

If statement on lines 278 to 280:

278:        if (mr_mode_tstm = '1') then 
279:            flip_mask(20 - to_integer(unsigned(tran_frame_test.tprm))) <= '1'; 
280:        end if; 

Count: 8760
Threshold: 1

Signal assignment statement on line 279:

279:            flip_mask(20 - to_integer(unsigned(tran_frame_test.tprm))) <= '1'; 
Count: 2831
Threshold: 1

If statement on lines 284 to 286:

284:    tx_crc_flipped <= (tx_crc xor flip_mask) when (tran_frame_test.fcrc = '1') 
285:                                             else 
286:                                      tx_crc; 

Count: 6819596
Threshold: 1

Signal assignment statement on line 284:

284:    tx_crc_flipped <= (tx_crc xor flip_mask) when (tran_frame_test.fcrc = '1') 
Count: 87811
Threshold: 1

Signal assignment statement on line 286:

286:                                      tx_crc
Count: 6731785
Threshold: 1

If statement on lines 289 to 291:

289:    stuff_count_flipped <= (stuff_count xor flip_mask(20 downto 17)) when (tran_frame_test.fstc = '1') 
290:                                                                     else 
291:                                                         stuff_count; 

Count: 587009
Threshold: 1

Signal assignment statement on line 289:

289:    stuff_count_flipped <= (stuff_count xor flip_mask(20 downto 17)) when (tran_frame_test.fstc = '1') 
Count: 2131
Threshold: 1

Signal assignment statement on line 291:

291:                                                         stuff_count
Count: 584878
Threshold: 1

If statement on lines 294 to 297:

294:    tran_dlc_swapped <= tran_frame_test.tprm(3 downto 0) when (tran_frame_test.sdlc = '1' and 
295:                                                               mr_mode_tstm = '1') 
296:                                                         else 
297:                                                tran_dlc; 

Count: 21573
Threshold: 1

Signal assignment statement on line 294:

294:    tran_dlc_swapped <= tran_frame_test.tprm(3 downto 0) when (tran_frame_test.sdlc = '1' and 
Count: 220
Threshold: 1

Signal assignment statement on line 297:

297:                                                tran_dlc
Count: 21353
Threshold: 1

If statement on lines 307 to 314:

307:    tx_sr_pload_val <= 
308:                    tx_base_id & "000000000000000000000" when (tx_load_base_id = '1') else 
...
313:                          tx_crc_flipped & "00000000000" when (tx_load_crc = '1') else 
314:                                        (others => '0'); 

Count: 8281325
Threshold: 1

Signal assignment statement on line 308:

308:                    tx_base_id & "000000000000000000000" when (tx_load_base_id = '1') else 
Count: 50636
Threshold: 1

Signal assignment statement on line 309:

309:                            tx_ext_id & "00000000000000" when (tx_load_ext_id = '1') else 
Count: 39365
Threshold: 1

Signal assignment statement on line 310:

310:       tran_dlc_swapped & "0000000000000000000000000000" when (tx_load_dlc = '1') else 
Count: 122549
Threshold: 1

Signal assignment statement on line 311:

311:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Count: 156937
Threshold: 1

Signal assignment statement on line 312:

312:    stuff_count_flipped & "0000000000000000000000000000" when (tx_load_stuff_count = '1') else 
Count: 40510
Threshold: 1

Signal assignment statement on line 313:

313:                          tx_crc_flipped & "00000000000" when (tx_load_crc = '1') else 
Count: 57652
Threshold: 1

Signal assignment statement on line 314:

314:                                        (others => '0')
Count: 7813676
Threshold: 1

If statement on lines 339 to 343:

339:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
340:                   RECESSIVE when (err_frm_req = '1') else 
341:                   DOMINANT when (tx_dominant = '1') else 
342:                   tx_sr_output when (tx_shift_ena = '1') else 
343:                   RECESSIVE; 

Count: 1428832
Threshold: 1

Signal assignment statement on line 339:

339:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
Count: 30343
Threshold: 1

Signal assignment statement on line 340:

340:                   RECESSIVE when (err_frm_req = '1') else 
Count: 13184
Threshold: 1

Signal assignment statement on line 341:

341:                   DOMINANT when (tx_dominant = '1') else 
Count: 123833
Threshold: 1

Signal assignment statement on line 342:

342:                   tx_sr_output when (tx_shift_ena = '1') else 
Count: 1067305
Threshold: 1

Signal assignment statement on line 343:

343:                   RECESSIVE
Count: 194167
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1'
Evaluated toCountThreshold
BinTrue26450941
BinFalse202526731

"if" / "when" / "else" condition on lines 239 to 244:

239:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
240:                             tx_load_ext_id = '1' or 
241:                             tx_load_dlc = '1' or 
242:                             tx_load_data_word = '1' or 
243:                             tx_load_stuff_count = '1' or 
244:                             tx_load_crc = '1') 

Evaluated toCountThreshold
BinTrue4676361
BinFalse4174601

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

249:    tx_crc <= crc_15 & "000000" when (crc_src = C_CRC15_SRC) else 
Evaluated toCountThreshold
BinTrue16353501
BinFalse71646891

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

250:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
Evaluated toCountThreshold
BinTrue11664461
BinFalse59982431

"case" / "with" / "select" choice on line 255:

255:        "001" when "001"
Choice ofCountThreshold
Bin"001"472821

"case" / "with" / "select" choice on line 256:

256:        "011" when "010"
Choice ofCountThreshold
Bin"010"429221

"case" / "with" / "select" choice on line 257:

257:        "010" when "011"
Choice ofCountThreshold
Bin"011"376601

"case" / "with" / "select" choice on line 258:

258:        "110" when "100"
Choice ofCountThreshold
Bin"100"334521

"case" / "with" / "select" choice on line 259:

259:        "111" when "101"
Choice ofCountThreshold
Bin"101"300811

"case" / "with" / "select" choice on line 260:

260:        "101" when "110"
Choice ofCountThreshold
Bin"110"280181

"case" / "with" / "select" choice on line 261:

261:        "100" when "111"
Choice ofCountThreshold
Bin"111"262921

"case" / "with" / "select" choice on line 262:

262:        "000" when others
Choice ofCountThreshold
Binothers504801

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

278:        if (mr_mode_tstm = '1') then 
Evaluated toCountThreshold
BinTrue28311
BinFalse59291

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

284:    tx_crc_flipped <= (tx_crc xor flip_mask) when (tran_frame_test.fcrc = '1'
Evaluated toCountThreshold
BinTrue878111
BinFalse67317851

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

289:    stuff_count_flipped <= (stuff_count xor flip_mask(20 downto 17)) when (tran_frame_test.fstc = '1'
Evaluated toCountThreshold
BinTrue21311
BinFalse5848781

"if" / "when" / "else" condition on lines 294 to 295:

294:    tran_dlc_swapped <= tran_frame_test.tprm(3 downto 0) when (tran_frame_test.sdlc = '1' and 
295:                                                               mr_mode_tstm = '1') 

Evaluated toCountThreshold
BinTrue2201
BinFalse213531

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

308:                    tx_base_id & "000000000000000000000" when (tx_load_base_id = '1') else 
Evaluated toCountThreshold
BinTrue506361
BinFalse82306891

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

309:                            tx_ext_id & "00000000000000" when (tx_load_ext_id = '1') else 
Evaluated toCountThreshold
BinTrue393651
BinFalse81913241

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

310:       tran_dlc_swapped & "0000000000000000000000000000" when (tx_load_dlc = '1') else 
Evaluated toCountThreshold
BinTrue1225491
BinFalse80687751

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

311:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Evaluated toCountThreshold
BinTrue1569371
BinFalse79118381

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

312:    stuff_count_flipped & "0000000000000000000000000000" when (tx_load_stuff_count = '1') else 
Evaluated toCountThreshold
BinTrue405101
BinFalse78713281

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

313:                          tx_crc_flipped & "00000000000" when (tx_load_crc = '1') else 
Evaluated toCountThreshold
BinTrue576521
BinFalse78136761

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

339:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
Evaluated toCountThreshold
BinTrue303431
BinFalse13984891

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

340:                   RECESSIVE when (err_frm_req = '1') else 
Evaluated toCountThreshold
BinTrue131841
BinFalse13853051

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

341:                   DOMINANT when (tx_dominant = '1') else 
Evaluated toCountThreshold
BinTrue1238331
BinFalse12614721

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

342:                   tx_sr_output when (tx_shift_ena = '1') else 
Evaluated toCountThreshold
BinTrue10673051
BinFalse1941671

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:

 MR_MODE_TSTM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_BASE_ID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_EXT_ID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_DLC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_DATA_WORD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_STUFF_COUNT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_LOAD_CRC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_SHIFT_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_DOMINANT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CRC_SRC
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 CRC_15
ElementFromToCountThresholdExcluded due to
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
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:

 CRC_17
ElementFromToCountThresholdExcluded due to
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
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:

 CRC_21
ElementFromToCountThresholdExcluded due to
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
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:

 ERR_FRM_REQ
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_ERR_ACTIVE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BST_CTR
ElementFromToCountThresholdExcluded due to
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:

 TRAN_IDENTIFIER
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
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:

 TRAN_WORD_SWAPPED
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
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:

 TRAN_DLC
ElementFromToCountThresholdExcluded due to
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

Covered toggles:

Port:

 TX_DATA_NBS
FromToCountThreshold
Bin016451381
Bin106435411

Port:

 TRAN_FRAME_TEST
ElementFromToCountThreshold
BinFSTC012701
BinFSTC1018711
BinFCRC011001
BinFCRC1017011
BinSDLC012701
BinSDLC1018711
BinTPRM(4)01741
BinTPRM(4)1032831
BinTPRM(3)011691
BinTPRM(3)1018141
BinTPRM(2)012461
BinTPRM(2)1018911
BinTPRM(1)014581
BinTPRM(1)1021031
BinTPRM(0)016451
BinTPRM(0)1022901

Signal:

 TX_SR_OUTPUT
FromToCountThreshold
Bin015235091
Bin105251091

Signal:

 TX_SR_CE
FromToCountThreshold
Bin0126450941
Bin1026466951

Signal:

 TX_SR_PLOAD
FromToCountThreshold
Bin014142581
Bin104158591

Signal:

 TX_SR_PLOAD_VAL
ElementFromToCountThreshold
Bin(31)011051761
Bin(31)101067771
Bin(30)011061551
Bin(30)101077561
Bin(29)011099051
Bin(29)101115061
Bin(28)011208871
Bin(28)101224881
Bin(27)01840431
Bin(27)10856441
Bin(26)01845781
Bin(26)10861791
Bin(25)01832901
Bin(25)10848911
Bin(24)01844341
Bin(24)10860351
Bin(23)01807741
Bin(23)10823751
Bin(22)01815311
Bin(22)10831321
Bin(21)01866031
Bin(21)10882041
Bin(20)01603701
Bin(20)10619711
Bin(19)01590361
Bin(19)10606371
Bin(18)01637941
Bin(18)10653951
Bin(17)01620801
Bin(17)10636811
Bin(16)01489231
Bin(16)10505241
Bin(15)01444891
Bin(15)10460901
Bin(14)01366601
Bin(14)10382611
Bin(13)01254851
Bin(13)10270861
Bin(12)01286001
Bin(12)10302011
Bin(11)01262331
Bin(11)10278341
Bin(10)01262211
Bin(10)10278221
Bin(9)01231941
Bin(9)10247951
Bin(8)01257521
Bin(8)10273531
Bin(7)01225601
Bin(7)10241611
Bin(6)01249321
Bin(6)10265331
Bin(5)01231351
Bin(5)10247361
Bin(4)01259681
Bin(4)10275691
Bin(3)01232531
Bin(3)10248541
Bin(2)01261601
Bin(2)10277611
Bin(1)01225641
Bin(1)10241651
Bin(0)01262291
Bin(0)10278301

Signal:

 TX_BASE_ID
ElementFromToCountThreshold
Bin(10)0138201
Bin(10)1054191
Bin(9)0138831
Bin(9)1054831
Bin(8)0138171
Bin(8)1054151
Bin(7)0141291
Bin(7)1057291
Bin(6)0138061
Bin(6)1054061
Bin(5)0141341
Bin(5)1057341
Bin(4)0138241
Bin(4)1054231
Bin(3)0141281
Bin(3)1057281
Bin(2)0138681
Bin(2)1054691
Bin(1)0141601
Bin(1)1057581
Bin(0)0137771
Bin(0)1053751

Signal:

 TX_EXT_ID
ElementFromToCountThreshold
Bin(17)0116851
Bin(17)1032861
Bin(16)0116801
Bin(16)1032811
Bin(15)0117321
Bin(15)1033331
Bin(14)0116401
Bin(14)1032411
Bin(13)0116911
Bin(13)1032911
Bin(12)0116561
Bin(12)1032571
Bin(11)0117211
Bin(11)1033211
Bin(10)0116481
Bin(10)1032481
Bin(9)0116861
Bin(9)1032871
Bin(8)0116671
Bin(8)1032681
Bin(7)0117181
Bin(7)1033191
Bin(6)0116371
Bin(6)1032381
Bin(5)0116831
Bin(5)1032831
Bin(4)0117101
Bin(4)1033101
Bin(3)0117061
Bin(3)1033071
Bin(2)0116861
Bin(2)1032861
Bin(1)0117031
Bin(1)1033041
Bin(0)0116541
Bin(0)1032541

Signal:

 TX_CRC
ElementFromToCountThreshold
Bin(20)0117653281
Bin(20)1017669261
Bin(19)0116895351
Bin(19)1016911341
Bin(18)0117006331
Bin(18)1017022331
Bin(17)0117162691
Bin(17)1017178641
Bin(16)0117119121
Bin(16)1017135111
Bin(15)0117081881
Bin(15)1017097851
Bin(14)0117144321
Bin(14)1017160291
Bin(13)0117298641
Bin(13)1017314641
Bin(12)0116409641
Bin(12)1016425611
Bin(11)0116667691
Bin(11)1016683651
Bin(10)0117158061
Bin(10)1017174041
Bin(9)0117048791
Bin(9)1017064771
Bin(8)0117064461
Bin(8)1017080431
Bin(7)0117343641
Bin(7)1017359621
Bin(6)0116866191
Bin(6)1016882161
Bin(5)0114107581
Bin(5)1014123561
Bin(4)0114246791
Bin(4)1014262771
Bin(3)0112148061
Bin(3)1012164071
Bin(2)0112163851
Bin(2)1012179861
Bin(1)0112199601
Bin(1)1012215611
Bin(0)0112245321
Bin(0)1012261331

Signal:

 TX_CRC_FLIPPED
ElementFromToCountThreshold
Bin(20)0117653781
Bin(20)1017669761
Bin(19)0116895851
Bin(19)1016911841
Bin(18)0117006831
Bin(18)1017022831
Bin(17)0117163191
Bin(17)1017179141
Bin(16)0117119621
Bin(16)1017135611
Bin(15)0117082381
Bin(15)1017098351
Bin(14)0117144821
Bin(14)1017160791
Bin(13)0117299141
Bin(13)1017315141
Bin(12)0116410141
Bin(12)1016426111
Bin(11)0116668191
Bin(11)1016684151
Bin(10)0117158561
Bin(10)1017174541
Bin(9)0117049291
Bin(9)1017065271
Bin(8)0117064961
Bin(8)1017080931
Bin(7)0117344141
Bin(7)1017360121
Bin(6)0116866691
Bin(6)1016882661
Bin(5)0114108081
Bin(5)1014124061
Bin(4)0114247291
Bin(4)1014263271
Bin(3)0112148121
Bin(3)1012164131
Bin(2)0112163911
Bin(2)1012179921
Bin(1)0112199661
Bin(1)1012215671
Bin(0)0112245381
Bin(0)1012261391

Signal:

 BST_CTR_GREY
ElementFromToCountThreshold
Bin(2)011178431
Bin(2)101767431
Bin(1)011441151
Bin(1)101504711
Bin(0)011483031
Bin(0)101462831

Signal:

 BST_PARITY
FromToCountThreshold
Bin011413151
Bin101429141

Signal:

 STUFF_COUNT
ElementFromToCountThreshold
Bin(3)01334521
Bin(3)10350531
Bin(2)01429221
Bin(2)10445201
Bin(1)01773631
Bin(1)10789611
Bin(0)011413151
Bin(0)101429141

Signal:

 FLIP_MASK
ElementFromToCountThreshold
Bin(20)0114691
Bin(20)1038431
Bin(19)011281
Bin(19)1051841
Bin(18)011531
Bin(18)1051591
Bin(17)01961
Bin(17)1052161
Bin(16)01661
Bin(16)1052461
Bin(15)01721
Bin(15)1052401
Bin(14)01651
Bin(14)1052471
Bin(13)01651
Bin(13)1052471
Bin(12)01671
Bin(12)1052451
Bin(11)01661
Bin(11)1052461
Bin(10)01611
Bin(10)1052511
Bin(9)01591
Bin(9)1052531
Bin(8)01611
Bin(8)1052511
Bin(7)01601
Bin(7)1052521
Bin(6)01621
Bin(6)1052501
Bin(5)01611
Bin(5)1052511
Bin(4)01501
Bin(4)1052621
Bin(3)0161
Bin(3)1053061
Bin(2)0161
Bin(2)1053061
Bin(1)0161
Bin(1)1053061
Bin(0)0161
Bin(0)1053061

Signal:

 STUFF_COUNT_FLIPPED
ElementFromToCountThreshold
Bin(3)01336721
Bin(3)10352731
Bin(2)01429841
Bin(2)10445821
Bin(1)01774531
Bin(1)10790511
Bin(0)011413431
Bin(0)101429421

Signal:

 TRAN_DLC_SWAPPED
ElementFromToCountThreshold
Bin(3)0117011
Bin(3)1033011
Bin(2)0121181
Bin(2)1037171
Bin(1)0120831
Bin(1)1036821
Bin(0)0137251
Bin(0)1053261

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 234:

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

LHSRHSCountThreshold
BinFalseTrue87459831
BinTrueFalse27013001
BinTrueTrue26450941

"=" expression on line 234:

 tx_shift_ena = '1' 
Evaluated toCountThreshold
BinFalse175513731
BinTrue53463941

"=" expression on line 234:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse115066901
BinTrue113910771

"or" expression on lines 239 to 244:

 tx_load_base_id = '1' or tx_load_ext_id = '1' or tx_load_dlc = '1' or tx_load_data_word = '1' or tx_load_stuff_count = '1' or tx_load_crc = '1' 
 <----------------------------------------------------------LHS----------------------------------------------------------->    <------RHS------> 

LHSRHSCountThreshold
BinFalseFalse4174601
BinFalseTrue576521
BinTrueFalse4099841

"or" expression on lines 239 to 243:

 tx_load_base_id = '1' or tx_load_ext_id = '1' or tx_load_dlc = '1' or tx_load_data_word = '1' or tx_load_stuff_count = '1' 
 <--------------------------------------------LHS-------------------------------------------->    <----------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse4751121
BinFalseTrue405101
BinTrueFalse3694741

"or" expression on lines 239 to 242:

 tx_load_base_id = '1' or tx_load_ext_id = '1' or tx_load_dlc = '1' or tx_load_data_word = '1' 
 <------------------------------LHS------------------------------->    <---------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse5156221
BinFalseTrue1569371
BinTrueFalse2125371

"or" expression on lines 239 to 241:

 tx_load_base_id = '1' or tx_load_ext_id = '1' or tx_load_dlc = '1' 
 <--------------------LHS-------------------->    <------RHS------> 

LHSRHSCountThreshold
BinFalseFalse6725591
BinFalseTrue1225491
BinTrueFalse899881

"or" expression on lines 239 to 240:

 tx_load_base_id = '1' or tx_load_ext_id = '1' 
 <--------LHS-------->    <-------RHS--------> 

LHSRHSCountThreshold
BinFalseFalse7951081
BinFalseTrue393651
BinTrueFalse506231

"=" expression on line 239:

 tx_load_base_id = '1' 
Evaluated toCountThreshold
BinFalse8344731
BinTrue506231

"=" expression on line 240:

 tx_load_ext_id = '1' 
Evaluated toCountThreshold
BinFalse8457311
BinTrue393651

"=" expression on line 241:

 tx_load_dlc = '1' 
Evaluated toCountThreshold
BinFalse7625471
BinTrue1225491

"=" expression on line 242:

 tx_load_data_word = '1' 
Evaluated toCountThreshold
BinFalse7281591
BinTrue1569371

"=" expression on line 243:

 tx_load_stuff_count = '1' 
Evaluated toCountThreshold
BinFalse8445861
BinTrue405101

"=" expression on line 244:

 tx_load_crc = '1' 
Evaluated toCountThreshold
BinFalse8274441
BinTrue576521

"xor" expression on line 264:

 bst_ctr_grey(0) xor bst_ctr_grey(1) xor bst_ctr_grey(2) 
 <---------------LHS--------------->     <-----RHS-----> 

LHSRHSCountThreshold
Bin'0''0'918011
Bin'0''1'563731
Bin'1''0'849421
Bin'1''1'614701

"xor" expression on line 264:

 bst_ctr_grey(0) xor bst_ctr_grey(1) 
 <-----LHS----->     <-----RHS-----> 

LHSRHSCountThreshold
Bin'0''0'751711
Bin'0''1'711121
Bin'1''0'753001
Bin'1''1'730031

"=" expression on line 278:

 mr_mode_tstm = '1' 
Evaluated toCountThreshold
BinFalse59291
BinTrue28311

"=" expression on line 284:

 tran_frame_test.fcrc = '1' 
Evaluated toCountThreshold
BinFalse67317851
BinTrue878111

"=" expression on line 289:

 tran_frame_test.fstc = '1' 
Evaluated toCountThreshold
BinFalse5848781
BinTrue21311

"and" expression on lines 294 to 295:

 tran_frame_test.sdlc = '1' and mr_mode_tstm = '1' 
 <----------LHS----------->     <------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue44721
BinTrueFalse501
BinTrueTrue2201

"=" expression on line 294:

 tran_frame_test.sdlc = '1' 
Evaluated toCountThreshold
BinFalse213031
BinTrue2701

"=" expression on line 295:

 mr_mode_tstm = '1' 
Evaluated toCountThreshold
BinFalse168811
BinTrue46921

"=" expression on line 308:

 tx_load_base_id = '1' 
Evaluated toCountThreshold
BinFalse82306891
BinTrue506361

"=" expression on line 309:

 tx_load_ext_id = '1' 
Evaluated toCountThreshold
BinFalse81913241
BinTrue393651

"=" expression on line 310:

 tx_load_dlc = '1' 
Evaluated toCountThreshold
BinFalse80687751
BinTrue1225491

"=" expression on line 311:

 tx_load_data_word = '1' 
Evaluated toCountThreshold
BinFalse79118381
BinTrue1569371

"=" expression on line 312:

 tx_load_stuff_count = '1' 
Evaluated toCountThreshold
BinFalse78713281
BinTrue405101

"=" expression on line 313:

 tx_load_crc = '1' 
Evaluated toCountThreshold
BinFalse78136761
BinTrue576521

"and" expression on line 339:

 err_frm_req = '1' and is_err_active = '1' 
 <------LHS------>     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue12291401
BinTrueFalse131841
BinTrueTrue303431

"=" expression on line 339:

 err_frm_req = '1' 
Evaluated toCountThreshold
BinFalse13853051
BinTrue435271

"=" expression on line 339:

 is_err_active = '1' 
Evaluated toCountThreshold
BinFalse1693491
BinTrue12594831

"=" expression on line 340:

 err_frm_req = '1' 
Evaluated toCountThreshold
BinFalse13853051
BinTrue131841

"=" expression on line 341:

 tx_dominant = '1' 
Evaluated toCountThreshold
BinFalse12614721
BinTrue1238331

"=" expression on line 342:

 tx_shift_ena = '1' 
Evaluated toCountThreshold
BinFalse1941671
BinTrue10673051

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: