aboutsummaryrefslogtreecommitdiff
path: root/test/integration/GCDTester.fir
diff options
context:
space:
mode:
authorJim Lawson2016-12-08 09:25:42 -0800
committerJack Koenig2016-12-08 09:25:42 -0800
commitcfb3a48986500422cbf6ba8887030dee3a973933 (patch)
tree61318120adf506e6110f861a28a56801f43a0813 /test/integration/GCDTester.fir
parentd6f8b4c9b8d602d669497833901bd9c80f2340df (diff)
Clk2clock - rename the implicit "clk" module input "clock" (#387)
* Rename implict module "clk" input to "clock". This doesn't rename all the "self-contained" test instances. nor the memory "clk" enables, nor the implict module "clk"s in the regress .fir files. * Consistency: rename implict module "clk" input to "clock" in "self-contained" test instances. This doesn't rename the memory "clk" enables, nor the implict module "clk"s in the regress .fir files.
Diffstat (limited to 'test/integration/GCDTester.fir')
-rw-r--r--test/integration/GCDTester.fir24
1 files changed, 12 insertions, 12 deletions
diff --git a/test/integration/GCDTester.fir b/test/integration/GCDTester.fir
index 335c573e..f236ecdc 100644
--- a/test/integration/GCDTester.fir
+++ b/test/integration/GCDTester.fir
@@ -1,16 +1,16 @@
circuit GCDTester :
module DecoupledGCD :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : { flip in : { flip ready : UInt<1>, valid : UInt<1>, bits : { a : UInt<32>, b : UInt<32>}}, out : { flip ready : UInt<1>, valid : UInt<1>, bits : UInt<32>}}
io is invalid
- reg busy : UInt<1>, clk with :
+ reg busy : UInt<1>, clock with :
reset => (reset, UInt<1>("h0"))
- reg done : UInt<1>, clk with :
+ reg done : UInt<1>, clock with :
reset => (reset, UInt<1>("h0"))
- reg x : UInt<32>, clk with :
+ reg x : UInt<32>, clock with :
reset => (UInt<1>("h0"), x)
- reg y : UInt<32>, clk with :
+ reg y : UInt<32>, clock with :
reset => (UInt<1>("h0"), y)
node T_40 = eq(busy, UInt<1>("h0"))
io.in.ready <= T_40
@@ -48,15 +48,15 @@ circuit GCDTester :
io.out.bits <= x
module GCDTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : { }
io is invalid
inst dut of DecoupledGCD
dut.io is invalid
- dut.clk <= clk
+ dut.clock <= clock
dut.reset <= reset
- reg count : UInt<4>, clk with :
+ reg count : UInt<4>, clock with :
reset => (reset, UInt<4>("h9"))
wire a : UInt<7>[10]
a[0] <= UInt<6>("h2e")
@@ -92,7 +92,7 @@ circuit GCDTester :
z[8] <= UInt<1>("h1")
z[9] <= UInt<1>("h1")
dut.io.out.ready <= UInt<1>("h0")
- reg en : UInt<1>, clk with :
+ reg en : UInt<1>, clock with :
reset => (reset, UInt<1>("h1"))
dut.io.in.bits.a <= a[count]
dut.io.in.bits.b <= b[count]
@@ -112,16 +112,16 @@ circuit GCDTester :
when T_91 :
node T_93 = eq(reset, UInt<1>("h0"))
when T_93 :
- printf(clk, UInt<1>("h1"), "Assertion failed\n at GCDTester.scala:38 assert( dut.io.out.bits === z(count) )\n")
+ printf(clock, UInt<1>("h1"), "Assertion failed\n at GCDTester.scala:38 assert( dut.io.out.bits === z(count) )\n")
skip
- stop(clk, UInt<1>("h1"), 1)
+ stop(clock, UInt<1>("h1"), 1)
skip
skip
node T_95 = eq(count, UInt<1>("h0"))
when T_95 :
node T_97 = eq(reset, UInt<1>("h0"))
when T_97 :
- stop(clk, UInt<1>("h1"), 0)
+ stop(clock, UInt<1>("h1"), 0)
skip
skip
node T_99 = eq(T_95, UInt<1>("h0"))