From 1c2fcfe046c5a8af077ecf851723eab226398430 Mon Sep 17 00:00:00 2001 From: Kinza Qamar Date: Fri, 13 Dec 2024 18:17:48 +0000 Subject: [PATCH] [rom_ctrl, dv] Assertion coverage collection for tlul_adapter_sram We are not required to collect assertion coverage for prim_fifo_sync instantiated in tlul_adapter_sram. Commit 0372c1f removed the assert coverage for these modules but still got assertion coverage holes reported by VCS. Signed-off-by: Kinza Qamar --- hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg b/hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg index 6431c2bbc5308..0c2907e5f0244 100644 --- a/hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg +++ b/hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg @@ -2,9 +2,13 @@ // Licensed under the Apache License, Version 2.0, see LICENSE for details. // SPDX-License-Identifier: Apache-2.0 -// Collect coverage for tlul_adapter_sram to resolve coverage hole for intg_err. -+tree tb.dut.u_tl_adapter_rom - begin line+cond+fsm+branch - +moduletree tlul_adapter_sram + +tree tb.dut.u_tl_adapter_rom +end + +begin assert + +tree tb.dut.u_tl_adapter_rom + -tree tb.dut.u_tl_adapter_rom.u_reqfifo + -tree tb.dut.u_tl_adapter_rom.u_rspfifo + -tree tb.dut.u_tl_adapter_rom.u_sramreqfifo end