From aac78c35ec983ce6b78e2f26469dc6997691a218 Mon Sep 17 00:00:00 2001 From: Antonio Martinez Zambrana Date: Fri, 7 Feb 2025 13:38:30 +0000 Subject: [PATCH] [dv, aon_timer] Waiving RTL unreachable statements pending rtl change These exclusions cover the missing branch/line coverage for aon_timer. Once are PRs #25812/#26072 make it to maste these exclusions can be ammendeed/removed. There's also a github issue #26164 to re-evaluate the RTL changes which may affect CDC sign-off. Signed-off-by: Antonio Martinez Zambrana --- hw/ip/aon_timer/dv/aon_timer_sim_cfg.hjson | 3 +- .../cov/rtl_exclusions_pending_rtl_changes.el | 83 +++++++++++++++++++ 2 files changed, 85 insertions(+), 1 deletion(-) create mode 100644 hw/ip/aon_timer/dv/cov/rtl_exclusions_pending_rtl_changes.el diff --git a/hw/ip/aon_timer/dv/aon_timer_sim_cfg.hjson b/hw/ip/aon_timer/dv/aon_timer_sim_cfg.hjson index 9404812d211bb..896c7c6970b1d 100644 --- a/hw/ip/aon_timer/dv/aon_timer_sim_cfg.hjson +++ b/hw/ip/aon_timer/dv/aon_timer_sim_cfg.hjson @@ -43,7 +43,8 @@ // Add specific exclusion files. vcs_cov_excl_files: ["{proj_root}/hw/ip/aon_timer/dv/cov/aon_timer_unr_excl.el", - "{proj_root}/hw/ip/aon_timer/dv/cov/aon_timer_unr_manually_excluded_excl.el"] + "{proj_root}/hw/ip/aon_timer/dv/cov/aon_timer_unr_manually_excluded_excl.el", + "{proj_root}/hw/ip/aon_timer/dv/cov/rtl_exclusions_pending_rtl_changes.el"] // Default UVM test and seq class name. uvm_test: aon_timer_base_test diff --git a/hw/ip/aon_timer/dv/cov/rtl_exclusions_pending_rtl_changes.el b/hw/ip/aon_timer/dv/cov/rtl_exclusions_pending_rtl_changes.el new file mode 100644 index 0000000000000..7a658ef47ee67 --- /dev/null +++ b/hw/ip/aon_timer/dv/cov/rtl_exclusions_pending_rtl_changes.el @@ -0,0 +1,83 @@ +// Copyright lowRISC contributors (OpenTitan project). +// Licensed under the Apache License, Version 2.0, see LICENSE for details. +// SPDX-License-Identifier: Apache-2.0 +// +//================================================== +// This file contains the Excluded objects +// Generated By User: amz +// Format Version: 2 +// Date: Fri Feb 7 15:32:07 2025 +// ExclMode: default +//================================================== +CHECKSUM: "2180545894 2543311903" +INSTANCE: tb.dut.u_reg.u_wkup_count_hi_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Block 43 "3846199569" "gen_wr_req.state_d = StIdle;" +CHECKSUM: "2180545894 2543311903" +INSTANCE: tb.dut.u_reg.u_wkup_count_lo_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Block 43 "3846199569" "gen_wr_req.state_d = StIdle;" +CHECKSUM: "2180545894 2543311903" +INSTANCE: tb.dut.u_reg.u_wdog_count_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Block 43 "3846199569" "gen_wr_req.state_d = StIdle;" +CHECKSUM: "2180545894 2543311903" +INSTANCE: tb.dut.u_reg.u_wkup_cause_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Block 43 "3846199569" "gen_wr_req.state_d = StIdle;" +CHECKSUM: "2180545894 3849341449" +INSTANCE: tb.dut.u_reg.u_wkup_count_hi_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Branch 4 "3547459906" "gen_wr_req.state_q" (6) "gen_wr_req.state_q default,-,-,-,-" +CHECKSUM: "2180545894 3849341449" +INSTANCE: tb.dut.u_reg.u_wkup_count_lo_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Branch 4 "3547459906" "gen_wr_req.state_q" (6) "gen_wr_req.state_q default,-,-,-,-" +CHECKSUM: "2180545894 3849341449" +INSTANCE: tb.dut.u_reg.u_wdog_count_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Branch 4 "3547459906" "gen_wr_req.state_q" (6) "gen_wr_req.state_q default,-,-,-,-" +CHECKSUM: "2180545894 3849341449" +INSTANCE: tb.dut.u_reg.u_wkup_cause_cdc.u_arb +ANNOTATION: "Default statement can't be hit." +Branch 4 "3547459906" "gen_wr_req.state_q" (6) "gen_wr_req.state_q default,-,-,-,-" +CHECKSUM: "1125143680 279071062" +INSTANCE: tb.dut.u_reg.u_wkup_count_hi_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 4 "937119686" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 279071062" +INSTANCE: tb.dut.u_reg.u_wkup_count_lo_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 4 "937119686" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 279071062" +INSTANCE: tb.dut.u_reg.u_wdog_count_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 4 "937119686" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 3293469597" +INSTANCE: tb.dut.u_reg.u_wkup_cause_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 5 "937119686" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wkup_ctrl_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wkup_thold_hi_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wkup_thold_lo_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wdog_bark_thold_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wdog_bite_thold_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01") +CHECKSUM: "1125143680 1408670975" +INSTANCE: tb.dut.u_reg.u_wdog_ctrl_cdc +ANNOTATION: "Src_ack will only be set after src_busy_q is set. This can be removed via RTL modification, and it will be revisited after the next CDC sign-off. Issue is #26164" +Condition 3 "86646938" "(src_busy_q && src_ack) 1 -1" (1 "01")