Use default value on reset of Map.

This commit is contained in:
Jonathan Woodruff
2024-01-15 17:00:00 +00:00
parent 2c3c1da5c3
commit f9bf4ad856

View File

@@ -74,7 +74,7 @@ Bitwise#(ix), Eq#(ix), Arith#(ix));
Reg#(ix) clearCount <- mkReg(0);
PulseWire didUpdate <- mkPulseWire;
rule doClear(clearReg && !didUpdate);
for (Integer i = 0; i < a; i = i + 1) mem[i].upd(clearCount, unpack(0));
for (Integer i = 0; i < a; i = i + 1) mem[i].upd(clearCount, default_value);
clearCount <= clearCount + 1;
if (clearCount == ~0) clearReg <= False;
endrule