// 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.

+moduletree *_reg_top
+node tb.dut tl_*
-module prim_cdc_rand_delay  // DV construct.

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
