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

// 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_*
+assert tb.dut.tlul_assert*

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

Enable tlul_assert for CSR tests
[dv] Enable tlul_assert for CSR tests

Some assert coverage can be only covered in CSR tests, such as b2b same
address request.

Signed-off-by: Weicai Yang <4fa8c7762ee4da95e3dee7dae2c3263ea16637f9@google.com>
