NVC code coverage report

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/tx_shift_reg.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
TX_SHIFT_REG_INST 100.0 % (5/5) 100.0 % (8/8) 100.0 % (202/202) 100.0 % (6/6) N.A. N.A. 100.0 % (221/221)

Current Instance:

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 % (47/47) 100.0 % (44/44) 100.0 % (578/578) 100.0 % (80/80) N.A. N.A. 100.0 % (749/749)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 22201277
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

236:                '0'
Count: 19552544
Threshold: 1

If statement:

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

Count: 877054
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

246:                   '0'
Count: 413829
Threshold: 1

If statement:

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: 8783108
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

251:                        crc_21
Count: 6095992
Threshold: 1

Sequential statement:

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

Count: 294521
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 8753
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 6794471
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

286:                                      tx_crc
Count: 6715885
Threshold: 1

If statement:

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

Count: 584095
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

291:                                                         stuff_count
Count: 581977
Threshold: 1

If statement:

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: 21386
Threshold: 1

Signal assignment statement:

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:

297:                                                tran_dlc
Count: 21166
Threshold: 1

If statement:

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: 8243528
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 1426539
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

343:                   RECESSIVE
Count: 193598
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1'
Evaluated toCountThreshold
BinTrue26487331
BinFalse195525441

"if" / "when" / "else" condition:

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
BinTrue4632251
BinFalse4138291

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

250:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
Evaluated toCountThreshold
BinTrue11401801
BinFalse60959921

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

262:        "000" when others
Choice ofCountThreshold
Binothers502621

"if" / "when" / "else" condition:

278:        if (mr_mode_tstm = '1') then 
Evaluated toCountThreshold
BinTrue28271
BinFalse59261

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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
BinFalse211661

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

311:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Evaluated toCountThreshold
BinTrue1574861
BinFalse78775881

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

340:                   RECESSIVE when (err_frm_req = '1') else 
Evaluated toCountThreshold
BinTrue122691
BinFalse13839441

"if" / "when" / "else" condition:

341:                   DOMINANT when (tx_dominant = '1') else 
Evaluated toCountThreshold
BinTrue1235421
BinFalse12604021

"if" / "when" / "else" condition:

342:                   tx_sr_output when (tx_shift_ena = '1') else 
Evaluated toCountThreshold
BinTrue10668041
BinFalse1935981

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 MR_MODE_TSTM
FromToCountThreshold
Bin0110271
Bin1026261

Port:

 TX_TRIGGER
FromToCountThreshold
Bin01110440031
Bin10110456021

Port:

 TX_DATA_NBS
FromToCountThreshold
Bin016444441
Bin106428461

Port:

 TX_LOAD_BASE_ID
FromToCountThreshold
Bin01497041
Bin10513041

Port:

 TX_LOAD_EXT_ID
FromToCountThreshold
Bin01375321
Bin10391321

Port:

 TX_LOAD_DLC
FromToCountThreshold
Bin011212051
Bin101228051

Port:

 TX_LOAD_DATA_WORD
FromToCountThreshold
Bin011574861
Bin101590861

Port:

 TX_LOAD_STUFF_COUNT
FromToCountThreshold
Bin01401971
Bin10417971

Port:

 TX_LOAD_CRC
FromToCountThreshold
Bin01571011
Bin10587011

Port:

 TX_SHIFT_ENA
FromToCountThreshold
Bin01550361
Bin10566361

Port:

 TX_DOMINANT
FromToCountThreshold
Bin011029101
Bin101045081

Port:

 CRC_SRC(1)
FromToCountThreshold
Bin01245951
Bin10261951

Port:

 CRC_SRC(0)
FromToCountThreshold
Bin01282331
Bin10298291

Port:

 CRC_15(14)
FromToCountThreshold
Bin0114526421
Bin1014542411

Port:

 CRC_15(13)
FromToCountThreshold
Bin0114043811
Bin1014059791

Port:

 CRC_15(12)
FromToCountThreshold
Bin0114168151
Bin1014184141

Port:

 CRC_15(11)
FromToCountThreshold
Bin0114310401
Bin1014326361

Port:

 CRC_15(10)
FromToCountThreshold
Bin0114445911
Bin1014461891

Port:

 CRC_15(9)
FromToCountThreshold
Bin0114382461
Bin1014398421

Port:

 CRC_15(8)
FromToCountThreshold
Bin0114522231
Bin1014538191

Port:

 CRC_15(7)
FromToCountThreshold
Bin0114890851
Bin1014906831

Port:

 CRC_15(6)
FromToCountThreshold
Bin0114285721
Bin1014301681

Port:

 CRC_15(5)
FromToCountThreshold
Bin0114421381
Bin1014437341

Port:

 CRC_15(4)
FromToCountThreshold
Bin0114541041
Bin1014557031

Port:

 CRC_15(3)
FromToCountThreshold
Bin0114537431
Bin1014553421

Port:

 CRC_15(2)
FromToCountThreshold
Bin0114405701
Bin1014421651

Port:

 CRC_15(1)
FromToCountThreshold
Bin0114564371
Bin1014580341

Port:

 CRC_15(0)
FromToCountThreshold
Bin0114700761
Bin1014716741

Port:

 CRC_17(16)
FromToCountThreshold
Bin0117340391
Bin1017356331

Port:

 CRC_17(15)
FromToCountThreshold
Bin0117445081
Bin1017461061

Port:

 CRC_17(14)
FromToCountThreshold
Bin0117590541
Bin1017606511

Port:

 CRC_17(13)
FromToCountThreshold
Bin0117571561
Bin1017587531

Port:

 CRC_17(12)
FromToCountThreshold
Bin0116959081
Bin1016975061

Port:

 CRC_17(11)
FromToCountThreshold
Bin0117105171
Bin1017121151

Port:

 CRC_17(10)
FromToCountThreshold
Bin0116577181
Bin1016593171

Port:

 CRC_17(9)
FromToCountThreshold
Bin0116713621
Bin1016729591

Port:

 CRC_17(8)
FromToCountThreshold
Bin0116859821
Bin1016875811

Port:

 CRC_17(7)
FromToCountThreshold
Bin0116994371
Bin1017010361

Port:

 CRC_17(6)
FromToCountThreshold
Bin0117136171
Bin1017152171

Port:

 CRC_17(5)
FromToCountThreshold
Bin0117133821
Bin1017149781

Port:

 CRC_17(4)
FromToCountThreshold
Bin0117255401
Bin1017271381

Port:

 CRC_17(3)
FromToCountThreshold
Bin0117440701
Bin1017456681

Port:

 CRC_17(2)
FromToCountThreshold
Bin0117139851
Bin1017155841

Port:

 CRC_17(1)
FromToCountThreshold
Bin0117292861
Bin1017308851

Port:

 CRC_17(0)
FromToCountThreshold
Bin0117577191
Bin1017593171

Port:

 CRC_21(20)
FromToCountThreshold
Bin0117383481
Bin1017399411

Port:

 CRC_21(19)
FromToCountThreshold
Bin0116944921
Bin1016960891

Port:

 CRC_21(18)
FromToCountThreshold
Bin0117091821
Bin1017107801

Port:

 CRC_21(17)
FromToCountThreshold
Bin0117236681
Bin1017252661

Port:

 CRC_21(16)
FromToCountThreshold
Bin0117364281
Bin1017380271

Port:

 CRC_21(15)
FromToCountThreshold
Bin0117495371
Bin1017511351

Port:

 CRC_21(14)
FromToCountThreshold
Bin0117625071
Bin1017641051

Port:

 CRC_21(13)
FromToCountThreshold
Bin0117774461
Bin1017790441

Port:

 CRC_21(12)
FromToCountThreshold
Bin0117181461
Bin1017197431

Port:

 CRC_21(11)
FromToCountThreshold
Bin0117332931
Bin1017348921

Port:

 CRC_21(10)
FromToCountThreshold
Bin0117239641
Bin1017255601

Port:

 CRC_21(9)
FromToCountThreshold
Bin0117376631
Bin1017392611

Port:

 CRC_21(8)
FromToCountThreshold
Bin0117533501
Bin1017549451

Port:

 CRC_21(7)
FromToCountThreshold
Bin0117685681
Bin1017701681

Port:

 CRC_21(6)
FromToCountThreshold
Bin0117103051
Bin1017119021

Port:

 CRC_21(5)
FromToCountThreshold
Bin0117240001
Bin1017255971

Port:

 CRC_21(4)
FromToCountThreshold
Bin0117371311
Bin1017387291

Port:

 CRC_21(3)
FromToCountThreshold
Bin0117532391
Bin1017548371

Port:

 CRC_21(2)
FromToCountThreshold
Bin0117522041
Bin1017538001

Port:

 CRC_21(1)
FromToCountThreshold
Bin0117648511
Bin1017664491

Port:

 CRC_21(0)
FromToCountThreshold
Bin0117778381
Bin1017794341

Port:

 ERR_FRM_REQ
FromToCountThreshold
Bin01308241
Bin10324241

Port:

 IS_ERR_ACTIVE
FromToCountThreshold
Bin0184241
Bin1084151

Port:

 BST_CTR(2)
FromToCountThreshold
Bin01333341
Bin10349341

Port:

 BST_CTR(1)
FromToCountThreshold
Bin01702251
Bin10718231

Port:

 BST_CTR(0)
FromToCountThreshold
Bin011407001
Bin101422981

Port:

 TRAN_IDENTIFIER(28)
FromToCountThreshold
Bin0139461
Bin1054841

Port:

 TRAN_IDENTIFIER(27)
FromToCountThreshold
Bin0139201
Bin1055421

Port:

 TRAN_IDENTIFIER(26)
FromToCountThreshold
Bin0137921
Bin1053241

Port:

 TRAN_IDENTIFIER(25)
FromToCountThreshold
Bin0141281
Bin1057461

Port:

 TRAN_IDENTIFIER(24)
FromToCountThreshold
Bin0138881
Bin1054251

Port:

 TRAN_IDENTIFIER(23)
FromToCountThreshold
Bin0141571
Bin1057701

Port:

 TRAN_IDENTIFIER(22)
FromToCountThreshold
Bin0138861
Bin1055041

Port:

 TRAN_IDENTIFIER(21)
FromToCountThreshold
Bin0142331
Bin1057831

Port:

 TRAN_IDENTIFIER(20)
FromToCountThreshold
Bin0138891
Bin1055061

Port:

 TRAN_IDENTIFIER(19)
FromToCountThreshold
Bin0142041
Bin1057491

Port:

 TRAN_IDENTIFIER(18)
FromToCountThreshold
Bin0138081
Bin1054291

Port:

 TRAN_IDENTIFIER(17)
FromToCountThreshold
Bin0116671
Bin1093681

Port:

 TRAN_IDENTIFIER(16)
FromToCountThreshold
Bin0117131
Bin1095841

Port:

 TRAN_IDENTIFIER(15)
FromToCountThreshold
Bin0116921
Bin1094641

Port:

 TRAN_IDENTIFIER(14)
FromToCountThreshold
Bin0117081
Bin1096761

Port:

 TRAN_IDENTIFIER(13)
FromToCountThreshold
Bin0117101
Bin1094871

Port:

 TRAN_IDENTIFIER(12)
FromToCountThreshold
Bin0116031
Bin1093701

Port:

 TRAN_IDENTIFIER(11)
FromToCountThreshold
Bin0116461
Bin1094101

Port:

 TRAN_IDENTIFIER(10)
FromToCountThreshold
Bin0116721
Bin1094691

Port:

 TRAN_IDENTIFIER(9)
FromToCountThreshold
Bin0117041
Bin1095261

Port:

 TRAN_IDENTIFIER(8)
FromToCountThreshold
Bin0117021
Bin1095361

Port:

 TRAN_IDENTIFIER(7)
FromToCountThreshold
Bin0117361
Bin1096561

Port:

 TRAN_IDENTIFIER(6)
FromToCountThreshold
Bin0116541
Bin1094061

Port:

 TRAN_IDENTIFIER(5)
FromToCountThreshold
Bin0117061
Bin1095131

Port:

 TRAN_IDENTIFIER(4)
FromToCountThreshold
Bin0117141
Bin1096181

Port:

 TRAN_IDENTIFIER(3)
FromToCountThreshold
Bin0117001
Bin1094811

Port:

 TRAN_IDENTIFIER(2)
FromToCountThreshold
Bin0117341
Bin1095711

Port:

 TRAN_IDENTIFIER(1)
FromToCountThreshold
Bin0117441
Bin1095851

Port:

 TRAN_IDENTIFIER(0)
FromToCountThreshold
Bin0116451
Bin1093811

Port:

 TRAN_FRAME_TEST.FSTC
FromToCountThreshold
Bin012701
Bin1018701

Port:

 TRAN_FRAME_TEST.FCRC
FromToCountThreshold
Bin011001
Bin1017001

Port:

 TRAN_FRAME_TEST.SDLC
FromToCountThreshold
Bin012701
Bin1018701

Port:

 TRAN_FRAME_TEST.TPRM(4)
FromToCountThreshold
Bin01701
Bin1032841

Port:

 TRAN_FRAME_TEST.TPRM(3)
FromToCountThreshold
Bin011831
Bin1018281

Port:

 TRAN_FRAME_TEST.TPRM(2)
FromToCountThreshold
Bin012351
Bin1018801

Port:

 TRAN_FRAME_TEST.TPRM(1)
FromToCountThreshold
Bin014291
Bin1020741

Port:

 TRAN_FRAME_TEST.TPRM(0)
FromToCountThreshold
Bin016461
Bin1022911

Port:

 TRAN_WORD_SWAPPED(31)
FromToCountThreshold
Bin01354381
Bin10370381

Port:

 TRAN_WORD_SWAPPED(30)
FromToCountThreshold
Bin01267391
Bin10283391

Port:

 TRAN_WORD_SWAPPED(29)
FromToCountThreshold
Bin01190321
Bin10206321

Port:

 TRAN_WORD_SWAPPED(28)
FromToCountThreshold
Bin01169381
Bin10185381

Port:

 TRAN_WORD_SWAPPED(27)
FromToCountThreshold
Bin01264701
Bin10280701

Port:

 TRAN_WORD_SWAPPED(26)
FromToCountThreshold
Bin01266801
Bin10282801

Port:

 TRAN_WORD_SWAPPED(25)
FromToCountThreshold
Bin01275521
Bin10291521

Port:

 TRAN_WORD_SWAPPED(24)
FromToCountThreshold
Bin01353771
Bin10369771

Port:

 TRAN_WORD_SWAPPED(23)
FromToCountThreshold
Bin01144001
Bin10160001

Port:

 TRAN_WORD_SWAPPED(22)
FromToCountThreshold
Bin01150591
Bin10166591

Port:

 TRAN_WORD_SWAPPED(21)
FromToCountThreshold
Bin01148491
Bin10164491

Port:

 TRAN_WORD_SWAPPED(20)
FromToCountThreshold
Bin01158211
Bin10174211

Port:

 TRAN_WORD_SWAPPED(19)
FromToCountThreshold
Bin01146881
Bin10162881

Port:

 TRAN_WORD_SWAPPED(18)
FromToCountThreshold
Bin01158461
Bin10174461

Port:

 TRAN_WORD_SWAPPED(17)
FromToCountThreshold
Bin01259281
Bin10275281

Port:

 TRAN_WORD_SWAPPED(16)
FromToCountThreshold
Bin01166271
Bin10182271

Port:

 TRAN_WORD_SWAPPED(15)
FromToCountThreshold
Bin01227771
Bin10243771

Port:

 TRAN_WORD_SWAPPED(14)
FromToCountThreshold
Bin01257041
Bin10273041

Port:

 TRAN_WORD_SWAPPED(13)
FromToCountThreshold
Bin01220321
Bin10236321

Port:

 TRAN_WORD_SWAPPED(12)
FromToCountThreshold
Bin01258331
Bin10274331

Port:

 TRAN_WORD_SWAPPED(11)
FromToCountThreshold
Bin01224411
Bin10240411

Port:

 TRAN_WORD_SWAPPED(10)
FromToCountThreshold
Bin01263551
Bin10279551

Port:

 TRAN_WORD_SWAPPED(9)
FromToCountThreshold
Bin01142081
Bin10158081

Port:

 TRAN_WORD_SWAPPED(8)
FromToCountThreshold
Bin01151351
Bin10167351

Port:

 TRAN_WORD_SWAPPED(7)
FromToCountThreshold
Bin0182511
Bin1098511

Port:

 TRAN_WORD_SWAPPED(6)
FromToCountThreshold
Bin0186701
Bin10102701

Port:

 TRAN_WORD_SWAPPED(5)
FromToCountThreshold
Bin0182501
Bin1098501

Port:

 TRAN_WORD_SWAPPED(4)
FromToCountThreshold
Bin01260161
Bin10276161

Port:

 TRAN_WORD_SWAPPED(3)
FromToCountThreshold
Bin01205591
Bin10221591

Port:

 TRAN_WORD_SWAPPED(2)
FromToCountThreshold
Bin01262281
Bin10278281

Port:

 TRAN_WORD_SWAPPED(1)
FromToCountThreshold
Bin01215301
Bin10231301

Port:

 TRAN_WORD_SWAPPED(0)
FromToCountThreshold
Bin01259861
Bin10275861

Port:

 TRAN_DLC(3)
FromToCountThreshold
Bin0115301
Bin1031291

Port:

 TRAN_DLC(2)
FromToCountThreshold
Bin0119431
Bin1035431

Port:

 TRAN_DLC(1)
FromToCountThreshold
Bin0119051
Bin1035041

Port:

 TRAN_DLC(0)
FromToCountThreshold
Bin0134941
Bin1050941

Signal:

 TX_SR_OUTPUT
FromToCountThreshold
Bin015242811
Bin105258801

Signal:

 TX_SR_CE
FromToCountThreshold
Bin0126487331
Bin1026503331

Signal:

 TX_SR_PLOAD
FromToCountThreshold
Bin014106291
Bin104122291

Signal:

 TX_SR_PLOAD_VAL(31)
FromToCountThreshold
Bin011058461
Bin101074461

Signal:

 TX_SR_PLOAD_VAL(30)
FromToCountThreshold
Bin011044501
Bin101060501

Signal:

 TX_SR_PLOAD_VAL(29)
FromToCountThreshold
Bin011128241
Bin101144241

Signal:

 TX_SR_PLOAD_VAL(28)
FromToCountThreshold
Bin011194991
Bin101210991

Signal:

 TX_SR_PLOAD_VAL(27)
FromToCountThreshold
Bin01837071
Bin10853071

Signal:

 TX_SR_PLOAD_VAL(26)
FromToCountThreshold
Bin01844551
Bin10860551

Signal:

 TX_SR_PLOAD_VAL(25)
FromToCountThreshold
Bin01835391
Bin10851391

Signal:

 TX_SR_PLOAD_VAL(24)
FromToCountThreshold
Bin01857421
Bin10873421

Signal:

 TX_SR_PLOAD_VAL(23)
FromToCountThreshold
Bin01811971
Bin10827971

Signal:

 TX_SR_PLOAD_VAL(22)
FromToCountThreshold
Bin01849841
Bin10865841

Signal:

 TX_SR_PLOAD_VAL(21)
FromToCountThreshold
Bin01854741
Bin10870741

Signal:

 TX_SR_PLOAD_VAL(20)
FromToCountThreshold
Bin01610571
Bin10626571

Signal:

 TX_SR_PLOAD_VAL(19)
FromToCountThreshold
Bin01595861
Bin10611861

Signal:

 TX_SR_PLOAD_VAL(18)
FromToCountThreshold
Bin01609191
Bin10625191

Signal:

 TX_SR_PLOAD_VAL(17)
FromToCountThreshold
Bin01604691
Bin10620691

Signal:

 TX_SR_PLOAD_VAL(16)
FromToCountThreshold
Bin01484711
Bin10500711

Signal:

 TX_SR_PLOAD_VAL(15)
FromToCountThreshold
Bin01438231
Bin10454231

Signal:

 TX_SR_PLOAD_VAL(14)
FromToCountThreshold
Bin01358971
Bin10374971

Signal:

 TX_SR_PLOAD_VAL(13)
FromToCountThreshold
Bin01261741
Bin10277741

Signal:

 TX_SR_PLOAD_VAL(12)
FromToCountThreshold
Bin01291461
Bin10307461

Signal:

 TX_SR_PLOAD_VAL(11)
FromToCountThreshold
Bin01262271
Bin10278271

Signal:

 TX_SR_PLOAD_VAL(10)
FromToCountThreshold
Bin01267541
Bin10283541

Signal:

 TX_SR_PLOAD_VAL(9)
FromToCountThreshold
Bin01237171
Bin10253171

Signal:

 TX_SR_PLOAD_VAL(8)
FromToCountThreshold
Bin01262601
Bin10278601

Signal:

 TX_SR_PLOAD_VAL(7)
FromToCountThreshold
Bin01227761
Bin10243761

Signal:

 TX_SR_PLOAD_VAL(6)
FromToCountThreshold
Bin01256201
Bin10272201

Signal:

 TX_SR_PLOAD_VAL(5)
FromToCountThreshold
Bin01227391
Bin10243391

Signal:

 TX_SR_PLOAD_VAL(4)
FromToCountThreshold
Bin01258111
Bin10274111

Signal:

 TX_SR_PLOAD_VAL(3)
FromToCountThreshold
Bin01230481
Bin10246481

Signal:

 TX_SR_PLOAD_VAL(2)
FromToCountThreshold
Bin01260971
Bin10276971

Signal:

 TX_SR_PLOAD_VAL(1)
FromToCountThreshold
Bin01231981
Bin10247981

Signal:

 TX_SR_PLOAD_VAL(0)
FromToCountThreshold
Bin01255651
Bin10271651

Signal:

 TX_BASE_ID(10)
FromToCountThreshold
Bin0138601
Bin1054591

Signal:

 TX_BASE_ID(9)
FromToCountThreshold
Bin0139171
Bin1055171

Signal:

 TX_BASE_ID(8)
FromToCountThreshold
Bin0137011
Bin1052991

Signal:

 TX_BASE_ID(7)
FromToCountThreshold
Bin0141231
Bin1057211

Signal:

 TX_BASE_ID(6)
FromToCountThreshold
Bin0137991
Bin1053991

Signal:

 TX_BASE_ID(5)
FromToCountThreshold
Bin0141471
Bin1057461

Signal:

 TX_BASE_ID(4)
FromToCountThreshold
Bin0138801
Bin1054791

Signal:

 TX_BASE_ID(3)
FromToCountThreshold
Bin0141461
Bin1057461

Signal:

 TX_BASE_ID(2)
FromToCountThreshold
Bin0138851
Bin1054831

Signal:

 TX_BASE_ID(1)
FromToCountThreshold
Bin0141151
Bin1057131

Signal:

 TX_BASE_ID(0)
FromToCountThreshold
Bin0138071
Bin1054061

Signal:

 TX_EXT_ID(17)
FromToCountThreshold
Bin0116611
Bin1032611

Signal:

 TX_EXT_ID(16)
FromToCountThreshold
Bin0117071
Bin1033071

Signal:

 TX_EXT_ID(15)
FromToCountThreshold
Bin0116861
Bin1032861

Signal:

 TX_EXT_ID(14)
FromToCountThreshold
Bin0117061
Bin1033061

Signal:

 TX_EXT_ID(13)
FromToCountThreshold
Bin0117091
Bin1033091

Signal:

 TX_EXT_ID(12)
FromToCountThreshold
Bin0116021
Bin1032021

Signal:

 TX_EXT_ID(11)
FromToCountThreshold
Bin0116451
Bin1032451

Signal:

 TX_EXT_ID(10)
FromToCountThreshold
Bin0116671
Bin1032671

Signal:

 TX_EXT_ID(9)
FromToCountThreshold
Bin0116991
Bin1032991

Signal:

 TX_EXT_ID(8)
FromToCountThreshold
Bin0116981
Bin1032981

Signal:

 TX_EXT_ID(7)
FromToCountThreshold
Bin0117321
Bin1033321

Signal:

 TX_EXT_ID(6)
FromToCountThreshold
Bin0116531
Bin1032531

Signal:

 TX_EXT_ID(5)
FromToCountThreshold
Bin0117051
Bin1033051

Signal:

 TX_EXT_ID(4)
FromToCountThreshold
Bin0117131
Bin1033131

Signal:

 TX_EXT_ID(3)
FromToCountThreshold
Bin0117001
Bin1033001

Signal:

 TX_EXT_ID(2)
FromToCountThreshold
Bin0117291
Bin1033291

Signal:

 TX_EXT_ID(1)
FromToCountThreshold
Bin0117401
Bin1033401

Signal:

 TX_EXT_ID(0)
FromToCountThreshold
Bin0116391
Bin1032391

Signal:

 TX_CRC(20)
FromToCountThreshold
Bin0117591931
Bin1017607911

Signal:

 TX_CRC(19)
FromToCountThreshold
Bin0116817131
Bin1016833121

Signal:

 TX_CRC(18)
FromToCountThreshold
Bin0116915291
Bin1016931271

Signal:

 TX_CRC(17)
FromToCountThreshold
Bin0117074981
Bin1017090941

Signal:

 TX_CRC(16)
FromToCountThreshold
Bin0117021891
Bin1017037881

Signal:

 TX_CRC(15)
FromToCountThreshold
Bin0116988651
Bin1017004631

Signal:

 TX_CRC(14)
FromToCountThreshold
Bin0117031861
Bin1017047841

Signal:

 TX_CRC(13)
FromToCountThreshold
Bin0117258111
Bin1017274091

Signal:

 TX_CRC(12)
FromToCountThreshold
Bin0116415401
Bin1016431381

Signal:

 TX_CRC(11)
FromToCountThreshold
Bin0116658451
Bin1016674421

Signal:

 TX_CRC(10)
FromToCountThreshold
Bin0117124791
Bin1017140791

Signal:

 TX_CRC(9)
FromToCountThreshold
Bin0117013961
Bin1017029931

Signal:

 TX_CRC(8)
FromToCountThreshold
Bin0116965991
Bin1016981961

Signal:

 TX_CRC(7)
FromToCountThreshold
Bin0117241721
Bin1017257711

Signal:

 TX_CRC(6)
FromToCountThreshold
Bin0116803241
Bin1016819231

Signal:

 TX_CRC(5)
FromToCountThreshold
Bin0114232691
Bin1014248681

Signal:

 TX_CRC(4)
FromToCountThreshold
Bin0114346991
Bin1014362981

Signal:

 TX_CRC(3)
FromToCountThreshold
Bin0112289851
Bin1012305851

Signal:

 TX_CRC(2)
FromToCountThreshold
Bin0112311201
Bin1012327201

Signal:

 TX_CRC(1)
FromToCountThreshold
Bin0112346561
Bin1012362561

Signal:

 TX_CRC(0)
FromToCountThreshold
Bin0112394001
Bin1012410001

Signal:

 TX_CRC_FLIPPED(20)
FromToCountThreshold
Bin0117592431
Bin1017608411

Signal:

 TX_CRC_FLIPPED(19)
FromToCountThreshold
Bin0116817631
Bin1016833621

Signal:

 TX_CRC_FLIPPED(18)
FromToCountThreshold
Bin0116915791
Bin1016931771

Signal:

 TX_CRC_FLIPPED(17)
FromToCountThreshold
Bin0117075481
Bin1017091441

Signal:

 TX_CRC_FLIPPED(16)
FromToCountThreshold
Bin0117022391
Bin1017038381

Signal:

 TX_CRC_FLIPPED(15)
FromToCountThreshold
Bin0116989151
Bin1017005131

Signal:

 TX_CRC_FLIPPED(14)
FromToCountThreshold
Bin0117032361
Bin1017048341

Signal:

 TX_CRC_FLIPPED(13)
FromToCountThreshold
Bin0117258611
Bin1017274591

Signal:

 TX_CRC_FLIPPED(12)
FromToCountThreshold
Bin0116415901
Bin1016431881

Signal:

 TX_CRC_FLIPPED(11)
FromToCountThreshold
Bin0116658951
Bin1016674921

Signal:

 TX_CRC_FLIPPED(10)
FromToCountThreshold
Bin0117125291
Bin1017141291

Signal:

 TX_CRC_FLIPPED(9)
FromToCountThreshold
Bin0117014461
Bin1017030431

Signal:

 TX_CRC_FLIPPED(8)
FromToCountThreshold
Bin0116966491
Bin1016982461

Signal:

 TX_CRC_FLIPPED(7)
FromToCountThreshold
Bin0117242221
Bin1017258211

Signal:

 TX_CRC_FLIPPED(6)
FromToCountThreshold
Bin0116803741
Bin1016819731

Signal:

 TX_CRC_FLIPPED(5)
FromToCountThreshold
Bin0114233191
Bin1014249181

Signal:

 TX_CRC_FLIPPED(4)
FromToCountThreshold
Bin0114347491
Bin1014363481

Signal:

 TX_CRC_FLIPPED(3)
FromToCountThreshold
Bin0112289901
Bin1012305901

Signal:

 TX_CRC_FLIPPED(2)
FromToCountThreshold
Bin0112311251
Bin1012327251

Signal:

 TX_CRC_FLIPPED(1)
FromToCountThreshold
Bin0112346611
Bin1012362611

Signal:

 TX_CRC_FLIPPED(0)
FromToCountThreshold
Bin0112394051
Bin1012410051

Signal:

 BST_CTR_GREY(2)
FromToCountThreshold
Bin011173521
Bin101755691

Signal:

 BST_CTR_GREY(1)
FromToCountThreshold
Bin011429641
Bin101499571

Signal:

 BST_CTR_GREY(0)
FromToCountThreshold
Bin011470781
Bin101458431

Signal:

 BST_PARITY
FromToCountThreshold
Bin011407001
Bin101422981

Signal:

 STUFF_COUNT(3)
FromToCountThreshold
Bin01333341
Bin10349341

Signal:

 STUFF_COUNT(2)
FromToCountThreshold
Bin01423821
Bin10439801

Signal:

 STUFF_COUNT(1)
FromToCountThreshold
Bin01768531
Bin10784511

Signal:

 STUFF_COUNT(0)
FromToCountThreshold
Bin011407001
Bin101422981

Signal:

 FLIP_MASK(20)
FromToCountThreshold
Bin0114731
Bin1038421

Signal:

 FLIP_MASK(19)
FromToCountThreshold
Bin011371
Bin1051781

Signal:

 FLIP_MASK(18)
FromToCountThreshold
Bin011411
Bin1051741

Signal:

 FLIP_MASK(17)
FromToCountThreshold
Bin01901
Bin1052251

Signal:

 FLIP_MASK(16)
FromToCountThreshold
Bin01721
Bin1052431

Signal:

 FLIP_MASK(15)
FromToCountThreshold
Bin01721
Bin1052431

Signal:

 FLIP_MASK(14)
FromToCountThreshold
Bin01611
Bin1052541

Signal:

 FLIP_MASK(13)
FromToCountThreshold
Bin01631
Bin1052521

Signal:

 FLIP_MASK(12)
FromToCountThreshold
Bin01601
Bin1052551

Signal:

 FLIP_MASK(11)
FromToCountThreshold
Bin01701
Bin1052451

Signal:

 FLIP_MASK(10)
FromToCountThreshold
Bin01691
Bin1052461

Signal:

 FLIP_MASK(9)
FromToCountThreshold
Bin01651
Bin1052501

Signal:

 FLIP_MASK(8)
FromToCountThreshold
Bin01651
Bin1052501

Signal:

 FLIP_MASK(7)
FromToCountThreshold
Bin01641
Bin1052511

Signal:

 FLIP_MASK(6)
FromToCountThreshold
Bin01611
Bin1052541

Signal:

 FLIP_MASK(5)
FromToCountThreshold
Bin01561
Bin1052591

Signal:

 FLIP_MASK(4)
FromToCountThreshold
Bin01501
Bin1052651

Signal:

 FLIP_MASK(3)
FromToCountThreshold
Bin0151
Bin1053101

Signal:

 FLIP_MASK(2)
FromToCountThreshold
Bin0151
Bin1053101

Signal:

 FLIP_MASK(1)
FromToCountThreshold
Bin0151
Bin1053101

Signal:

 FLIP_MASK(0)
FromToCountThreshold
Bin0151
Bin1053101

Signal:

 STUFF_COUNT_FLIPPED(3)
FromToCountThreshold
Bin01335541
Bin10351541

Signal:

 STUFF_COUNT_FLIPPED(2)
FromToCountThreshold
Bin01424531
Bin10440511

Signal:

 STUFF_COUNT_FLIPPED(1)
FromToCountThreshold
Bin01769341
Bin10785321

Signal:

 STUFF_COUNT_FLIPPED(0)
FromToCountThreshold
Bin011407291
Bin101423271

Signal:

 TRAN_DLC_SWAPPED(3)
FromToCountThreshold
Bin0116371
Bin1032361

Signal:

 TRAN_DLC_SWAPPED(2)
FromToCountThreshold
Bin0120461
Bin1036461

Signal:

 TRAN_DLC_SWAPPED(1)
FromToCountThreshold
Bin0120161
Bin1036151

Signal:

 TRAN_DLC_SWAPPED(0)
FromToCountThreshold
Bin0135971
Bin1051971

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1') 
Evaluated toCountThreshold
BinFalse168487751
BinTrue53525021

"=" expression

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1'
Evaluated toCountThreshold
BinFalse111572741
BinTrue110440031

"and" expression

234:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1'
                              <------LHS------->     <-----RHS------>  

LHSRHSCountThreshold
BinFalseTrue83952701
BinTrueFalse27037691
BinTrueTrue26487331

"=" expression

239:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
Evaluated toCountThreshold
BinFalse8273501
BinTrue497041

"=" expression

240:                             tx_load_ext_id = '1' or 
Evaluated toCountThreshold
BinFalse8395221
BinTrue375321

"or" expression

239:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
240:                             tx_load_ext_id = '1' or 

LHSRHSCountThreshold
BinFalseFalse7898181
BinFalseTrue375321
BinTrueFalse497041

"=" expression

241:                             tx_load_dlc = '1' or 
Evaluated toCountThreshold
BinFalse7558491
BinTrue1212051

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse6686131
BinFalseTrue1212051
BinTrueFalse872361

"=" expression

242:                             tx_load_data_word = '1' or 
Evaluated toCountThreshold
BinFalse7195681
BinTrue1574861

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse5111271
BinFalseTrue1574861
BinTrueFalse2084411

"=" expression

243:                             tx_load_stuff_count = '1' or 
Evaluated toCountThreshold
BinFalse8368571
BinTrue401971

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse4709301
BinFalseTrue401971
BinTrueFalse3659271

"=" expression

244:                             tx_load_crc = '1'
Evaluated toCountThreshold
BinFalse8199531
BinTrue571011

"or" expression

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') 

LHSRHSCountThreshold
BinFalseFalse4138291
BinFalseTrue571011
BinTrueFalse4061241

"xor" expression

264:    bst_parity <= bst_ctr_grey(0) xor bst_ctr_grey(1) xor bst_ctr_grey(2); 
                      <-----LHS----->     <-----RHS----->                      

LHSRHSCountThreshold
Bin'0''0'750491
Bin'0''1'707941
Bin'1''0'749081
Bin'1''1'721701

"xor" expression

264:    bst_parity <= bst_ctr_grey(0) xor bst_ctr_grey(1) xor bst_ctr_grey(2)
                      <---------------LHS--------------->     <-----RHS----->  

LHSRHSCountThreshold
Bin'0''0'910441
Bin'0''1'561751
Bin'1''0'845251
Bin'1''1'611771

"=" expression

278:        if (mr_mode_tstm = '1') then 
Evaluated toCountThreshold
BinFalse59261
BinTrue28271

"=" expression

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

"=" expression

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

"=" expression

294:    tran_dlc_swapped <= tran_frame_test.tprm(3 downto 0) when (tran_frame_test.sdlc = '1' and 
Evaluated toCountThreshold
BinFalse211161
BinTrue2701

"=" expression

295:                                                               mr_mode_tstm = '1'
Evaluated toCountThreshold
BinFalse167691
BinTrue46171

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue43971
BinTrueFalse501
BinTrueTrue2201

"=" expression

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

"=" expression

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

"=" expression

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

"=" expression

311:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Evaluated toCountThreshold
BinFalse78775881
BinTrue1574861

"=" expression

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

"=" expression

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

"=" expression

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

"=" expression

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

"and" expression

339:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
                                      <------LHS------>     <-------RHS------->       

LHSRHSCountThreshold
BinFalseTrue12629981
BinTrueFalse122691
BinTrueTrue303261

"=" expression

340:                   RECESSIVE when (err_frm_req = '1') else 
Evaluated toCountThreshold
BinFalse13839441
BinTrue122691

"=" expression

341:                   DOMINANT when (tx_dominant = '1') else 
Evaluated toCountThreshold
BinFalse12604021
BinTrue1235421

"=" expression

342:                   tx_sr_output when (tx_shift_ena = '1') else 
Evaluated toCountThreshold
BinFalse1935981
BinTrue10668041

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: