blob: 68dce60bc1bb050b10dfbb15eff7a64fd6cf818c [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
-tree *
-module pins_if // DV construct.
-module clk_rst_if // DV construct.
// Include port toggles of all IOs at these hierarchies.
begin tgl(portsonly)
+module top_earlgrey_asic
+module padring
+moduletree top_earlgrey 2
+moduletree rv_core_ibex 2
end
// Enable full coverage collection on these modules to cover the glue logic.
begin line+cond+fsm+branch
+module top_earlgrey_asic
+module top_earlgrey
+module rv_core_ibex
end
// Enable full coverage collection on these modules including their
// sub-hierarchies since they are not pre-verified.
begin line+cond+fsm+branch
+moduletree padring
+moduletree clkmgr
+moduletree nmi_gen
+moduletree padctrl
+moduletree pinmux
+moduletree pwrmgr
+moduletree rstmgr
+moduletree 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
end