From a32d9b6c4587ebaac8080281afbb17b3dc4ae27a Mon Sep 17 00:00:00 2001 From: Dag Lem Date: Thu, 25 Jan 2024 07:29:59 +0100 Subject: [PATCH] Fix test of memory vs. memory converted to registers The purpose of memtest02 in tests/simple/memory.v is to test bit select on both memory (mem1) and memory converted to registers (mem2). After 7cfae2c52, mem1 was automatically converted to registers, and the test no longer worked as intended. This is fixed by adding (* nomem2reg *) to mem1. --- tests/simple/memory.v | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/simple/memory.v b/tests/simple/memory.v index b478d9409..a6a280992 100644 --- a/tests/simple/memory.v +++ b/tests/simple/memory.v @@ -44,6 +44,7 @@ input [2:0] bit; output reg y1, y2; output y3, y4; +(* nomem2reg *) reg [7:0] mem1 [3:0]; (* mem2reg *)