| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| // Include assertions within these modules. |
| +module tb |
| +module top_earlgrey_asic |
| +module top_earlgrey |
| +module rv_core_ibex |
| |
| // Enable full assertion coverage collection within these modules including their |
| // sub-hierarchies since they are not pre-verified. |
| +tree tb.dut.padring |
| |
| +tree tb.dut.top_earlgrey.u_clkmgr |
| +tree tb.dut.top_earlgrey.u_nmi_gen |
| +tree tb.dut.top_earlgrey.u_padctrl |
| +tree tb.dut.top_earlgrey.u_pinmux |
| +tree tb.dut.top_earlgrey.u_pwrmgr |
| +tree tb.dut.top_earlgrey.u_rstmgr |
| +tree tb.dut.top_earlgrey.u_rv_plic |
| +tree tb.dut.top_earlgrey.u_tl_adapter_rom |
| +tree tb.dut.top_earlgrey.u_tl_adapter_ram_main |
| +tree tb.dut.top_earlgrey.u_tl_adapter_ram_ret |
