Skip to content

Commit

Permalink
[rom_ctrl, dv] Assertion coverage collection for tlul_adapter_sram
Browse files Browse the repository at this point in the history
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 <[email protected]>
  • Loading branch information
KinzaQamar authored and rswarbrick committed Dec 17, 2024
1 parent 6c3d20f commit 1c2fcfe
Showing 1 changed file with 8 additions and 4 deletions.
12 changes: 8 additions & 4 deletions hw/ip/rom_ctrl/dv/cov/cover_reg_top.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 1c2fcfe

Please sign in to comment.