diff options
| author | Albert Magyar | 2020-04-14 15:29:43 -0700 |
|---|---|---|
| committer | Albert Magyar | 2020-07-27 08:50:09 -0700 |
| commit | 1220a23ac9dfc26dbf5475ef064b644cdd1d7983 (patch) | |
| tree | 57e37d731f7f89b3cb0605e3588737644f816c70 /src/test/resources | |
| parent | b373b5a6f1b1c45ed474e3b037afb3ec8ec03d9a (diff) | |
Fix out-of-scope reference in handwritten CHIRRTL mem test
Diffstat (limited to 'src/test/resources')
| -rw-r--r-- | src/test/resources/features/ChirrtlMems.fir | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/resources/features/ChirrtlMems.fir b/src/test/resources/features/ChirrtlMems.fir index c51e3b78..de5b3cf3 100644 --- a/src/test/resources/features/ChirrtlMems.fir +++ b/src/test/resources/features/ChirrtlMems.fir @@ -14,13 +14,13 @@ circuit ChirrtlMems : raddr <= add(raddr, UInt(1)) infer mport r = ram[raddr], newClock + reg waddr : UInt<4>, clock with : (reset => (reset, UInt(0))) + waddr <= add(waddr, UInt(1)) + when wen : node newerClock = clock - reg waddr : UInt<4>, clock with : (reset => (reset, UInt(0))) - waddr <= add(waddr, UInt(1)) infer mport w = ram[waddr], newerClock w <= waddr - when eq(waddr, UInt(0)) : raddr <= UInt(0) |