| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // Enables coverage on the entire DUT. Limits the port only toggle coverage to | |
| // the DUT IOs. | |
| +tree tb.dut | |
| -module pins_if // DV construct. | |
| -module clk_rst_if // DV construct. | |
| begin tgl | |
| -tree tb | |
| +tree tb.dut 1 | |
| end |