Cover Points| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txpe | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txpe | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 21281 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_2_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_one_shot | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 157 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_one_shot | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 41621 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1894082 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_scan_mode | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_scan_mode | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 148725 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 40828 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 17312 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_abort | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_abort | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 18905 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_2 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 32199 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_counter | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_counter | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 217508 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_5_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 10520 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_7_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 365 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rxne | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 8467 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rxne | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_3_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_3_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_ssp_cfg | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_ssp_cfg | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1093 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ctrl_bit | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ctrl_bit | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_ew | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_ew | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 34417 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 34094 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 335 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 7779 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_17 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4083 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_rst | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_rst | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_12 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_4_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2559 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_byte_enable | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_byte_enable | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 51910 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_statu | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 35227 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_statu | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_9_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_hazard | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_hazard | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 174286 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_3_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_2_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 363 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_3_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_timestamp_low_high | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_timestamp_low_high | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_tx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 43 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_tx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 247 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_frame_filter | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 960 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_frame_filter | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_single_bus_node | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_single_bus_node | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_self_test | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_self_test | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 167 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_22 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_16 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2253 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1989700 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_8_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 368 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_sof | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_sof | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_13 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 9293 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_stuff_in_data | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_stuff_in_data | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 165 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_1_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rxne | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 385 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rxne | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 6916 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_512 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_512 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_loopback | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 454 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_loopback | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2226 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_15 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2459 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_5_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1802 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_bus_monitoring | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 164 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_bus_monitoring | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2964 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_4_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 35090 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2548 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1913654 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 847 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_16 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2975 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_fault_state | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_fault_state | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_4_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2165 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_13 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_change | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_change | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 23548 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 33376 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_bus_start | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_bus_start | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_9_6_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 11287 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_9_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_srr_rtr | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 3480 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_srr_rtr | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_9_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_buf_empty_read | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_buf_empty_read | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_device_id | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_device_id | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 53698 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_23 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 907 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_glitch_filtering | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_glitch_filtering | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_17 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_d | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 28230 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_d | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_f | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_f | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1924627 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_3_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 955 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_12 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_1_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_a | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5292 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_a | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_3_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 6104 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_overload | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_overload | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4135 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 20904 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_3_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_pc_fsm_transition | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_pc_fsm_transition | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 678 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_14 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_4_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5372 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_6_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1933 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1766814 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_pex | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_pex | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_4_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_srr_rtr_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5001 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_srr_rtr_2 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_3_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_3_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 67946 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 37189 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_4_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_ew | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_ew | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_fdrf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 40 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_fdrf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_1_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 728 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 44322 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_3 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_2_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_arb_stuff | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_arb_stuff | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_be | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_be | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_err_frm | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_err_frm | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_empty | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_empty | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 59582 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 16462 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 211049 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 387 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 433680 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_ignore | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_ignore | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 41176 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_3_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_14 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4581 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_idle | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 188 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_idle | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1958 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transition | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transition | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1843979 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_20 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 17649 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_counter | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 208768 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_counter | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 616 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rxfr | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2007126 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rxfr | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ack_ack | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ack_ack | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_crc_bit | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_crc_bit | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 33727 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_settings_rt | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 487 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_settings_rt | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4846 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2246 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_32 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_32 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 13848 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_4_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_maxima | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_maxima | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 64771 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_12 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_5_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_5_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_2_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2527 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_3_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 725 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_ssp_acce | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_ssp_acce | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_3_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1860335 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_1_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_15 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 725 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1872 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_21 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rx_buffer_size_4096 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4743313 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rx_buffer_size_4096 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 663 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_3_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1812 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1899984 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_cd | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 28230 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_cd | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_8_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 360 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 88196 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_crc_err | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_crc_err | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 69448 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_time_tran_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 10863 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 6421 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_5_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1811 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_arb_bit | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_arb_bit | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_4_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 43181 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_settings_nisofd | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_settings_nisofd | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4800 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_settings_tbfb | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_settings_tbfb | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 530841 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_from_intermission | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2042 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_from_intermission | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 163 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ovr_frm | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ovr_frm | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 202 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_2_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_ssp_4_bits_flying | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_ssp_4_bits_flying | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 498 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_frcrst | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 176 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_frcrst | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_rtr_r0 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 167 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_rtr_r0 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 168 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_txnf_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_restr | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 384 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_restr | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 41825 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_19 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_invalid_frame | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_invalid_frame | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1642 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_data_bit | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_data_bit | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_byte_acce | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_byte_acce | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 177 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_1_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 383 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_fcr | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_fcr | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 679391 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 410515 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_5_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_4096 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_4096 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit_2 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_7_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 364 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_fd_enable | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 90 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_fd_enable | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 86 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_ercrst | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_ercrst | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_18 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_sd | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_sd | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 29455 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_base_id | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1693 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_base_id | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 973 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_message_filter | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 832 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_message_filter | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rec_saturation | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rec_saturation | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_filters_mask | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1512 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_filters_mask | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_6_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1859 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_txt_buffer_transitions_4 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_2_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1323 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_2_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_ide | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 158 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_ide | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 161156 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_dlc_can20_8_64_byte | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_dlc_can20_8_64_byte | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 215 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 28100 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 117988 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_18 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_4_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 11584 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_4_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ctrl_form | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_ctrl_form | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rxpe | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 809 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_rxpe | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_tx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_tx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 170 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5546 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_1_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 720 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 851 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_fst | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_frame_test_fst | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 65860 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_7_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit_3 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4192 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_rxbam | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 58 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_rxbam | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_7_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 362 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_norm_fd | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_norm_fd | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_test | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_test | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_19 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_9 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_3_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1097 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_fd | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_fd | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1802 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_eft | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_status_eft | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 716 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_trv_delay | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_trv_delay | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 4019 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_1_7 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_5_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 251 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 44 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_5 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_15 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5147 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1995959 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_21 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 760 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_ready | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_cmd_set_ready | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 186894 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_4_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1410 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_dem | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 6524 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_id_extension | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2867 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_id_extension | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 995 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_rrb | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 216998 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_command_rrb | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_4_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_6_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_mode_txbbm_3_6_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 100450 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_9_6_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_4_4 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 10497 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_disable_in_tx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_disable_in_tx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 163 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_13 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_3_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_2_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_txt_2_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_3_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_rtr_ext_id | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 158 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_alc_rtr_ext_id | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_4_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_status_4_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 29334 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rxf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 28830 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_rxf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_minima | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_btr_minima | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 11 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_9_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_9_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 359 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_no_sof_tx | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_no_sof_tx | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 167 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rx_buffer_size_128 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 84995 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_rx_buffer_size_128 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_5_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_7_10 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_14 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_5_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 3399 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_retr_limit | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_eof | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_err_capt_eof | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_6_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_b | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 41682 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_b | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 18703 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_8 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_20 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 5208 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_3_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_6_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_2_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_2_11 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_8_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 359 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_data_set_6 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1825966 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_1_12 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 2976 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_of | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_of | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 6866 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_mof | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 303 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_rx_status_mof | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_64 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_64 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_128 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tst_mem_acc_rx_rxb_size_128 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_8_8_1_1 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_5_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_priority_5_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 186714 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_8_txt_buf | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_8_txt_buf | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 880 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_compliance_full_typ_iso_7_8_5_3 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 1824 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_txbhci | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_int_txbhci | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 96492 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_2 | ..tb_top_ctu_can_fd(tb).dut@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 0 | not covered |
| rx_write_ptr_higher_than_read_ptr_cov | tb_rtl_test_nightly_tx_arb_consistency_2 | ..tb_top_ctu_can_fd(tb).ctu_can_fd_vip_inst@ctu_can_fd_vip(behav).feature_test_agent_gen.feature_test_agent_inst@feature_test_agent(tb).test_node_inst@can_top_level(rtl).rx_buffer_inst@rx_buffer(rtl).rx_buffer_pointers_inst@rx_buffer_pointers(rtl).rx_write_ptr_higher_than_read_ptr_cov | 417 | 942 | covered |