Skip to content

Commit

Permalink
[rom_ctrl, cleanups] Minor convention modification
Browse files Browse the repository at this point in the history
An assertion in tlul_adapter_sram was missing _A suffix.

Signed-off-by: Kinza Qamar <kqzaman@lowrisc.org>
  • Loading branch information
KinzaQamar committed Jan 23, 2025
1 parent 1d0b7c2 commit 01e17b6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hw/ip/tlul/rtl/tlul_adapter_sram.sv
Original file line number Diff line number Diff line change
Expand Up @@ -689,5 +689,5 @@ module tlul_adapter_sram
`ASSERT(TlOutKnownIfFifoKnown_A, !$isunknown(rspfifo_rdata) -> !$isunknown(tl_o))

// The definition of d_valid leads to the assertion below.
`ASSERT(DValidNeedsReqFifoRValid, d_valid -> reqfifo_rvalid)
`ASSERT(DValidNeedsReqFifoRValid_A, d_valid -> reqfifo_rvalid)
endmodule

0 comments on commit 01e17b6

Please sign in to comment.