hw/top_earlgrey/ip_autogen/alert_handler/dv/cov/alert_handler_cover_reg_top.cfg

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

// Limits coverage collection only to the *_reg_top module and the TL interface
// of the DUT.
// Alert_handler wraps alert_handler_reg_top with alert_handler_reg_wrap, so this overwrites the
// common cfg file to include the alert_handler_reg_wrap module.

+moduletree *_reg_wrap
+node tb.dut tl_*
-module prim_cdc_rand_delay  // DV construct.
-module prim_onehot_check    // FPV verified

begin assert
  +moduletree *csr_assert_fpv
  +moduletree tlul_assert
end

// Remove everything else from toggle coverage except:
// - `prim_alert_sender`: the `alert_test` task under `cip_base_vseq` drives `alert_test_i` and
// verifies `alert_rx/tx` handshake in each IP.
begin tgl
  -tree tb
  +module prim_alert_sender
end