diff options
Diffstat (limited to 'src/test/resources/features/ChirrtlMems.fir')
| -rw-r--r-- | src/test/resources/features/ChirrtlMems.fir | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/test/resources/features/ChirrtlMems.fir b/src/test/resources/features/ChirrtlMems.fir index 6cc9f122..c51e3b78 100644 --- a/src/test/resources/features/ChirrtlMems.fir +++ b/src/test/resources/features/ChirrtlMems.fir @@ -1,22 +1,22 @@ ; See LICENSE for license details. circuit ChirrtlMems : module ChirrtlMems : - input clk : Clock + input clock : Clock input reset : UInt<1> cmem ram : UInt<32>[16] - node newClock = clk + node newClock = clock wire wen : UInt<1> wen <= not(reset) ; Don't const prop me! - reg raddr : UInt<4>, clk with : (reset => (reset, UInt(0))) + reg raddr : UInt<4>, clock with : (reset => (reset, UInt(0))) raddr <= add(raddr, UInt(1)) infer mport r = ram[raddr], newClock when wen : - node newerClock = clk - reg waddr : UInt<4>, clk with : (reset => (reset, UInt(0))) + 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 @@ -27,8 +27,8 @@ circuit ChirrtlMems : when not(reset) : when gt(waddr, UInt(1)) : when neq(r, raddr) : - printf(clk, UInt(1), "Assertion failed! r =/= raddr\n") - stop(clk, UInt(1), 1) ; Failure! + printf(clock, UInt(1), "Assertion failed! r =/= raddr\n") + stop(clock, UInt(1), 1) ; Failure! when eq(raddr, UInt(15)) : - stop(clk, UInt(1), 0) ; Success! + stop(clock, UInt(1), 0) ; Success! |
