aboutsummaryrefslogtreecommitdiff
path: root/src/test/resources/features/ChirrtlMems.fir
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/resources/features/ChirrtlMems.fir')
-rw-r--r--src/test/resources/features/ChirrtlMems.fir16
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!