// 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_*

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