| // 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. | |
| begin tgl | |
| -tree tb | |
| end |