NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_TRIGGER_GENERATOR

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bit_timing_logic/btl_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_TRIGGER_GENERATOR 100.0 % (16/16) 100.0 % (14/14) 100.0 % (22/22) 100.0 % (18/18) N.A. N.A. 100.0 % (70/70)

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 168 to 170:

168:    tx_trig_req_flag_d <= '1' when (rx_trig_req_q = '1' and tx_trig_req = '1') else 
169:                          '0' when (rx_trig_req_q = '0') else 
170:                          tx_trig_req_flag_q; 

Count: 68562434
Threshold: 1

Signal assignment statement on line 168:

168:    tx_trig_req_flag_d <= '1' when (rx_trig_req_q = '1' and tx_trig_req = '1') else 
Count: 11423206
Threshold: 1

Signal assignment statement on line 169:

169:                          '0' when (rx_trig_req_q = '0') else 
Count: 34290479
Threshold: 1

Signal assignment statement on line 170:

170:                          tx_trig_req_flag_q
Count: 22848749
Threshold: 1

If statement on lines 174 to 178:

174:        if (rst_n = '0') then 
175:            tx_trig_req_flag_q <= '0'; 
176:        elsif (rising_edge(clk_sys)) then 
177:            tx_trig_req_flag_q <= tx_trig_req_flag_d; 
178:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 175:

175:            tx_trig_req_flag_q <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 177:

177:            tx_trig_req_flag_q <= tx_trig_req_flag_d; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 181:

181:    tx_trig_req_flag_dq <= tx_trig_req or tx_trig_req_flag_q
Count: 45715278
Threshold: 1

If statement on lines 188 to 192:

188:        if (rst_n = '0') then 
189:            rx_trig_req_q <= '0'; 
190:        elsif (rising_edge(clk_sys)) then 
191:            rx_trig_req_q <= rx_trig_req; 
192:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 189:

189:            rx_trig_req_q <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 191:

191:            rx_trig_req_q <= rx_trig_req; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 200:

200:    rx_triggers(1) <= rx_trig_req
Count: 45723324
Threshold: 1

Signal assignment statement on line 201:

201:    rx_triggers(0) <= rx_trig_req_q
Count: 22849620
Threshold: 1

If statement on lines 208 to 209:

208:    tx_trigger <= '0' when (rx_trig_req_q = '1') else 
209:                  tx_trig_req_flag_dq; 

Count: 68559965
Threshold: 1

Signal assignment statement on line 208:

208:    tx_trigger <= '0' when (rx_trig_req_q = '1') else 
Count: 34268748
Threshold: 1

Signal assignment statement on line 209:

209:                  tx_trig_req_flag_dq
Count: 34291217
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

168:    tx_trig_req_flag_d <= '1' when (rx_trig_req_q = '1' and tx_trig_req = '1') else 
Evaluated toCountThreshold
BinTrue114232061
BinFalse571392281

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

169:                          '0' when (rx_trig_req_q = '0') else 
Evaluated toCountThreshold
BinTrue342904791
BinFalse228487491

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

174:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

176:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

188:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

190:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

208:    tx_trigger <= '0' when (rx_trig_req_q = '1') else 
Evaluated toCountThreshold
BinTrue342687481
BinFalse342912171

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:

 RX_TRIG_REQ
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_TRIG_REQ
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 RX_TRIGGERS
ElementFromToCountThreshold
Bin(1)01342832701
Bin(1)10342864721
Bin(0)01228464181
Bin(0)10457217231

Port:

 TX_TRIGGER
FromToCountThreshold
Bin01114320381
Bin10114336361

Signal:

 RX_TRIG_REQ_Q
FromToCountThreshold
Bin01114232091
Bin10114248101

Signal:

 TX_TRIG_REQ_FLAG_D
FromToCountThreshold
Bin01114232061
Bin10114248071

Signal:

 TX_TRIG_REQ_FLAG_Q
FromToCountThreshold
Bin018631
Bin1024641

Signal:

 TX_TRIG_REQ_FLAG_DQ
FromToCountThreshold
Bin01228543761
Bin10228559741

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 168:

 rx_trig_req_q = '1' and tx_trig_req = '1' 
 <-------LHS------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue114320381
BinTrueFalse228455471
BinTrueTrue114232061

"=" expression on line 168:

 rx_trig_req_q = '1' 
Evaluated toCountThreshold
BinFalse342936811
BinTrue342687531

"=" expression on line 168:

 tx_trig_req = '1' 
Evaluated toCountThreshold
BinFalse457071901
BinTrue228552441

"=" expression on line 169:

 rx_trig_req_q = '0' 
Evaluated toCountThreshold
BinFalse228487491
BinTrue342904791

"=" expression on line 174:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"or" expression on line 181:

 tx_trig_req or tx_trig_req_flag_q 
 <---LHS--->    <------RHS-------> 

LHSRHSCountThreshold
Bin'0''0'228559741
Bin'0''1'8631
Bin'1''0'228543761

"=" expression on line 188:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 208:

 rx_trig_req_q = '1' 
Evaluated toCountThreshold
BinFalse342912171
BinTrue342687481

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: