hw/top_earlgrey/dv/cov/chip_cover.cfg

// 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 chip_earlgrey_asic
  +module ast
  +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+assert
  +module chip_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+assert
  +moduletree padring
  +moduletree pinmux
  +moduletree rv_plic
  +moduletree sensor_ctrl
  +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