NVC code coverage report

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

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

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
RX_SHIFT_RES_REG_INST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
RX_SHIFT_CMD_GEN(0) 100.0 % (3/3) 100.0 % (2/2) N.A. 100.0 % (7/7) N.A. N.A. 100.0 % (12/12)
RX_SHIFT_CMD_GEN(1) 100.0 % (3/3) 100.0 % (2/2) N.A. 100.0 % (7/7) N.A. N.A. 100.0 % (12/12)
RX_SHIFT_CMD_GEN(2) 100.0 % (3/3) 100.0 % (2/2) N.A. 100.0 % (7/7) N.A. N.A. 100.0 % (12/12)
RX_SHIFT_CMD_GEN(3) 100.0 % (3/3) 100.0 % (2/2) N.A. 100.0 % (7/7) N.A. N.A. 100.0 % (12/12)
SHIFT_REG_BYTE_INST 100.0 % (25/25) 100.0 % (30/30) 100.0 % (156/156) 100.0 % (22/22) N.A. N.A. 100.0 % (233/233)

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.RX_SHIFT_REG_INST 100.0 % (42/42) 100.0 % (54/54) 100.0 % (324/324) 100.0 % (43/43) N.A. N.A. 100.0 % (463/463)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0') 
223:                     else 
224:                 '1'; 

Count: 159912
Threshold: 1

Signal assignment statement:

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0') 
Count: 78351
Threshold: 1

Signal assignment statement:

224:                 '1'
Count: 81561
Threshold: 1

Signal assignment statement:

260:    rec_dlc_d <= rx_shift_reg_q(2 downto 0) & rx_data_nbs
Count: 4978111
Threshold: 1

Signal assignment statement:

262:    rx_shift_in_sel_demuxed <= rx_shift_in_sel & rx_shift_in_sel & 
263:                               rx_shift_in_sel; 

Count: 75296
Threshold: 1

If statement:

289:        if (res_n_i_q_scan = '0') then 
290:            rec_ident <= (others => '0'); 
...
300:            end if; 
301:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

290:            rec_ident <= (others => '0'); 
Count: 2597318
Threshold: 1

If statement:

292:            if (rx_store_base_id = '1') then 
293:                rec_ident(IDENTIFIER_BASE_H downto IDENTIFIER_BASE_L) <= 
294:                    rx_shift_reg_q(9 downto 0) & rx_data_nbs; 
295:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

293:                rec_ident(IDENTIFIER_BASE_H downto IDENTIFIER_BASE_L) <= 
294:                    rx_shift_reg_q(9 downto 0) & rx_data_nbs; 

Count: 52702
Threshold: 1

If statement:

297:            if (rx_store_ext_id = '1') then 
298:                rec_ident(IDENTIFIER_EXT_H downto IDENTIFIER_EXT_L) <= 
299:                    rx_shift_reg_q(16 downto 0) & rx_data_nbs; 
300:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

298:                rec_ident(IDENTIFIER_EXT_H downto IDENTIFIER_EXT_L) <= 
299:                    rx_shift_reg_q(16 downto 0) & rx_data_nbs; 

Count: 14167
Threshold: 1

If statement:

309:        if (res_n_i_q_scan = '0') then 
310:            rec_ident_type <= '0'; 
...
314:            end if; 
315:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

310:            rec_ident_type <= '0'; 
Count: 2597318
Threshold: 1

If statement:

312:            if (rx_store_ide = '1') then 
313:                rec_ident_type <= rx_data_nbs; 
314:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

313:                rec_ident_type <= rx_data_nbs; 
Count: 52199
Threshold: 1

If statement:

323:        if (res_n_i_q_scan = '0') then 
324:            rec_is_rtr_i <= '0'; 
...
328:            end if; 
329:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

324:            rec_is_rtr_i <= '0'; 
Count: 2597318
Threshold: 1

If statement:

326:            if (rx_store_rtr = '1') then 
327:                rec_is_rtr_i <= rx_data_nbs; 
328:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

327:                rec_is_rtr_i <= rx_data_nbs; 
Count: 66604
Threshold: 1

If statement:

333:    rec_is_rtr <= rec_is_rtr_i when (rec_frame_type_i = NORMAL_CAN) 
334:                               else 
335:                  NO_RTR_FRAME; 

Count: 104039
Threshold: 1

Signal assignment statement:

333:    rec_is_rtr <= rec_is_rtr_i when (rec_frame_type_i = NORMAL_CAN) 
Count: 73999
Threshold: 1

Signal assignment statement:

335:                  NO_RTR_FRAME
Count: 30040
Threshold: 1

If statement:

342:        if (res_n_i_q_scan = '0') then 
343:            rec_frame_type_i <= '0'; 
...
347:            end if; 
348:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

343:            rec_frame_type_i <= '0'; 
Count: 2597318
Threshold: 1

If statement:

345:            if (rx_store_edl = '1') then 
346:                rec_frame_type_i <= rx_data_nbs; 
347:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

346:                rec_frame_type_i <= rx_data_nbs; 
Count: 50382
Threshold: 1

If statement:

359:        if (res_n_i_q_scan = '0') then 
360:            rec_esi <= '0'; 
...
364:            end if; 
365:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

360:            rec_esi <= '0'; 
Count: 2597318
Threshold: 1

If statement:

362:            if (rx_store_esi = '1') then 
363:                rec_esi <= rx_data_nbs; 
364:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

363:                rec_esi <= rx_data_nbs; 
Count: 28077
Threshold: 1

If statement:

373:        if (res_n_i_q_scan = '0') then 
374:            rec_brs <= '0'; 
...
378:            end if; 
379:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

374:            rec_brs <= '0'; 
Count: 2597318
Threshold: 1

If statement:

376:            if (rx_store_brs = '1') then 
377:                rec_brs <= rx_data_nbs; 
378:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

377:                rec_brs <= rx_data_nbs; 
Count: 28129
Threshold: 1

If statement:

387:        if (res_n_i_q_scan = '0') then 
388:            rec_dlc <= (others => '0'); 
...
392:            end if; 
393:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

388:            rec_dlc <= (others => '0'); 
Count: 2597318
Threshold: 1

If statement:

390:            if (rx_store_dlc = '1') then 
391:                rec_dlc <= rx_shift_reg_q(2 downto 0) & rx_data_nbs; 
392:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

391:                rec_dlc <= rx_shift_reg_q(2 downto 0) & rx_data_nbs; 
Count: 49346
Threshold: 1

If statement:

401:        if (res_n_i_q_scan = '0') then 
402:            rx_stuff_count <= (others => '0'); 
...
406:            end if; 
407:        end if; 

Count: 1055287652
Threshold: 1

Signal assignment statement:

402:            rx_stuff_count <= (others => '0'); 
Count: 2597318
Threshold: 1

If statement:

404:            if (rx_store_stuff_count = '1') then 
405:                rx_stuff_count <= rx_shift_reg_q(2 downto 0) & rx_data_nbs; 
406:            end if; 

Count: 526312533
Threshold: 1

Signal assignment statement:

405:                rx_stuff_count <= rx_shift_reg_q(2 downto 0) & rx_data_nbs; 
Count: 13222
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0'
Evaluated toCountThreshold
BinTrue783511
BinFalse815611

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

289:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

291:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

292:            if (rx_store_base_id = '1') then 
Evaluated toCountThreshold
BinTrue527021
BinFalse5262598311

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

297:            if (rx_store_ext_id = '1') then 
Evaluated toCountThreshold
BinTrue141671
BinFalse5262983661

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

309:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

311:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

312:            if (rx_store_ide = '1') then 
Evaluated toCountThreshold
BinTrue521991
BinFalse5262603341

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

323:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

325:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

326:            if (rx_store_rtr = '1') then 
Evaluated toCountThreshold
BinTrue666041
BinFalse5262459291

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

333:    rec_is_rtr <= rec_is_rtr_i when (rec_frame_type_i = NORMAL_CAN
Evaluated toCountThreshold
BinTrue739991
BinFalse300401

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

342:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

344:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

345:            if (rx_store_edl = '1') then 
Evaluated toCountThreshold
BinTrue503821
BinFalse5262621511

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

359:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

361:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

362:            if (rx_store_esi = '1') then 
Evaluated toCountThreshold
BinTrue280771
BinFalse5262844561

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

373:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

375:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

376:            if (rx_store_brs = '1') then 
Evaluated toCountThreshold
BinTrue281291
BinFalse5262844041

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

387:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

389:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

390:            if (rx_store_dlc = '1') then 
Evaluated toCountThreshold
BinTrue493461
BinFalse5262631871

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

401:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue25973181
BinFalse10526903341

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

403:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263125331
BinFalse5263778011

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

404:            if (rx_store_stuff_count = '1') then 
Evaluated toCountThreshold
BinTrue132221
BinFalse5262993111

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 SCAN_ENABLE
FromToCountThreshold
Bin0151
Bin1016051

Port:

 RX_TRIGGER
FromToCountThreshold
Bin01100154141
Bin10100170141

Port:

 RX_DATA_NBS
FromToCountThreshold
Bin0113911881
Bin1013895881

Port:

 RX_CLEAR
FromToCountThreshold
Bin01702791
Bin10718791

Port:

 RX_SHIFT_ENA(3)
FromToCountThreshold
Bin012712391
Bin105616161

Port:

 RX_SHIFT_ENA(2)
FromToCountThreshold
Bin012768071
Bin105560481

Port:

 RX_SHIFT_ENA(1)
FromToCountThreshold
Bin012830801
Bin105497751

Port:

 RX_SHIFT_ENA(0)
FromToCountThreshold
Bin012964581
Bin105363971

Port:

 RX_SHIFT_IN_SEL
FromToCountThreshold
Bin01360481
Bin10376481

Port:

 RX_STORE_BASE_ID
FromToCountThreshold
Bin01533691
Bin10549691

Port:

 RX_STORE_EXT_ID
FromToCountThreshold
Bin01141671
Bin10157671

Port:

 RX_STORE_IDE
FromToCountThreshold
Bin011045161
Bin101061161

Port:

 RX_STORE_RTR
FromToCountThreshold
Bin011333971
Bin101349971

Port:

 RX_STORE_EDL
FromToCountThreshold
Bin011008701
Bin101024701

Port:

 RX_STORE_DLC
FromToCountThreshold
Bin01493461
Bin10509461

Port:

 RX_STORE_ESI
FromToCountThreshold
Bin01561541
Bin10577541

Port:

 RX_STORE_BRS
FromToCountThreshold
Bin01562581
Bin10578581

Port:

 RX_STORE_STUFF_COUNT
FromToCountThreshold
Bin01266781
Bin10282781

Port:

 REC_IDENT(28)
FromToCountThreshold
Bin01343321
Bin10301651

Port:

 REC_IDENT(27)
FromToCountThreshold
Bin01209511
Bin10167481

Port:

 REC_IDENT(26)
FromToCountThreshold
Bin01349951
Bin10299781

Port:

 REC_IDENT(25)
FromToCountThreshold
Bin01264091
Bin10214401

Port:

 REC_IDENT(24)
FromToCountThreshold
Bin01376211
Bin10325601

Port:

 REC_IDENT(23)
FromToCountThreshold
Bin01275741
Bin10221621

Port:

 REC_IDENT(22)
FromToCountThreshold
Bin01375761
Bin10327291

Port:

 REC_IDENT(21)
FromToCountThreshold
Bin01266231
Bin10216621

Port:

 REC_IDENT(20)
FromToCountThreshold
Bin01341311
Bin10300131

Port:

 REC_IDENT(19)
FromToCountThreshold
Bin01250181
Bin10209391

Port:

 REC_IDENT(18)
FromToCountThreshold
Bin01358611
Bin10318021

Port:

 REC_IDENT(17)
FromToCountThreshold
Bin0166761
Bin10774111

Port:

 REC_IDENT(16)
FromToCountThreshold
Bin0164811
Bin10769801

Port:

 REC_IDENT(15)
FromToCountThreshold
Bin0160161
Bin10759361

Port:

 REC_IDENT(14)
FromToCountThreshold
Bin0164571
Bin10773011

Port:

 REC_IDENT(13)
FromToCountThreshold
Bin0162031
Bin10758541

Port:

 REC_IDENT(12)
FromToCountThreshold
Bin0166551
Bin10773481

Port:

 REC_IDENT(11)
FromToCountThreshold
Bin0161161
Bin10760141

Port:

 REC_IDENT(10)
FromToCountThreshold
Bin0167591
Bin10771721

Port:

 REC_IDENT(9)
FromToCountThreshold
Bin0163401
Bin10768821

Port:

 REC_IDENT(8)
FromToCountThreshold
Bin0171911
Bin10781681

Port:

 REC_IDENT(7)
FromToCountThreshold
Bin0161701
Bin10761191

Port:

 REC_IDENT(6)
FromToCountThreshold
Bin0166361
Bin10777531

Port:

 REC_IDENT(5)
FromToCountThreshold
Bin0161221
Bin10762131

Port:

 REC_IDENT(4)
FromToCountThreshold
Bin0167121
Bin10781801

Port:

 REC_IDENT(3)
FromToCountThreshold
Bin0162131
Bin10762041

Port:

 REC_IDENT(2)
FromToCountThreshold
Bin0170441
Bin10783471

Port:

 REC_IDENT(1)
FromToCountThreshold
Bin0163161
Bin10759251

Port:

 REC_IDENT(0)
FromToCountThreshold
Bin0167571
Bin10774901

Port:

 REC_DLC_D(3)
FromToCountThreshold
Bin015646071
Bin105662011

Port:

 REC_DLC_D(2)
FromToCountThreshold
Bin015761641
Bin105777591

Port:

 REC_DLC_D(1)
FromToCountThreshold
Bin015864271
Bin105880211

Port:

 REC_DLC_D(0)
FromToCountThreshold
Bin0113911881
Bin1013895881

Port:

 REC_DLC(3)
FromToCountThreshold
Bin01203201
Bin10219191

Port:

 REC_DLC(2)
FromToCountThreshold
Bin01225311
Bin10241301

Port:

 REC_DLC(1)
FromToCountThreshold
Bin01223831
Bin10239801

Port:

 REC_DLC(0)
FromToCountThreshold
Bin01269511
Bin10285491

Port:

 REC_IS_RTR
FromToCountThreshold
Bin01220381
Bin10236361

Port:

 REC_IDENT_TYPE
FromToCountThreshold
Bin01157601
Bin10173581

Port:

 REC_FRAME_TYPE
FromToCountThreshold
Bin01284401
Bin10300361

Port:

 REC_BRS
FromToCountThreshold
Bin01204061
Bin10220021

Port:

 REC_ESI
FromToCountThreshold
Bin0121451
Bin1037431

Port:

 STORE_DATA_WORD(31)
FromToCountThreshold
Bin012371981
Bin102387971

Port:

 STORE_DATA_WORD(30)
FromToCountThreshold
Bin012437521
Bin102453481

Port:

 STORE_DATA_WORD(29)
FromToCountThreshold
Bin012540561
Bin102556521

Port:

 STORE_DATA_WORD(28)
FromToCountThreshold
Bin012614081
Bin102630041

Port:

 STORE_DATA_WORD(27)
FromToCountThreshold
Bin012707521
Bin102723491

Port:

 STORE_DATA_WORD(26)
FromToCountThreshold
Bin012812461
Bin102828421

Port:

 STORE_DATA_WORD(25)
FromToCountThreshold
Bin012894841
Bin102910791

Port:

 STORE_DATA_WORD(24)
FromToCountThreshold
Bin012972551
Bin102988521

Port:

 STORE_DATA_WORD(23)
FromToCountThreshold
Bin012862211
Bin102878181

Port:

 STORE_DATA_WORD(22)
FromToCountThreshold
Bin012943741
Bin102959711

Port:

 STORE_DATA_WORD(21)
FromToCountThreshold
Bin013027531
Bin103043491

Port:

 STORE_DATA_WORD(20)
FromToCountThreshold
Bin013114931
Bin103130911

Port:

 STORE_DATA_WORD(19)
FromToCountThreshold
Bin013233611
Bin103249571

Port:

 STORE_DATA_WORD(18)
FromToCountThreshold
Bin013304831
Bin103320801

Port:

 STORE_DATA_WORD(17)
FromToCountThreshold
Bin013388891
Bin103404881

Port:

 STORE_DATA_WORD(16)
FromToCountThreshold
Bin013451501
Bin103467481

Port:

 STORE_DATA_WORD(15)
FromToCountThreshold
Bin013863461
Bin103879451

Port:

 STORE_DATA_WORD(14)
FromToCountThreshold
Bin014007571
Bin104023541

Port:

 STORE_DATA_WORD(13)
FromToCountThreshold
Bin014096851
Bin104112811

Port:

 STORE_DATA_WORD(12)
FromToCountThreshold
Bin014194961
Bin104210931

Port:

 STORE_DATA_WORD(11)
FromToCountThreshold
Bin014322741
Bin104338701

Port:

 STORE_DATA_WORD(10)
FromToCountThreshold
Bin014420971
Bin104436951

Port:

 STORE_DATA_WORD(9)
FromToCountThreshold
Bin014542521
Bin104558471

Port:

 STORE_DATA_WORD(8)
FromToCountThreshold
Bin014650411
Bin104666391

Port:

 STORE_DATA_WORD(7)
FromToCountThreshold
Bin015109431
Bin105125381

Port:

 STORE_DATA_WORD(6)
FromToCountThreshold
Bin015228131
Bin105244101

Port:

 STORE_DATA_WORD(5)
FromToCountThreshold
Bin015325571
Bin105341521

Port:

 STORE_DATA_WORD(4)
FromToCountThreshold
Bin015422241
Bin105438191

Port:

 STORE_DATA_WORD(3)
FromToCountThreshold
Bin015551001
Bin105566951

Port:

 STORE_DATA_WORD(2)
FromToCountThreshold
Bin015646071
Bin105662011

Port:

 STORE_DATA_WORD(1)
FromToCountThreshold
Bin015761641
Bin105777591

Port:

 STORE_DATA_WORD(0)
FromToCountThreshold
Bin015864271
Bin105880211

Port:

 RX_CRC(20)
FromToCountThreshold
Bin017017281
Bin1013449591

Port:

 RX_CRC(19)
FromToCountThreshold
Bin016177841
Bin1012658481

Port:

 RX_CRC(18)
FromToCountThreshold
Bin016552931
Bin1011603551

Port:

 RX_CRC(17)
FromToCountThreshold
Bin016335041
Bin1012282701

Port:

 RX_CRC(16)
FromToCountThreshold
Bin0112974851
Bin1020611201

Port:

 RX_CRC(15)
FromToCountThreshold
Bin017344901
Bin1011926301

Port:

 RX_CRC(14)
FromToCountThreshold
Bin015846391
Bin105610251

Port:

 RX_CRC(13)
FromToCountThreshold
Bin015642211
Bin105927901

Port:

 RX_CRC(12)
FromToCountThreshold
Bin015939571
Bin105774331

Port:

 RX_CRC(11)
FromToCountThreshold
Bin015861881
Bin106099631

Port:

 RX_CRC(10)
FromToCountThreshold
Bin016221651
Bin105981291

Port:

 RX_CRC(9)
FromToCountThreshold
Bin016091981
Bin106373871

Port:

 RX_CRC(8)
FromToCountThreshold
Bin016473751
Bin106182861

Port:

 RX_CRC(7)
FromToCountThreshold
Bin015110031
Bin105125811

Port:

 RX_CRC(6)
FromToCountThreshold
Bin015228691
Bin105244431

Port:

 RX_CRC(5)
FromToCountThreshold
Bin015325961
Bin105342361

Port:

 RX_CRC(4)
FromToCountThreshold
Bin015422531
Bin105438801

Port:

 RX_CRC(3)
FromToCountThreshold
Bin015552031
Bin105567351

Port:

 RX_CRC(2)
FromToCountThreshold
Bin015646661
Bin105662791

Port:

 RX_CRC(1)
FromToCountThreshold
Bin015762331
Bin105778361

Port:

 RX_CRC(0)
FromToCountThreshold
Bin015864821
Bin105880921

Port:

 RX_STUFF_COUNT(3)
FromToCountThreshold
Bin0136491
Bin1052491

Port:

 RX_STUFF_COUNT(2)
FromToCountThreshold
Bin0170841
Bin1086831

Port:

 RX_STUFF_COUNT(1)
FromToCountThreshold
Bin0177511
Bin1093501

Port:

 RX_STUFF_COUNT(0)
FromToCountThreshold
Bin0166951
Bin1082951

Signal:

 RES_N_I_D
FromToCountThreshold
Bin01783611
Bin10783511

Signal:

 RES_N_I_Q_SCAN
FromToCountThreshold
Bin01633661
Bin10633571

Signal:

 RX_SHIFT_REG_Q(31)
FromToCountThreshold
Bin018091431
Bin1013207801

Signal:

 RX_SHIFT_REG_Q(30)
FromToCountThreshold
Bin017550721
Bin1013273891

Signal:

 RX_SHIFT_REG_Q(29)
FromToCountThreshold
Bin016751521
Bin1015518951

Signal:

 RX_SHIFT_REG_Q(28)
FromToCountThreshold
Bin017565201
Bin1014508221

Signal:

 RX_SHIFT_REG_Q(27)
FromToCountThreshold
Bin017207581
Bin1015270041

Signal:

 RX_SHIFT_REG_Q(26)
FromToCountThreshold
Bin017655961
Bin1015362471

Signal:

 RX_SHIFT_REG_Q(25)
FromToCountThreshold
Bin017213351
Bin1016172871

Signal:

 RX_SHIFT_REG_Q(24)
FromToCountThreshold
Bin017883091
Bin1015441401

Signal:

 RX_SHIFT_REG_Q(23)
FromToCountThreshold
Bin0112916051
Bin1022318381

Signal:

 RX_SHIFT_REG_Q(22)
FromToCountThreshold
Bin018003621
Bin1014856321

Signal:

 RX_SHIFT_REG_Q(21)
FromToCountThreshold
Bin017485541
Bin1014904041

Signal:

 RX_SHIFT_REG_Q(20)
FromToCountThreshold
Bin018570951
Bin1013981681

Signal:

 RX_SHIFT_REG_Q(19)
FromToCountThreshold
Bin017645391
Bin1014152601

Signal:

 RX_SHIFT_REG_Q(18)
FromToCountThreshold
Bin018279691
Bin1012868141

Signal:

 RX_SHIFT_REG_Q(17)
FromToCountThreshold
Bin017851771
Bin1013778331

Signal:

 RX_SHIFT_REG_Q(16)
FromToCountThreshold
Bin018520051
Bin1013245651

Signal:

 RX_SHIFT_REG_Q(15)
FromToCountThreshold
Bin018349001
Bin1011681951

Signal:

 RX_SHIFT_REG_Q(14)
FromToCountThreshold
Bin0110683571
Bin1010795651

Signal:

 RX_SHIFT_REG_Q(13)
FromToCountThreshold
Bin018764731
Bin1012765911

Signal:

 RX_SHIFT_REG_Q(12)
FromToCountThreshold
Bin0110511051
Bin1011200471

Signal:

 RX_SHIFT_REG_Q(11)
FromToCountThreshold
Bin019121261
Bin1012961821

Signal:

 RX_SHIFT_REG_Q(10)
FromToCountThreshold
Bin0110813431
Bin1011330741

Signal:

 RX_SHIFT_REG_Q(9)
FromToCountThreshold
Bin019322261
Bin1013302551

Signal:

 RX_SHIFT_REG_Q(8)
FromToCountThreshold
Bin0111156801
Bin1011766441

Signal:

 RX_SHIFT_REG_Q(7)
FromToCountThreshold
Bin019875261
Bin1013593501

Signal:

 RX_SHIFT_REG_Q(6)
FromToCountThreshold
Bin0110760441
Bin1010607271

Signal:

 RX_SHIFT_REG_Q(5)
FromToCountThreshold
Bin0110730771
Bin1011414121

Signal:

 RX_SHIFT_REG_Q(4)
FromToCountThreshold
Bin0111267781
Bin1011114611

Signal:

 RX_SHIFT_REG_Q(3)
FromToCountThreshold
Bin0110472701
Bin1012630681

Signal:

 RX_SHIFT_REG_Q(2)
FromToCountThreshold
Bin0117418621
Bin1016181211

Signal:

 RX_SHIFT_REG_Q(1)
FromToCountThreshold
Bin0110845271
Bin1011060971

Signal:

 RX_SHIFT_REG_Q(0)
FromToCountThreshold
Bin0111295931
Bin1010717941

Signal:

 RX_SHIFT_CMD(3)
FromToCountThreshold
Bin0127829471
Bin1097147121

Signal:

 RX_SHIFT_CMD(2)
FromToCountThreshold
Bin0128274431
Bin1096702161

Signal:

 RX_SHIFT_CMD(1)
FromToCountThreshold
Bin0128769781
Bin1096206811

Signal:

 RX_SHIFT_CMD(0)
FromToCountThreshold
Bin0130114691
Bin1094861901

Signal:

 RX_SHIFT_IN_SEL_DEMUXED(3)
FromToCountThreshold
Bin01360481
Bin10376481

Signal:

 RX_SHIFT_IN_SEL_DEMUXED(2)
FromToCountThreshold
Bin01360481
Bin10376481

Signal:

 RX_SHIFT_IN_SEL_DEMUXED(1)
FromToCountThreshold
Bin01360481
Bin10376481

Signal:

 REC_IS_RTR_I
FromToCountThreshold
Bin01220381
Bin10236361

Signal:

 REC_FRAME_TYPE_I
FromToCountThreshold
Bin01284401
Bin10300361

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0') 
Evaluated toCountThreshold
BinFalse896331
BinTrue702791

"=" expression

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0'
Evaluated toCountThreshold
BinFalse1518401
BinTrue80721

"or" expression

222:    res_n_i_d <= '0' when (rx_clear = '1' or res_n = '0'
                               <----LHS----->    <---RHS--->  

LHSRHSCountThreshold
BinFalseFalse815611
BinFalseTrue80721
BinTrueFalse702791

"=" expression

289:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

292:            if (rx_store_base_id = '1') then 
Evaluated toCountThreshold
BinFalse5262598311
BinTrue527021

"=" expression

297:            if (rx_store_ext_id = '1') then 
Evaluated toCountThreshold
BinFalse5262983661
BinTrue141671

"=" expression

309:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

312:            if (rx_store_ide = '1') then 
Evaluated toCountThreshold
BinFalse5262603341
BinTrue521991

"=" expression

323:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

326:            if (rx_store_rtr = '1') then 
Evaluated toCountThreshold
BinFalse5262459291
BinTrue666041

"=" expression

333:    rec_is_rtr <= rec_is_rtr_i when (rec_frame_type_i = NORMAL_CAN
Evaluated toCountThreshold
BinFalse300401
BinTrue739991

"=" expression

342:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

345:            if (rx_store_edl = '1') then 
Evaluated toCountThreshold
BinFalse5262621511
BinTrue503821

"=" expression

359:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

362:            if (rx_store_esi = '1') then 
Evaluated toCountThreshold
BinFalse5262844561
BinTrue280771

"=" expression

373:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

376:            if (rx_store_brs = '1') then 
Evaluated toCountThreshold
BinFalse5262844041
BinTrue281291

"=" expression

387:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

390:            if (rx_store_dlc = '1') then 
Evaluated toCountThreshold
BinFalse5262631871
BinTrue493461

"=" expression

401:        if (res_n_i_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10526903341
BinTrue25973181

"=" expression

404:            if (rx_store_stuff_count = '1') then 
Evaluated toCountThreshold
BinFalse5262993111
BinTrue132221

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: