NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.INT_MANAGER_INST.INT_MODULE_GEN(11).INT_MODULE_INST

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

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.INT_MANAGER_INST.INT_MODULE_GEN(11).INT_MODULE_INST 100.0 % (18/18) 100.0 % (24/24) 100.0 % (30/30) 100.0 % (26/26) N.A. N.A. 100.0 % (98/98)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

159:        if (res_n = '0') then 
160:            int_status <= '0'; 
...
172:            end if; 
173:        end if; 

Count: 1055178613
Threshold: 1

Signal assignment statement:

160:            int_status <= '0'; 
Count: 67326
Threshold: 1

If statement:

165:            if (int_status_set = '1' and int_mask_i = '0') then 
166:                int_status <= '1'; 
...
171: 
172:            end if; 

Count: 527548992
Threshold: 1

Signal assignment statement:

166:                int_status <= '1'; 
Count: 20198
Threshold: 1

Signal assignment statement:

170:                int_status <= '0'; 
Count: 52
Threshold: 1

If statement:

183:        if (res_n = '0') then 
184:            int_mask_i <= '0'; 
...
192: 
193:        end if; 

Count: 1055178613
Threshold: 1

Signal assignment statement:

184:            int_mask_i <= '0'; 
Count: 67326
Threshold: 1

If statement:

189:            if (int_mask_load = '1') then 
190:                int_mask_i <= int_mask_next; 
191:            end if; 

Count: 527548992
Threshold: 1

Signal assignment statement:

190:                int_mask_i <= int_mask_next; 
Count: 475
Threshold: 1

Signal assignment statement:

196:    int_mask_load <= int_mask_set or int_mask_clear
Count: 5575
Threshold: 1

If statement:

197:    int_mask_next <= '1' when (int_mask_set = '1') 
198:                         else 
199:                     '0'; 

Count: 4216
Threshold: 1

Signal assignment statement:

197:    int_mask_next <= '1' when (int_mask_set = '1') 
Count: 66
Threshold: 1

Signal assignment statement:

199:                     '0'
Count: 4150
Threshold: 1

If statement:

206:        if (res_n = '0') then 
207:            int_ena_i <= '0'; 
...
219:            end if; 
220:        end if; 

Count: 1055178613
Threshold: 1

Signal assignment statement:

207:            int_ena_i <= '0'; 
Count: 67326
Threshold: 1

If statement:

212:            if (int_ena_set = '1') then 
213:                int_ena_i <= '1'; 
...
218: 
219:            end if; 

Count: 527548992
Threshold: 1

Signal assignment statement:

213:                int_ena_i <= '1'; 
Count: 66
Threshold: 1

Signal assignment statement:

217:                int_ena_i <= '0'; 
Count: 476
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

159:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue673261
BinFalse10551112871

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

162:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5275489921
BinFalse5275622951

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

165:            if (int_status_set = '1' and int_mask_i = '0') then 
Evaluated toCountThreshold
BinTrue201981
BinFalse5275287941

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

169:            elsif (int_status_clear = '1') then 
Evaluated toCountThreshold
BinTrue521
BinFalse5275287421

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

183:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue673261
BinFalse10551112871

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

186:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5275489921
BinFalse5275622951

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

189:            if (int_mask_load = '1') then 
Evaluated toCountThreshold
BinTrue4751
BinFalse5275485171

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

197:    int_mask_next <= '1' when (int_mask_set = '1'
Evaluated toCountThreshold
BinTrue661
BinFalse41501

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

206:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue673261
BinFalse10551112871

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

209:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5275489921
BinFalse5275622951

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

212:            if (int_ena_set = '1') then 
Evaluated toCountThreshold
BinTrue661
BinFalse5275489261

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

216:            elsif (int_ena_clear = '1') then 
Evaluated toCountThreshold
BinTrue4761
BinFalse5275484501

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0196421
Bin1080421

Port:

 INT_STATUS_SET
FromToCountThreshold
Bin01202421
Bin10218421

Port:

 INT_STATUS_CLEAR
FromToCountThreshold
Bin01521
Bin1017471

Port:

 INT_MASK_SET
FromToCountThreshold
Bin01661
Bin1020751

Port:

 INT_MASK_CLEAR
FromToCountThreshold
Bin014091
Bin1020751

Port:

 INT_ENA_SET
FromToCountThreshold
Bin01661
Bin1021421

Port:

 INT_ENA_CLEAR
FromToCountThreshold
Bin014761
Bin1021421

Port:

 INT_STATUS
FromToCountThreshold
Bin0116791
Bin1032751

Port:

 INT_MASK
FromToCountThreshold
Bin01221
Bin1016221

Port:

 INT_ENA
FromToCountThreshold
Bin01661
Bin1016661

Signal:

 INT_MASK_I
FromToCountThreshold
Bin01221
Bin1016221

Signal:

 INT_ENA_I
FromToCountThreshold
Bin01661
Bin1016661

Signal:

 INT_MASK_LOAD
FromToCountThreshold
Bin014751
Bin1025501

Signal:

 INT_MASK_NEXT
FromToCountThreshold
Bin01661
Bin1016661

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

159:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10551112871
BinTrue673261

"=" expression

165:            if (int_status_set = '1' and int_mask_i = '0') then 
Evaluated toCountThreshold
BinFalse5275287501
BinTrue202421

"=" expression

165:            if (int_status_set = '1' and int_mask_i = '0') then 
Evaluated toCountThreshold
BinFalse761301
BinTrue5274728621

"and" expression

165:            if (int_status_set = '1' and int_mask_i = '0') then 
                    <-------LHS-------->     <-----RHS------>       

LHSRHSCountThreshold
BinFalseTrue5274526641
BinTrueFalse441
BinTrueTrue201981

"=" expression

169:            elsif (int_status_clear = '1') then 
Evaluated toCountThreshold
BinFalse5275287421
BinTrue521

"=" expression

183:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10551112871
BinTrue673261

"=" expression

189:            if (int_mask_load = '1') then 
Evaluated toCountThreshold
BinFalse5275485171
BinTrue4751

"or" expression

196:    int_mask_load <= int_mask_set or int_mask_clear
                         <---LHS---->    <----RHS----->  

LHSRHSCountThreshold
Bin'0''0'25501
Bin'0''1'4091
Bin'1''0'661

"=" expression

197:    int_mask_next <= '1' when (int_mask_set = '1'
Evaluated toCountThreshold
BinFalse41501
BinTrue661

"=" expression

206:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10551112871
BinTrue673261

"=" expression

212:            if (int_ena_set = '1') then 
Evaluated toCountThreshold
BinFalse5275489261
BinTrue661

"=" expression

216:            elsif (int_ena_clear = '1') then 
Evaluated toCountThreshold
BinFalse5275484501
BinTrue4761

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: