NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_TX_SHIFT_REG

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_pc_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_TX_SHIFT_REG 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.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_TX_SHIFT_REG 100.0 % (50/50) 100.0 % (44/44) 100.0 % (642/642) 100.0 % (80/80) N.A. N.A. 100.0 % (816/816)

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 237 to 239:

237:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1') 
238:                    else 
239:                '0'; 

Count: 22982059
Threshold: 1

Signal assignment statement on line 237:

237:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1') 
Count: 2670025
Threshold: 1

Signal assignment statement on line 239:

239:                '0'
Count: 20312034
Threshold: 1

If statement on lines 242 to 249:

242:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
243:                             tx_load_ext_id = '1' or 
...
248:                       else 
249:                   '0'; 

Count: 890086
Threshold: 1

Signal assignment statement on line 242:

242:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
Count: 469835
Threshold: 1

Signal assignment statement on line 249:

249:                   '0'
Count: 420251
Threshold: 1

If statement on lines 252 to 254:

252:    tx_crc <= crc_15 & "000000" when (crc_src = C_CRC15_SRC) else 
253:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
254:                        crc_21; 

Count: 8830702
Threshold: 1

Signal assignment statement on line 252:

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

Signal assignment statement on line 253:

253:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
Count: 1082655
Threshold: 1

Signal assignment statement on line 254:

254:                        crc_21
Count: 6087212
Threshold: 1

Sequential statement on lines 257 to 265:

257:    with bst_ctr select bst_ctr_grey <= 
258:        "001" when "001", 
...
264:        "100" when "111", 
265:        "000" when others; 

Count: 298951
Threshold: 1

Signal assignment statement on line 258:

258:        "001" when "001", 
Count: 47742
Threshold: 1

Signal assignment statement on line 259:

259:        "011" when "010", 
Count: 43430
Threshold: 1

Signal assignment statement on line 260:

260:        "010" when "011", 
Count: 37917
Threshold: 1

Signal assignment statement on line 261:

261:        "110" when "100", 
Count: 33793
Threshold: 1

Signal assignment statement on line 262:

262:        "111" when "101", 
Count: 30293
Threshold: 1

Signal assignment statement on line 263:

263:        "101" when "110", 
Count: 28316
Threshold: 1

Signal assignment statement on line 264:

264:        "100" when "111", 
Count: 26519
Threshold: 1

Signal assignment statement on line 265:

265:        "000" when others; 
Count: 50941
Threshold: 1

Signal assignment statement on line 267:

267:    bst_parity <= bst_ctr_grey(0) xor bst_ctr_grey(1) xor bst_ctr_grey(2)
Count: 298951
Threshold: 1

Signal assignment statement on line 269:

269:    stuff_count <= bst_ctr_grey & bst_parity
Count: 585493
Threshold: 1

Signal assignment statement on line 272:

272:    tx_base_id <= tran_identifier(IDENTIFIER_BASE_H downto IDENTIFIER_BASE_L)
Count: 17650
Threshold: 1

Signal assignment statement on line 273:

273:    tx_ext_id <= tran_identifier(IDENTIFIER_EXT_H downto IDENTIFIER_EXT_L)
Count: 9945
Threshold: 1

Signal assignment statement on lines 275 to 276:

275:    tran_word_swapped <= tran_word(7 downto 0)   & tran_word(15 downto 8) & 
276:                         tran_word(23 downto 16) & tran_word(31 downto 24); 

Count: 161387
Threshold: 1

Signal assignment statement on line 283:

283:        flip_mask <= (others => '0'); 
Count: 8744
Threshold: 1

If statement on lines 284 to 286:

284:        if (mr_mode_tstm = '1') then 
285:            flip_mask(20 - to_integer(unsigned(tran_frame_test.tprm))) <= '1'; 
286:        end if; 

Count: 8744
Threshold: 1

Signal assignment statement on line 285:

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

If statement on lines 290 to 292:

290:    tx_crc_flipped <= (tx_crc xor flip_mask) when (tran_frame_test.fcrc = '1') 
291:                                             else 
292:                                      tx_crc; 

Count: 6839860
Threshold: 1

Signal assignment statement on line 290:

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

Signal assignment statement on line 292:

292:                                      tx_crc
Count: 6775262
Threshold: 1

If statement on lines 295 to 297:

295:    stuff_count_flipped <= (stuff_count xor flip_mask(20 downto 17)) when (tran_frame_test.fstc = '1') 
296:                                                                     else 
297:                                                         stuff_count; 

Count: 592065
Threshold: 1

Signal assignment statement on line 295:

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

Signal assignment statement on line 297:

297:                                                         stuff_count
Count: 590096
Threshold: 1

If statement on lines 300 to 303:

300:    tran_dlc_swapped <= tran_frame_test.tprm(3 downto 0) when (tran_frame_test.sdlc = '1' and 
301:                                                               mr_mode_tstm = '1') 
302:                                                         else 
303:                                                tran_dlc; 

Count: 21425
Threshold: 1

Signal assignment statement on line 300:

300:    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 303:

303:                                                tran_dlc
Count: 21205
Threshold: 1

If statement on lines 313 to 320:

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

Count: 8311315
Threshold: 1

Signal assignment statement on line 314:

314:                    tx_base_id & "000000000000000000000" when (tx_load_base_id = '1') else 
Count: 51084
Threshold: 1

Signal assignment statement on line 315:

315:                            tx_ext_id & "00000000000000" when (tx_load_ext_id = '1') else 
Count: 42334
Threshold: 1

Signal assignment statement on line 316:

316:       tran_dlc_swapped & "0000000000000000000000000000" when (tx_load_dlc = '1') else 
Count: 122262
Threshold: 1

Signal assignment statement on line 317:

317:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Count: 157121
Threshold: 1

Signal assignment statement on line 318:

318:    stuff_count_flipped & "0000000000000000000000000000" when (tx_load_stuff_count = '1') else 
Count: 39904
Threshold: 1

Signal assignment statement on line 319:

319:                          tx_crc_flipped & "00000000000" when (tx_load_crc = '1') else 
Count: 57143
Threshold: 1

Signal assignment statement on line 320:

320:                                        (others => '0')
Count: 7841467
Threshold: 1

If statement on lines 345 to 349:

345:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
346:                   RECESSIVE when (err_frm_req = '1') else 
347:                   DOMINANT when (tx_dominant = '1') else 
348:                   tx_sr_output when (tx_shift_ena = '1') else 
349:                   RECESSIVE; 

Count: 1435576
Threshold: 1

Signal assignment statement on line 345:

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

Signal assignment statement on line 346:

346:                   RECESSIVE when (err_frm_req = '1') else 
Count: 13325
Threshold: 1

Signal assignment statement on line 347:

347:                   DOMINANT when (tx_dominant = '1') else 
Count: 125123
Threshold: 1

Signal assignment statement on line 348:

348:                   tx_sr_output when (tx_shift_ena = '1') else 
Count: 1071795
Threshold: 1

Signal assignment statement on line 349:

349:                   RECESSIVE
Count: 194688
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

237:    tx_sr_ce <= '1' when (tx_shift_ena = '1' and tx_trigger = '1'
Evaluated toCountThreshold
BinTrue26700251
BinFalse203120341

"if" / "when" / "else" condition on lines 242 to 247:

242:    tx_sr_pload <= '1' when (tx_load_base_id = '1' or 
243:                             tx_load_ext_id = '1' or 
244:                             tx_load_dlc = '1' or 
245:                             tx_load_data_word = '1' or 
246:                             tx_load_stuff_count = '1' or 
247:                             tx_load_crc = '1') 

Evaluated toCountThreshold
BinTrue4698351
BinFalse4202511

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

252:    tx_crc <= crc_15 & "000000" when (crc_src = C_CRC15_SRC) else 
Evaluated toCountThreshold
BinTrue16608351
BinFalse71698671

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

253:                crc_17 & "0000" when (crc_src = C_CRC17_SRC) else 
Evaluated toCountThreshold
BinTrue10826551
BinFalse60872121

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

258:        "001" when "001"
Choice ofCountThreshold
Bin"001"477421

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

259:        "011" when "010"
Choice ofCountThreshold
Bin"010"434301

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

260:        "010" when "011"
Choice ofCountThreshold
Bin"011"379171

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

261:        "110" when "100"
Choice ofCountThreshold
Bin"100"337931

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

262:        "111" when "101"
Choice ofCountThreshold
Bin"101"302931

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

263:        "101" when "110"
Choice ofCountThreshold
Bin"110"283161

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

264:        "100" when "111"
Choice ofCountThreshold
Bin"111"265191

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

265:        "000" when others
Choice ofCountThreshold
Binothers509411

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

284:        if (mr_mode_tstm = '1') then 
Evaluated toCountThreshold
BinTrue28151
BinFalse59291

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

290:    tx_crc_flipped <= (tx_crc xor flip_mask) when (tran_frame_test.fcrc = '1'
Evaluated toCountThreshold
BinTrue645981
BinFalse67752621

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

295:    stuff_count_flipped <= (stuff_count xor flip_mask(20 downto 17)) when (tran_frame_test.fstc = '1'
Evaluated toCountThreshold
BinTrue19691
BinFalse5900961

"if" / "when" / "else" condition on lines 300 to 301:

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

Evaluated toCountThreshold
BinTrue2201
BinFalse212051

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

314:                    tx_base_id & "000000000000000000000" when (tx_load_base_id = '1') else 
Evaluated toCountThreshold
BinTrue510841
BinFalse82602311

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

315:                            tx_ext_id & "00000000000000" when (tx_load_ext_id = '1') else 
Evaluated toCountThreshold
BinTrue423341
BinFalse82178971

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

316:       tran_dlc_swapped & "0000000000000000000000000000" when (tx_load_dlc = '1') else 
Evaluated toCountThreshold
BinTrue1222621
BinFalse80956351

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

317:                                       tran_word_swapped when (tx_load_data_word = '1') else 
Evaluated toCountThreshold
BinTrue1571211
BinFalse79385141

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

318:    stuff_count_flipped & "0000000000000000000000000000" when (tx_load_stuff_count = '1') else 
Evaluated toCountThreshold
BinTrue399041
BinFalse78986101

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

319:                          tx_crc_flipped & "00000000000" when (tx_load_crc = '1') else 
Evaluated toCountThreshold
BinTrue571431
BinFalse78414671

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

345:    tx_data_nbs <= DOMINANT when (err_frm_req = '1' and is_err_active = '1') else 
Evaluated toCountThreshold
BinTrue306451
BinFalse14049311

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

346:                   RECESSIVE when (err_frm_req = '1') else 
Evaluated toCountThreshold
BinTrue133251
BinFalse13916061

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

347:                   DOMINANT when (tx_dominant = '1') else 
Evaluated toCountThreshold
BinTrue1251231
BinFalse12664831

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

348:                   tx_sr_output when (tx_shift_ena = '1') else 
Evaluated toCountThreshold
BinTrue10717951
BinFalse1946881

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:

 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
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
Bin016484461
Bin106468471

Port:

 TRAN_FRAME_TEST
ElementFromToCountThreshold
BinFSTC012701
BinFSTC1018711
BinFCRC011001
BinFCRC1017011
BinSDLC012701
BinSDLC1018711
BinTPRM(4)01581
BinTPRM(4)1032731
BinTPRM(3)011891
BinTPRM(3)1018381
BinTPRM(2)012091
BinTPRM(2)1018581
BinTPRM(1)014311
BinTPRM(1)1020801
BinTPRM(0)016531
BinTPRM(0)1023021

Signal:

 TX_SR_OUTPUT
FromToCountThreshold
Bin015246261
Bin105262261

Signal:

 TX_SR_CE
FromToCountThreshold
Bin0126700251
Bin1026716261

Signal:

 TX_SR_PLOAD
FromToCountThreshold
Bin014170491
Bin104186501

Signal:

 TX_SR_PLOAD_VAL
ElementFromToCountThreshold
Bin(31)011046611
Bin(31)101062621
Bin(30)011056991
Bin(30)101073001
Bin(29)011124201
Bin(29)101140211
Bin(28)011186571
Bin(28)101202581
Bin(27)01826051
Bin(27)10842061
Bin(26)01844381
Bin(26)10860391
Bin(25)01829101
Bin(25)10845111
Bin(24)01867541
Bin(24)10883551
Bin(23)01830061
Bin(23)10846071
Bin(22)01846981
Bin(22)10862991
Bin(21)01865531
Bin(21)10881541
Bin(20)01607511
Bin(20)10623521
Bin(19)01594071
Bin(19)10610081
Bin(18)01643781
Bin(18)10659791
Bin(17)01594401
Bin(17)10610411
Bin(16)01482671
Bin(16)10498681
Bin(15)01443901
Bin(15)10459911
Bin(14)01362051
Bin(14)10378061
Bin(13)01268271
Bin(13)10284281
Bin(12)01284071
Bin(12)10300081
Bin(11)01259431
Bin(11)10275441
Bin(10)01267051
Bin(10)10283061
Bin(9)01244201
Bin(9)10260211
Bin(8)01257161
Bin(8)10273171
Bin(7)01238461
Bin(7)10254471
Bin(6)01253351
Bin(6)10269361
Bin(5)01229591
Bin(5)10245601
Bin(4)01256631
Bin(4)10272641
Bin(3)01234101
Bin(3)10250111
Bin(2)01259221
Bin(2)10275231
Bin(1)01240071
Bin(1)10256081
Bin(0)01264591
Bin(0)10280601

Signal:

 TX_BASE_ID
ElementFromToCountThreshold
Bin(10)0138391
Bin(10)1054381
Bin(9)0138811
Bin(9)1054821
Bin(8)0137791
Bin(8)1053791
Bin(7)0141161
Bin(7)1057151
Bin(6)0138661
Bin(6)1054661
Bin(5)0141141
Bin(5)1057141
Bin(4)0138071
Bin(4)1054061
Bin(3)0141121
Bin(3)1057101
Bin(2)0138661
Bin(2)1054661
Bin(1)0141301
Bin(1)1057291
Bin(0)0138171
Bin(0)1054151

Signal:

 TX_EXT_ID
ElementFromToCountThreshold
Bin(17)0117491
Bin(17)1033501
Bin(16)0117351
Bin(16)1033361
Bin(15)0117501
Bin(15)1033511
Bin(14)0116971
Bin(14)1032981
Bin(13)0117111
Bin(13)1033121
Bin(12)0116621
Bin(12)1032631
Bin(11)0117331
Bin(11)1033341
Bin(10)0116581
Bin(10)1032591
Bin(9)0117211
Bin(9)1033221
Bin(8)0117001
Bin(8)1033011
Bin(7)0117701
Bin(7)1033711
Bin(6)0117401
Bin(6)1033411
Bin(5)0117501
Bin(5)1033511
Bin(4)0117351
Bin(4)1033361
Bin(3)0117531
Bin(3)1033541
Bin(2)0117271
Bin(2)1033281
Bin(1)0117491
Bin(1)1033501
Bin(0)0117221
Bin(0)1033231

Signal:

 TX_CRC
ElementFromToCountThreshold
Bin(20)0117751851
Bin(20)1017767821
Bin(19)0116895571
Bin(19)1016911551
Bin(18)0116991301
Bin(18)1017007311
Bin(17)0117141911
Bin(17)1017157871
Bin(16)0117125941
Bin(16)1017141931
Bin(15)0117131651
Bin(15)1017147631
Bin(14)0117198041
Bin(14)1017214021
Bin(13)0117302031
Bin(13)1017318031
Bin(12)0116523841
Bin(12)1016539831
Bin(11)0116759481
Bin(11)1016775451
Bin(10)0117250391
Bin(10)1017266391
Bin(9)0117100761
Bin(9)1017116751
Bin(8)0117122121
Bin(8)1017138081
Bin(7)0117364791
Bin(7)1017380791
Bin(6)0116956641
Bin(6)1016972641
Bin(5)0114152481
Bin(5)1014168461
Bin(4)0114261771
Bin(4)1014277751
Bin(3)0112288351
Bin(3)1012304361
Bin(2)0112298561
Bin(2)1012314571
Bin(1)0112334251
Bin(1)1012350261
Bin(0)0112382731
Bin(0)1012398741

Signal:

 TX_CRC_FLIPPED
ElementFromToCountThreshold
Bin(20)0117752351
Bin(20)1017768321
Bin(19)0116896071
Bin(19)1016912051
Bin(18)0116991801
Bin(18)1017007811
Bin(17)0117142411
Bin(17)1017158371
Bin(16)0117126441
Bin(16)1017142431
Bin(15)0117132151
Bin(15)1017148131
Bin(14)0117198541
Bin(14)1017214521
Bin(13)0117302531
Bin(13)1017318531
Bin(12)0116524341
Bin(12)1016540331
Bin(11)0116759981
Bin(11)1016775951
Bin(10)0117250891
Bin(10)1017266891
Bin(9)0117101261
Bin(9)1017117251
Bin(8)0117122621
Bin(8)1017138581
Bin(7)0117365291
Bin(7)1017381291
Bin(6)0116957141
Bin(6)1016973141
Bin(5)0114152981
Bin(5)1014168961
Bin(4)0114262271
Bin(4)1014278251
Bin(3)0112288371
Bin(3)1012304381
Bin(2)0112298581
Bin(2)1012314591
Bin(1)0112334271
Bin(1)1012350281
Bin(0)0112382751
Bin(0)1012398761

Signal:

 BST_CTR_GREY
ElementFromToCountThreshold
Bin(2)011189211
Bin(2)101784291
Bin(1)011454331
Bin(1)101519171
Bin(0)011497811
Bin(0)101475691

Signal:

 BST_PARITY
FromToCountThreshold
Bin011424711
Bin101440711

Signal:

 STUFF_COUNT
ElementFromToCountThreshold
Bin(3)01337931
Bin(3)10353931
Bin(2)01434301
Bin(2)10450291
Bin(1)01780351
Bin(1)10796341
Bin(0)011424711
Bin(0)101440711

Signal:

 FLIP_MASK
ElementFromToCountThreshold
Bin(20)0114641
Bin(20)1038221
Bin(19)011461
Bin(19)1051401
Bin(18)011241
Bin(18)1051621
Bin(17)011061
Bin(17)1051801
Bin(16)01651
Bin(16)1052211
Bin(15)01591
Bin(15)1052271
Bin(14)01641
Bin(14)1052221
Bin(13)01621
Bin(13)1052241
Bin(12)01711
Bin(12)1052151
Bin(11)01731
Bin(11)1052131
Bin(10)01691
Bin(10)1052171
Bin(9)01621
Bin(9)1052241
Bin(8)01581
Bin(8)1052281
Bin(7)01581
Bin(7)1052281
Bin(6)01621
Bin(6)1052241
Bin(5)01581
Bin(5)1052281
Bin(4)01501
Bin(4)1052361
Bin(3)0121
Bin(3)1052841
Bin(2)0121
Bin(2)1052841
Bin(1)0121
Bin(1)1052841
Bin(0)0121
Bin(0)1052841

Signal:

 STUFF_COUNT_FLIPPED
ElementFromToCountThreshold
Bin(3)01340131
Bin(3)10356131
Bin(2)01435021
Bin(2)10451011
Bin(1)01781001
Bin(1)10796991
Bin(0)011425081
Bin(0)101441081

Signal:

 TRAN_DLC_SWAPPED
ElementFromToCountThreshold
Bin(3)0116081
Bin(3)1032081
Bin(2)0120521
Bin(2)1036521
Bin(1)0120131
Bin(1)1036141
Bin(0)0136691
Bin(0)1052701

Signal:

 TRAN_WORD_SWAPPED
ElementFromToCountThreshold
Bin(31)01362731
Bin(31)10378741
Bin(30)01284291
Bin(30)10300301
Bin(29)01211161
Bin(29)10227171
Bin(28)01183021
Bin(28)10199031
Bin(27)01272031
Bin(27)10288041
Bin(26)01289571
Bin(26)10305581
Bin(25)01291251
Bin(25)10307261
Bin(24)01362521
Bin(24)10378531
Bin(23)01156091
Bin(23)10172101
Bin(22)01154441
Bin(22)10170451
Bin(21)01151851
Bin(21)10167861
Bin(20)01150971
Bin(20)10166981
Bin(19)01161201
Bin(19)10177211
Bin(18)01176471
Bin(18)10192481
Bin(17)01267631
Bin(17)10283641
Bin(16)01161931
Bin(16)10177941
Bin(15)01230841
Bin(15)10246851
Bin(14)01265411
Bin(14)10281421
Bin(13)01233411
Bin(13)10249421
Bin(12)01263691
Bin(12)10279701
Bin(11)01229491
Bin(11)10245501
Bin(10)01275601
Bin(10)10291611
Bin(9)01153631
Bin(9)10169641
Bin(8)01156541
Bin(8)10172551
Bin(7)0187011
Bin(7)10103021
Bin(6)0186511
Bin(6)10102521
Bin(5)0184181
Bin(5)10100191
Bin(4)01261851
Bin(4)10277861
Bin(3)01204231
Bin(3)10220241
Bin(2)01266341
Bin(2)10282351
Bin(1)01217261
Bin(1)10233271
Bin(0)01275331
Bin(0)10291341

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 237:

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

LHSRHSCountThreshold
BinFalseTrue87620131
BinTrueFalse27274171
BinTrueTrue26700251

"=" expression on line 237:

 tx_shift_ena = '1' 
Evaluated toCountThreshold
BinFalse175846171
BinTrue53974421

"=" expression on line 237:

 tx_trigger = '1' 
Evaluated toCountThreshold
BinFalse115500211
BinTrue114320381

"or" expression on lines 242 to 247:

 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
BinFalseFalse4202511
BinFalseTrue571431
BinTrueFalse4126921

"or" expression on lines 242 to 246:

 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
BinFalseFalse4773941
BinFalseTrue399041
BinTrueFalse3727881

"or" expression on lines 242 to 245:

 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
BinFalseFalse5172981
BinFalseTrue1571211
BinTrueFalse2156671

"or" expression on lines 242 to 244:

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

LHSRHSCountThreshold
BinFalseFalse6744191
BinFalseTrue1222621
BinTrueFalse934051

"or" expression on lines 242 to 243:

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

LHSRHSCountThreshold
BinFalseFalse7966811
BinFalseTrue423341
BinTrueFalse510711

"=" expression on line 242:

 tx_load_base_id = '1' 
Evaluated toCountThreshold
BinFalse8390151
BinTrue510711

"=" expression on line 243:

 tx_load_ext_id = '1' 
Evaluated toCountThreshold
BinFalse8477521
BinTrue423341

"=" expression on line 244:

 tx_load_dlc = '1' 
Evaluated toCountThreshold
BinFalse7678241
BinTrue1222621

"=" expression on line 245:

 tx_load_data_word = '1' 
Evaluated toCountThreshold
BinFalse7329651
BinTrue1571211

"=" expression on line 246:

 tx_load_stuff_count = '1' 
Evaluated toCountThreshold
BinFalse8501821
BinTrue399041

"=" expression on line 247:

 tx_load_crc = '1' 
Evaluated toCountThreshold
BinFalse8329431
BinTrue571431

"xor" expression on line 267:

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

LHSRHSCountThreshold
Bin'0''0'927701
Bin'0''1'568121
Bin'1''0'856591
Bin'1''1'621091

"xor" expression on line 267:

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

LHSRHSCountThreshold
Bin'0''0'758591
Bin'0''1'717101
Bin'1''0'760581
Bin'1''1'737231

"=" expression on line 284:

 mr_mode_tstm = '1' 
Evaluated toCountThreshold
BinFalse59291
BinTrue28151

"=" expression on line 290:

 tran_frame_test.fcrc = '1' 
Evaluated toCountThreshold
BinFalse67752621
BinTrue645981

"=" expression on line 295:

 tran_frame_test.fstc = '1' 
Evaluated toCountThreshold
BinFalse5900961
BinTrue19691

"and" expression on lines 300 to 301:

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

LHSRHSCountThreshold
BinFalseTrue43661
BinTrueFalse501
BinTrueTrue2201

"=" expression on line 300:

 tran_frame_test.sdlc = '1' 
Evaluated toCountThreshold
BinFalse211551
BinTrue2701

"=" expression on line 301:

 mr_mode_tstm = '1' 
Evaluated toCountThreshold
BinFalse168391
BinTrue45861

"=" expression on line 314:

 tx_load_base_id = '1' 
Evaluated toCountThreshold
BinFalse82602311
BinTrue510841

"=" expression on line 315:

 tx_load_ext_id = '1' 
Evaluated toCountThreshold
BinFalse82178971
BinTrue423341

"=" expression on line 316:

 tx_load_dlc = '1' 
Evaluated toCountThreshold
BinFalse80956351
BinTrue1222621

"=" expression on line 317:

 tx_load_data_word = '1' 
Evaluated toCountThreshold
BinFalse79385141
BinTrue1571211

"=" expression on line 318:

 tx_load_stuff_count = '1' 
Evaluated toCountThreshold
BinFalse78986101
BinTrue399041

"=" expression on line 319:

 tx_load_crc = '1' 
Evaluated toCountThreshold
BinFalse78414671
BinTrue571431

"and" expression on line 345:

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

LHSRHSCountThreshold
BinFalseTrue12325371
BinTrueFalse133251
BinTrueTrue306451

"=" expression on line 345:

 err_frm_req = '1' 
Evaluated toCountThreshold
BinFalse13916061
BinTrue439701

"=" expression on line 345:

 is_err_active = '1' 
Evaluated toCountThreshold
BinFalse1723941
BinTrue12631821

"=" expression on line 346:

 err_frm_req = '1' 
Evaluated toCountThreshold
BinFalse13916061
BinTrue133251

"=" expression on line 347:

 tx_dominant = '1' 
Evaluated toCountThreshold
BinFalse12664831
BinTrue1251231

"=" expression on line 348:

 tx_shift_ena = '1' 
Evaluated toCountThreshold
BinFalse1946881
BinTrue10717951

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: