| Nested Instances | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CRC_TRIG_TX_WBS_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) |
| CRC_DATA_RX_WBS_REG | 100.0 % (4/4) | 100.0 % (6/6) | 100.0 % (10/10) | 100.0 % (4/4) | N.A. | N.A. | 100.0 % (24/24) |
| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.TRIGGER_MUX_INST | 100.0 % (22/22) | 100.0 % (16/16) | 100.0 % (38/38) | 100.0 % (46/46) | N.A. | N.A. | 100.0 % (122/122) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
188: pc_tx_trigger <= '1' when (tx_trigger = '1' and data_halt = '0')
189: else
190: '0'; 188: pc_tx_trigger <= '1' when (tx_trigger = '1' and data_halt = '0') 190: '0'; 192: pc_rx_trigger <= '1' when (rx_triggers(0) = '1' and destuffed = '0')
193: else
194: '0'; 192: pc_rx_trigger <= '1' when (rx_triggers(0) = '1' and destuffed = '0') 194: '0'; 203: bst_trigger <= tx_trigger; 204: bds_trigger <= rx_triggers(1); 214: crc_trig_rx_nbs <= '1' when (rx_triggers(0) = '1' and destuffed = '0')
215: else
216: '0'; 214: crc_trig_rx_nbs <= '1' when (rx_triggers(0) = '1' and destuffed = '0') 216: '0'; 218: crc_trig_tx_nbs <= '1' when (tx_trigger = '1' and data_halt = '0')
219: else
220: '0'; 218: crc_trig_tx_nbs <= '1' when (tx_trigger = '1' and data_halt = '0') 220: '0'; 243: crc_trig_tx_wbs <= '0' when (fixed_stuff = '1' and data_halt = '1') else
244: '1' when (tx_trigger_q = '1') else
245: '0'; 243: crc_trig_tx_wbs <= '0' when (fixed_stuff = '1' and data_halt = '1') else 244: '1' when (tx_trigger_q = '1') else 245: '0'; 267: crc_trig_rx_wbs <= '0' when (fixed_stuff = '1' and destuffed = '1') else
268: '1' when (rx_triggers(0) = '1') else
269: '0'; 267: crc_trig_rx_wbs <= '0' when (fixed_stuff = '1' and destuffed = '1') else 268: '1' when (rx_triggers(0) = '1') else 269: '0'; 188: pc_tx_trigger <= '1' when (tx_trigger = '1' and data_halt = '0') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 11391077 | 1 |
| Bin | False | 13274070 | 1 |
192: pc_rx_trigger <= '1' when (rx_triggers(0) = '1' and destuffed = '0') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 10359813 | 1 |
| Bin | False | 12430196 | 1 |
214: crc_trig_rx_nbs <= '1' when (rx_triggers(0) = '1' and destuffed = '0') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 10359813 | 1 |
| Bin | False | 12430196 | 1 |
218: crc_trig_tx_nbs <= '1' when (tx_trigger = '1' and data_halt = '0') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 11391077 | 1 |
| Bin | False | 13274070 | 1 |
243: crc_trig_tx_wbs <= '0' when (fixed_stuff = '1' and data_halt = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 215455 | 1 |
| Bin | False | 24471652 | 1 |
244: '1' when (tx_trigger_q = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 12509781 | 1 |
| Bin | False | 11961871 | 1 |
267: crc_trig_rx_wbs <= '0' when (fixed_stuff = '1' and destuffed = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 159300 | 1 |
| Bin | False | 22659334 | 1 |
268: '1' when (rx_triggers(0) = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 11302587 | 1 |
| Bin | False | 11356747 | 1 |
CLK_SYS| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RES_N| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RX_TRIGGERS| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| Bin | (1) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (1) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (0) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (0) | 1 | 0 | 0 | 1 | Exclude file |
TX_TRIGGER| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DATA_HALT| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DESTUFFED| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
FIXED_STUFF| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
BDS_DATA_IN| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
PC_TX_TRIGGER| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11391077 | 1 |
| Bin | 1 | 0 | 11392677 | 1 |
PC_RX_TRIGGER| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 10359813 | 1 |
| Bin | 1 | 0 | 10361414 | 1 |
BST_TRIGGER| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11391077 | 1 |
| Bin | 1 | 0 | 11392677 | 1 |
BDS_TRIGGER| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 22778488 | 1 |
| Bin | 1 | 0 | 22780089 | 1 |
CRC_TRIG_RX_NBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 10359813 | 1 |
| Bin | 1 | 0 | 10361414 | 1 |
CRC_TRIG_TX_NBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11391077 | 1 |
| Bin | 1 | 0 | 11392677 | 1 |
CRC_TRIG_RX_WBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11302587 | 1 |
| Bin | 1 | 0 | 11304188 | 1 |
CRC_TRIG_TX_WBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11423999 | 1 |
| Bin | 1 | 0 | 11425599 | 1 |
CRC_DATA_RX_WBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1397496 | 1 |
| Bin | 1 | 0 | 1399086 | 1 |
TX_TRIGGER_Q| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11386944 | 1 |
| Bin | 1 | 0 | 11388544 | 1 |
tx_trigger = '1' and data_halt = '0'
<-----LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 11707590 | 1 |
| Bin | True | False | 624983 | 1 |
| Bin | True | True | 11391077 | 1 |
tx_trigger = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 12649087 | 1 |
| Bin | True | 12016060 | 1 |
data_halt = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1566480 | 1 |
| Bin | True | 23098667 | 1 |
rx_triggers(0) = '1' and destuffed = '0'
<-------LHS--------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 10382146 | 1 |
| Bin | True | False | 1022424 | 1 |
| Bin | True | True | 10359813 | 1 |
rx_triggers(0) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11407772 | 1 |
| Bin | True | 11382237 | 1 |
destuffed = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2048050 | 1 |
| Bin | True | 20741959 | 1 |
rx_triggers(0) = '1' and destuffed = '0'
<-------LHS--------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 10382146 | 1 |
| Bin | True | False | 1022424 | 1 |
| Bin | True | True | 10359813 | 1 |
rx_triggers(0) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11407772 | 1 |
| Bin | True | 11382237 | 1 |
destuffed = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2048050 | 1 |
| Bin | True | 20741959 | 1 |
tx_trigger = '1' and data_halt = '0'
<-----LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 11707590 | 1 |
| Bin | True | False | 624983 | 1 |
| Bin | True | True | 11391077 | 1 |
tx_trigger = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 12649087 | 1 |
| Bin | True | 12016060 | 1 |
data_halt = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1566480 | 1 |
| Bin | True | 23098667 | 1 |
fixed_stuff = '1' and data_halt = '1'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 1355434 | 1 |
| Bin | True | False | 766572 | 1 |
| Bin | True | True | 215455 | 1 |
fixed_stuff = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23705080 | 1 |
| Bin | True | 982027 | 1 |
data_halt = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23116218 | 1 |
| Bin | True | 1570889 | 1 |
tx_trigger_q = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11961871 | 1 |
| Bin | True | 12509781 | 1 |
fixed_stuff = '1' and destuffed = '1'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 1886008 | 1 |
| Bin | True | False | 570510 | 1 |
| Bin | True | True | 159300 | 1 |
fixed_stuff = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 22088824 | 1 |
| Bin | True | 729810 | 1 |
destuffed = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 20773326 | 1 |
| Bin | True | 2045308 | 1 |
rx_triggers(0) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11356747 | 1 |
| Bin | True | 11302587 | 1 |