NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.INT_MANAGER_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/interrupt_manager/int_manager.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
INT_MODULE_GEN(0) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(1) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(2) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(3) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(4) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(5) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(6) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(7) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(8) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(9) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(10) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
INT_MODULE_GEN(11) 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)
DFF_INT_OUTPUT_REG 100.0 % (3/3) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (17/17)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.INT_MANAGER_INST 100.0 % (8/8) 100.0 % (2/2) 100.0 % (334/334) 100.0 % (3/3) N.A. N.A. 100.0 % (347/347)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

223:    int_i  <= '0' when ((int_status_i and mr_int_ena_set_int_ena_set_o_i) = C_ZERO_MASK) 
224:                  else 
225:              '1'; 

Count: 19198
Threshold: 1

Signal assignment statement:

223:    int_i  <= '0' when ((int_status_i and mr_int_ena_set_int_ena_set_o_i) = C_ZERO_MASK) 
Count: 17313
Threshold: 1

Signal assignment statement:

225:              '1'
Count: 1885
Threshold: 1

Signal assignment statement:

241:    int_input_active(RBNEI_IND)     <= not rx_empty
Count: 19498
Threshold: 1

Signal assignment statement:

242:    int_input_active(TXBHCI_IND)    <= or_reduce(txtb_hw_cmd_int)
Count: 43728
Threshold: 1

Loop statement:

212:        for i in input'range loop 
213:            tmp := tmp or input(i); 
214:        end loop; 

Count: 43728
Threshold: 1

Variable assignment statement:

213:            tmp := tmp or input(i); 
Count: 147092
Threshold: 1

Sequential statement:

215:        return tmp; 
Count: 43728
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

223:    int_i  <= '0' when ((int_status_i and mr_int_ena_set_int_ena_set_o_i) = C_ZERO_MASK
Evaluated toCountThreshold
BinTrue173131
BinFalse18851

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0196421
Bin1080421

Port:

 ERR_DETECTED
FromToCountThreshold
Bin011232421
Bin101248421

Port:

 FCS_CHANGED
FromToCountThreshold
Bin01159891
Bin10175891

Port:

 ERR_WARNING_LIMIT_PULSE
FromToCountThreshold
Bin0131831
Bin1047831

Port:

 ARBITRATION_LOST
FromToCountThreshold
Bin0111721
Bin1027721

Port:

 TRAN_VALID
FromToCountThreshold
Bin01110981
Bin10126981

Port:

 BR_SHIFTED
FromToCountThreshold
Bin01477871
Bin10493871

Port:

 RX_DATA_OVERRUN
FromToCountThreshold
Bin01311
Bin1016311

Port:

 REC_VALID
FromToCountThreshold
Bin01151791
Bin10167791

Port:

 RX_FULL
FromToCountThreshold
Bin01201
Bin1016201

Port:

 RX_EMPTY
FromToCountThreshold
Bin0189481
Bin1089501

Port:

 TXTB_HW_CMD_INT(7)
FromToCountThreshold
Bin011671
Bin1051721

Port:

 TXTB_HW_CMD_INT(6)
FromToCountThreshold
Bin011641
Bin1051751

Port:

 TXTB_HW_CMD_INT(5)
FromToCountThreshold
Bin011731
Bin1051661

Port:

 TXTB_HW_CMD_INT(4)
FromToCountThreshold
Bin011681
Bin1051711

Port:

 TXTB_HW_CMD_INT(3)
FromToCountThreshold
Bin017321
Bin10174181

Port:

 TXTB_HW_CMD_INT(2)
FromToCountThreshold
Bin017531
Bin10173971

Port:

 TXTB_HW_CMD_INT(1)
FromToCountThreshold
Bin0162801
Bin10358481

Port:

 TXTB_HW_CMD_INT(0)
FromToCountThreshold
Bin01119431
Bin10301851

Port:

 IS_OVERLOAD
FromToCountThreshold
Bin015291
Bin1021291

Port:

 MR_INT_ENA_SET_INT_ENA_SET(11)
FromToCountThreshold
Bin01661
Bin1023721

Port:

 MR_INT_ENA_SET_INT_ENA_SET(10)
FromToCountThreshold
Bin01301
Bin1024081

Port:

 MR_INT_ENA_SET_INT_ENA_SET(9)
FromToCountThreshold
Bin01501
Bin1023881

Port:

 MR_INT_ENA_SET_INT_ENA_SET(8)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(7)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(6)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(5)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(4)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(3)
FromToCountThreshold
Bin01151
Bin1024231

Port:

 MR_INT_ENA_SET_INT_ENA_SET(2)
FromToCountThreshold
Bin01201
Bin1024181

Port:

 MR_INT_ENA_SET_INT_ENA_SET(1)
FromToCountThreshold
Bin01201
Bin1024181

Port:

 MR_INT_ENA_SET_INT_ENA_SET(0)
FromToCountThreshold
Bin01201
Bin1024181

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(11)
FromToCountThreshold
Bin014761
Bin1022081

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(10)
FromToCountThreshold
Bin015121
Bin1021721

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(9)
FromToCountThreshold
Bin014921
Bin1021921

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(8)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(7)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(6)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(5)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(4)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(3)
FromToCountThreshold
Bin015271
Bin1021571

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(2)
FromToCountThreshold
Bin015221
Bin1021621

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(1)
FromToCountThreshold
Bin015221
Bin1021621

Port:

 MR_INT_ENA_CLR_INT_ENA_CLR(0)
FromToCountThreshold
Bin015221
Bin1021621

Port:

 MR_INT_MASK_SET_INT_MASK_SET(11)
FromToCountThreshold
Bin01661
Bin1022601

Port:

 MR_INT_MASK_SET_INT_MASK_SET(10)
FromToCountThreshold
Bin01401
Bin1022861

Port:

 MR_INT_MASK_SET_INT_MASK_SET(9)
FromToCountThreshold
Bin01501
Bin1022761

Port:

 MR_INT_MASK_SET_INT_MASK_SET(8)
FromToCountThreshold
Bin01151
Bin1023111

Port:

 MR_INT_MASK_SET_INT_MASK_SET(7)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(6)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(5)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(4)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(3)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(2)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(1)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_SET_INT_MASK_SET(0)
FromToCountThreshold
Bin01101
Bin1023161

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(11)
FromToCountThreshold
Bin014091
Bin1021411

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(10)
FromToCountThreshold
Bin014351
Bin1021151

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(9)
FromToCountThreshold
Bin014251
Bin1021251

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(8)
FromToCountThreshold
Bin014601
Bin1020901

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(7)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(6)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(5)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(4)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(3)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(2)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(1)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_MASK_CLR_INT_MASK_CLR(0)
FromToCountThreshold
Bin014651
Bin1020851

Port:

 MR_INT_STAT_RXI_I
FromToCountThreshold
Bin01401
Bin1017471

Port:

 MR_INT_STAT_TXI_I
FromToCountThreshold
Bin01421
Bin1017471

Port:

 MR_INT_STAT_EWLI_I
FromToCountThreshold
Bin01301
Bin1017471

Port:

 MR_INT_STAT_DOI_I
FromToCountThreshold
Bin01161
Bin1017471

Port:

 MR_INT_STAT_FCSI_I
FromToCountThreshold
Bin01801
Bin1017471

Port:

 MR_INT_STAT_ALI_I
FromToCountThreshold
Bin0151
Bin1017471

Port:

 MR_INT_STAT_BEI_I
FromToCountThreshold
Bin01151
Bin1017471

Port:

 MR_INT_STAT_OFI_I
FromToCountThreshold
Bin0151
Bin1017471

Port:

 MR_INT_STAT_RXFI_I
FromToCountThreshold
Bin01151
Bin1017471

Port:

 MR_INT_STAT_BSI_I
FromToCountThreshold
Bin01421
Bin1017471

Port:

 MR_INT_STAT_RBNEI_I
FromToCountThreshold
Bin01501
Bin1017471

Port:

 MR_INT_STAT_TXBHCI_I
FromToCountThreshold
Bin01521
Bin1017471

Port:

 MR_INT_STAT_RXI_O
FromToCountThreshold
Bin018091
Bin1024071

Port:

 MR_INT_STAT_TXI_O
FromToCountThreshold
Bin0112141
Bin1028101

Port:

 MR_INT_STAT_EWLI_O
FromToCountThreshold
Bin015971
Bin1021961

Port:

 MR_INT_STAT_DOI_O
FromToCountThreshold
Bin01211
Bin1016211

Port:

 MR_INT_STAT_FCSI_O
FromToCountThreshold
Bin0133031
Bin1048931

Port:

 MR_INT_STAT_ALI_O
FromToCountThreshold
Bin01981
Bin1016961

Port:

 MR_INT_STAT_BEI_O
FromToCountThreshold
Bin0114131
Bin1030071

Port:

 MR_INT_STAT_OFI_O
FromToCountThreshold
Bin011521
Bin1017521

Port:

 MR_INT_STAT_RXFI_O
FromToCountThreshold
Bin01201
Bin1016201

Port:

 MR_INT_STAT_BSI_O
FromToCountThreshold
Bin0113261
Bin1029211

Port:

 MR_INT_STAT_RBNEI_O
FromToCountThreshold
Bin019371
Bin1025351

Port:

 MR_INT_STAT_TXBHCI_O
FromToCountThreshold
Bin0116791
Bin1032751

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(11)
FromToCountThreshold
Bin01661
Bin1016661

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(10)
FromToCountThreshold
Bin01301
Bin1016301

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(9)
FromToCountThreshold
Bin01501
Bin1016501

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(8)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(7)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(6)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(5)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(4)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(3)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(2)
FromToCountThreshold
Bin01201
Bin1016201

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(1)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_ENA_SET_INT_ENA_SET_O(0)
FromToCountThreshold
Bin01151
Bin1016151

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(11)
FromToCountThreshold
Bin01221
Bin1018121

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(10)
FromToCountThreshold
Bin01201
Bin1018141

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(9)
FromToCountThreshold
Bin01201
Bin1018141

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(8)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(7)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(6)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(5)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(4)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(3)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(2)
FromToCountThreshold
Bin0151
Bin1018291

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(1)
FromToCountThreshold
Bin01101
Bin1018241

Port:

 MR_INT_MASK_SET_INT_MASK_SET_O(0)
FromToCountThreshold
Bin01101
Bin1018241

Port:

 INT
FromToCountThreshold
Bin0118391
Bin1018391

Signal:

 INT_INPUT_ACTIVE(11)
FromToCountThreshold
Bin01316161
Bin104675151

Signal:

 INT_INPUT_ACTIVE(10)
FromToCountThreshold
Bin01730771
Bin104244541

Signal:

 INT_INPUT_ACTIVE(9)
FromToCountThreshold
Bin01612301
Bin104363011

Signal:

 INT_INPUT_ACTIVE(8)
FromToCountThreshold
Bin012461
Bin104988851

Signal:

 INT_INPUT_ACTIVE(7)
FromToCountThreshold
Bin017361
Bin104967951

Signal:

 INT_INPUT_ACTIVE(6)
FromToCountThreshold
Bin011370551
Bin103588761

Signal:

 INT_INPUT_ACTIVE(5)
FromToCountThreshold
Bin0114481
Bin104928831

Signal:

 INT_INPUT_ACTIVE(4)
FromToCountThreshold
Bin01161061
Bin104830251

Signal:

 INT_INPUT_ACTIVE(3)
FromToCountThreshold
Bin013391
Bin104859921

Signal:

 INT_INPUT_ACTIVE(2)
FromToCountThreshold
Bin0168501
Bin104922811

Signal:

 INT_INPUT_ACTIVE(1)
FromToCountThreshold
Bin01221961
Bin104689351

Signal:

 INT_INPUT_ACTIVE(0)
FromToCountThreshold
Bin01151851
Bin104775461

Signal:

 INT_STATUS_I(11)
FromToCountThreshold
Bin0129381
Bin10124881

Signal:

 INT_STATUS_I(10)
FromToCountThreshold
Bin0117561
Bin10136701

Signal:

 INT_STATUS_I(9)
FromToCountThreshold
Bin0124891
Bin10129371

Signal:

 INT_STATUS_I(8)
FromToCountThreshold
Bin01501
Bin10153761

Signal:

 INT_STATUS_I(7)
FromToCountThreshold
Bin012971
Bin10151291

Signal:

 INT_STATUS_I(6)
FromToCountThreshold
Bin0130791
Bin10123471

Signal:

 INT_STATUS_I(5)
FromToCountThreshold
Bin013631
Bin10150631

Signal:

 INT_STATUS_I(4)
FromToCountThreshold
Bin01102161
Bin1052101

Signal:

 INT_STATUS_I(3)
FromToCountThreshold
Bin01361
Bin10153901

Signal:

 INT_STATUS_I(2)
FromToCountThreshold
Bin0111631
Bin10142631

Signal:

 INT_STATUS_I(1)
FromToCountThreshold
Bin0120381
Bin10133881

Signal:

 INT_STATUS_I(0)
FromToCountThreshold
Bin0123751
Bin10130511

Signal:

 INT_STATUS_CLR_I(11)
FromToCountThreshold
Bin01521
Bin1018371

Signal:

 INT_STATUS_CLR_I(10)
FromToCountThreshold
Bin01501
Bin1018391

Signal:

 INT_STATUS_CLR_I(9)
FromToCountThreshold
Bin01421
Bin1018471

Signal:

 INT_STATUS_CLR_I(8)
FromToCountThreshold
Bin01151
Bin1018741

Signal:

 INT_STATUS_CLR_I(7)
FromToCountThreshold
Bin0151
Bin1018841

Signal:

 INT_STATUS_CLR_I(6)
FromToCountThreshold
Bin01151
Bin1018741

Signal:

 INT_STATUS_CLR_I(5)
FromToCountThreshold
Bin0151
Bin1018841

Signal:

 INT_STATUS_CLR_I(4)
FromToCountThreshold
Bin01801
Bin1018091

Signal:

 INT_STATUS_CLR_I(3)
FromToCountThreshold
Bin01161
Bin1018731

Signal:

 INT_STATUS_CLR_I(2)
FromToCountThreshold
Bin01301
Bin1018591

Signal:

 INT_STATUS_CLR_I(1)
FromToCountThreshold
Bin01421
Bin1018471

Signal:

 INT_STATUS_CLR_I(0)
FromToCountThreshold
Bin01401
Bin1018491

Signal:

 INT_I
FromToCountThreshold
Bin0118391
Bin1018391

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(11)
FromToCountThreshold
Bin01661
Bin1021061

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(10)
FromToCountThreshold
Bin01301
Bin1021421

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(9)
FromToCountThreshold
Bin01501
Bin1021221

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(8)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(7)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(6)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(5)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(4)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(3)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(2)
FromToCountThreshold
Bin01201
Bin1021521

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(1)
FromToCountThreshold
Bin01151
Bin1021571

Signal:

 MR_INT_ENA_SET_INT_ENA_SET_O_I(0)
FromToCountThreshold
Bin01151
Bin1021571

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression

213:            tmp := tmp or input(i)
                       LHS    <-RHS-->  

LHSRHSCountThreshold
Bin'0''0'1081581
Bin'0''1'202861
Bin'1''0'133741

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: