| -tree * | |
| // 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.padctl | |
| +tree tb.dut.top_earlgrey.u_pinmux | |
| +tree tb.dut.top_earlgrey.u_pwrmgr | |
| +tree tb.dut.top_earlgrey.u_nmi_gen | |
| +tree tb.dut.top_earlgrey.u_rstmgr | |
| +tree tb.dut.top_earlgrey.u_rv_plic | |
| +tree tb.dut.top_earlgrey.u_tl_adapter* |