| // 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. |
| -module prim_onehot_check // FPV verified |
| -moduletree prim_secded_inv_64_57_dec // use in reg_top |
| -moduletree prim_secded_inv_39_32_dec // use in reg_top |
| |
| 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 |
| +module prim_secded_inv_64_57_dec |
| +module prim_secded_inv_39_32_dec |
| end |
