aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJim Lawson2016-12-08 09:25:42 -0800
committerJack Koenig2016-12-08 09:25:42 -0800
commitcfb3a48986500422cbf6ba8887030dee3a973933 (patch)
tree61318120adf506e6110f861a28a56801f43a0813 /src
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 'src')
-rw-r--r--src/test/resources/blackboxes/MultiExtModuleTester.fir16
-rw-r--r--src/test/resources/blackboxes/ParameterizedExtModuleTester.fir12
-rw-r--r--src/test/resources/blackboxes/RenamedExtModuleTester.fir8
-rw-r--r--src/test/resources/blackboxes/SimpleExtModuleTester.fir8
-rw-r--r--src/test/resources/features/ChirrtlMems.fir16
-rw-r--r--src/test/resources/features/CustomTransform.fir16
-rw-r--r--src/test/resources/features/NestedSubAccessTester.fir8
-rw-r--r--src/test/resources/features/Printf.fir10
-rw-r--r--src/test/resources/features/ZeroPortMem.fir8
-rw-r--r--src/test/resources/passes/ExpandWhens/ExpandWhens.fir14
-rw-r--r--src/test/resources/passes/Legalize/Legalize.fir22
-rw-r--r--src/test/resources/top.cpp8
-rw-r--r--src/test/scala/firrtlTests/AttachSpec.scala2
-rw-r--r--src/test/scala/firrtlTests/CInferMDirSpec.scala6
-rw-r--r--src/test/scala/firrtlTests/CheckSpec.scala2
-rw-r--r--src/test/scala/firrtlTests/ChirrtlMemSpec.scala14
-rw-r--r--src/test/scala/firrtlTests/ChirrtlSpec.scala8
-rw-r--r--src/test/scala/firrtlTests/CustomTransformSpec.scala4
-rw-r--r--src/test/scala/firrtlTests/InferReadWriteSpec.scala6
-rw-r--r--src/test/scala/firrtlTests/LowerTypesSpec.scala42
-rw-r--r--src/test/scala/firrtlTests/ReplSeqMemTests.scala18
-rw-r--r--src/test/scala/firrtlTests/UniquifySpec.scala40
-rw-r--r--src/test/scala/firrtlTests/UnitTests.scala10
-rw-r--r--src/test/scala/firrtlTests/WiringTests.scala204
-rw-r--r--src/test/scala/firrtlTests/fixed/FixedTypeInferenceSpec.scala4
-rw-r--r--src/test/scala/firrtlTests/fixed/RemoveFixedTypeSpec.scala2
26 files changed, 254 insertions, 254 deletions
diff --git a/src/test/resources/blackboxes/MultiExtModuleTester.fir b/src/test/resources/blackboxes/MultiExtModuleTester.fir
index fa8effdf..82ac172f 100644
--- a/src/test/resources/blackboxes/MultiExtModuleTester.fir
+++ b/src/test/resources/blackboxes/MultiExtModuleTester.fir
@@ -9,7 +9,7 @@ circuit MultiExtModuleTester :
output bar : UInt<16>
module MultiExtModuleTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
inst dut1 of SimpleExtModule
@@ -22,16 +22,16 @@ circuit MultiExtModuleTester :
when not(reset) :
when neq(dut1.bar, UInt(1234)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
when neq(dut2.bar, UInt(5678)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
when neq(dut3.bar, UInt(101)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
- stop(clk, not(reset), 0)
+ stop(clock, not(reset), 0)
diff --git a/src/test/resources/blackboxes/ParameterizedExtModuleTester.fir b/src/test/resources/blackboxes/ParameterizedExtModuleTester.fir
index eb9ba13f..3167cded 100644
--- a/src/test/resources/blackboxes/ParameterizedExtModuleTester.fir
+++ b/src/test/resources/blackboxes/ParameterizedExtModuleTester.fir
@@ -21,7 +21,7 @@ circuit ParameterizedExtModuleTester :
parameter TYP = 'bit [1:0]'
module ParameterizedExtModuleTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
inst dut1 of ParameterizedExtModule_1
@@ -32,12 +32,12 @@ circuit ParameterizedExtModuleTester :
when not(reset) :
when neq(dut1.bar, UInt(1003)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
when neq(dut2.bar, UInt(1008)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
- stop(clk, not(reset), 0)
+ stop(clock, not(reset), 0)
diff --git a/src/test/resources/blackboxes/RenamedExtModuleTester.fir b/src/test/resources/blackboxes/RenamedExtModuleTester.fir
index 9e807813..37338c9f 100644
--- a/src/test/resources/blackboxes/RenamedExtModuleTester.fir
+++ b/src/test/resources/blackboxes/RenamedExtModuleTester.fir
@@ -7,7 +7,7 @@ circuit RenamedExtModuleTester :
defname = SimpleExtModule
module RenamedExtModuleTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
inst dut of ThisIsJustTheFirrtlName
@@ -16,8 +16,8 @@ circuit RenamedExtModuleTester :
when not(reset) :
when neq(dut.bar, UInt(1234)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
- stop(clk, not(reset), 0)
+ stop(clock, not(reset), 0)
diff --git a/src/test/resources/blackboxes/SimpleExtModuleTester.fir b/src/test/resources/blackboxes/SimpleExtModuleTester.fir
index 264ce5fa..7118ec9f 100644
--- a/src/test/resources/blackboxes/SimpleExtModuleTester.fir
+++ b/src/test/resources/blackboxes/SimpleExtModuleTester.fir
@@ -5,7 +5,7 @@ circuit SimpleExtModuleTester :
output bar : UInt<16>
module SimpleExtModuleTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
inst dut of SimpleExtModule
@@ -14,8 +14,8 @@ circuit SimpleExtModuleTester :
when not(reset) :
when neq(dut.bar, UInt(1234)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
- stop(clk, not(reset), 0)
+ stop(clock, not(reset), 0)
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!
diff --git a/src/test/resources/features/CustomTransform.fir b/src/test/resources/features/CustomTransform.fir
index 61bd6ad2..de00f261 100644
--- a/src/test/resources/features/CustomTransform.fir
+++ b/src/test/resources/features/CustomTransform.fir
@@ -2,21 +2,21 @@
circuit CustomTransform :
; Replaced in custom transform by an implementation
extmodule Delay :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
input a : UInt<32>
input en : UInt<1>
output b : UInt<32>
module CustomTransform :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
- reg cycle : UInt<32>, clk with : (reset => (reset, UInt<32>(0)))
+ reg cycle : UInt<32>, clock with : (reset => (reset, UInt<32>(0)))
cycle <= tail(add(cycle, UInt<32>(1)), 1)
inst delay of Delay
- delay.clk <= clk
+ delay.clock <= clock
delay.reset <= reset
delay.a <= UInt(0)
delay.en <= UInt(0)
@@ -26,9 +26,9 @@ circuit CustomTransform :
delay.a <= UInt("hdeadbeef")
when eq(cycle, UInt(1)) :
when neq(delay.b, UInt("hdeadbeef")) :
- printf(clk, UInt(1), "Assertion failed!\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed!\n")
+ stop(clock, UInt(1), 1)
when eq(cycle, UInt(2)) :
- printf(clk, UInt(1), "Success!\n")
- stop(clk, UInt(1), 0)
+ printf(clock, UInt(1), "Success!\n")
+ stop(clock, UInt(1), 0)
diff --git a/src/test/resources/features/NestedSubAccessTester.fir b/src/test/resources/features/NestedSubAccessTester.fir
index c40da6a0..84b4cfbe 100644
--- a/src/test/resources/features/NestedSubAccessTester.fir
+++ b/src/test/resources/features/NestedSubAccessTester.fir
@@ -12,7 +12,7 @@ circuit NestedSubAccessTester :
out <= vec[foo[index]]
module NestedSubAccessTester :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
inst dut of NestedSubAccess
@@ -22,9 +22,9 @@ circuit NestedSubAccessTester :
dut.foo[2] <= UInt(1)
when neq(dut.out, UInt(4)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
+ printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
+ stop(clock, not(reset), 1)
else :
- stop(clk, not(reset), 0)
+ stop(clock, not(reset), 0)
diff --git a/src/test/resources/features/Printf.fir b/src/test/resources/features/Printf.fir
index a19e2493..5e065b9c 100644
--- a/src/test/resources/features/Printf.fir
+++ b/src/test/resources/features/Printf.fir
@@ -1,17 +1,17 @@
; See LICENSE for license details.
circuit Printf :
module Printf :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
- reg count : UInt<10>, clk with :
+ reg count : UInt<10>, clock with :
reset => (reset, UInt<6>(0))
- reg const : UInt<32> clk with :
+ reg const : UInt<32> clock with :
reset => (reset, UInt(123456))
node notReset = not(reset)
count <= add(count, UInt(1))
- printf(clk, notReset, "\tcount = %d 0x%x b%b\\\'%d%%\'\n", count, count, count, const)
+ printf(clock, notReset, "\tcount = %d 0x%x b%b\\\'%d%%\'\n", count, count, count, const)
when eq(count, UInt(255)) :
- stop(clk, UInt(1), 0)
+ stop(clock, UInt(1), 0)
diff --git a/src/test/resources/features/ZeroPortMem.fir b/src/test/resources/features/ZeroPortMem.fir
index 7e509ecf..96327f5c 100644
--- a/src/test/resources/features/ZeroPortMem.fir
+++ b/src/test/resources/features/ZeroPortMem.fir
@@ -1,7 +1,7 @@
; See LICENSE for license details.
circuit ZeroPortMem :
module ZeroPortMem :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
mem mymem :
@@ -16,8 +16,8 @@ circuit ZeroPortMem :
when not(reset) :
when eq(foo, UInt<32>("hdeadbeef")) :
- stop(clk, UInt(1), 0) ; Success !
+ stop(clock, UInt(1), 0) ; Success !
else :
- printf(clk, UInt(1), "Assertion failed!\n")
- stop(clk, UInt(1), 1) ; Failure!
+ printf(clock, UInt(1), "Assertion failed!\n")
+ stop(clock, UInt(1), 1) ; Failure!
diff --git a/src/test/resources/passes/ExpandWhens/ExpandWhens.fir b/src/test/resources/passes/ExpandWhens/ExpandWhens.fir
index 7d4c4cbb..291cf1b4 100644
--- a/src/test/resources/passes/ExpandWhens/ExpandWhens.fir
+++ b/src/test/resources/passes/ExpandWhens/ExpandWhens.fir
@@ -1,12 +1,12 @@
; See LICENSE for license details.
circuit ExpandWhens :
module ExpandWhens :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
node done = UInt(6)
- reg x : UInt<16>, clk with :
+ reg x : UInt<16>, clock with :
reset => (reset, UInt(0))
x <= x
@@ -30,18 +30,18 @@ circuit ExpandWhens :
when lt(x, UInt(5)) :
x <= UInt(5)
- reg count : UInt<16>, clk with :
+ reg count : UInt<16>, clock with :
reset => (reset, UInt(0))
when neq(count, done) :
count <= add(count, UInt(1))
- printf(clk, UInt(1), "count = %d, x = %d\n", count, x)
+ printf(clock, UInt(1), "count = %d, x = %d\n", count, x)
when not(reset) :
when neq(x, count) :
- printf(clk, UInt(1), "Assertion failed! x =/= count!\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed! x =/= count!\n")
+ stop(clock, UInt(1), 1)
when eq(x, done) :
- stop(clk, UInt(1), 0)
+ stop(clock, UInt(1), 0)
diff --git a/src/test/resources/passes/Legalize/Legalize.fir b/src/test/resources/passes/Legalize/Legalize.fir
index 8d8ac8bd..716dff83 100644
--- a/src/test/resources/passes/Legalize/Legalize.fir
+++ b/src/test/resources/passes/Legalize/Legalize.fir
@@ -1,18 +1,18 @@
; See LICENSE for license details.
circuit Legalize :
module Legalize :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
; Count till done
node done = UInt(6)
- reg count : UInt<16>, clk with :
+ reg count : UInt<16>, clock with :
reset => (reset, UInt(0))
when neq(count, done) :
count <= add(count, UInt(1))
when not(reset) :
when eq(count, done) :
- stop(clk, UInt(1), 0)
+ stop(clock, UInt(1), 0)
; Begin Test
; Check assignment to smaller width
@@ -20,22 +20,22 @@ circuit Legalize :
wire y : UInt<16>
y <- x
when neq(y, UInt("hbeef")) :
- printf(clk, UInt(1), "Assertion failed!\n y != beef\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed!\n y != beef\n")
+ stop(clock, UInt(1), 1)
; Check bit select of literal
node b = bits(UInt("hd0"), 7, 5)
node b2 = bits(UInt("h9"), 3, 3)
when neq(b, UInt(6)) :
- printf(clk, UInt(1), "Assertion failed!\n b != 6\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed!\n b != 6\n")
+ stop(clock, UInt(1), 1)
when neq(b2, UInt(1)) :
- printf(clk, UInt(1), "Assertion failed!\n b2 != 1\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed!\n b2 != 1\n")
+ stop(clock, UInt(1), 1)
; Check padding of literal
node bar = pad(SInt(-1), 16)
node bar_15 = bits(bar, 15, 15)
when neq(bar_15, UInt(1)) :
- printf(clk, UInt(1), "Assertion failed!\n bar_15 != 0\n")
- stop(clk, UInt(1), 1)
+ printf(clock, UInt(1), "Assertion failed!\n bar_15 != 0\n")
+ stop(clock, UInt(1), 1)
diff --git a/src/test/resources/top.cpp b/src/test/resources/top.cpp
index c117126d..08ad42fa 100644
--- a/src/test/resources/top.cpp
+++ b/src/test/resources/top.cpp
@@ -46,10 +46,10 @@ int main(int argc, char** argv) {
top->reset = 0; // Deassert reset
}
if ((main_time % 10) == 1) {
- top->clk = 1; // Toggle clock
+ top->clock = 1; // Toggle clock
}
if ((main_time % 10) == 6) {
- top->clk = 0;
+ top->clock = 0;
}
top->eval(); // Evaluate model
#if VM_TRACE
@@ -70,10 +70,10 @@ int main(int argc, char** argv) {
vluint64_t end_time = main_time + 100;
while (main_time < end_time) {
if ((main_time % 10) == 1) {
- top->clk = 1; // Toggle clock
+ top->clock = 1; // Toggle clock
}
if ((main_time % 10) == 6) {
- top->clk = 0;
+ top->clock = 0;
}
top->eval(); // Evaluate model
#if VM_TRACE
diff --git a/src/test/scala/firrtlTests/AttachSpec.scala b/src/test/scala/firrtlTests/AttachSpec.scala
index c3df4232..2eba9b96 100644
--- a/src/test/scala/firrtlTests/AttachSpec.scala
+++ b/src/test/scala/firrtlTests/AttachSpec.scala
@@ -210,7 +210,7 @@ class AttachAnalogSpec extends FirrtlFlatSpec {
val input =
"""circuit Unit :
| module Unit :
- | input clk: Clock
+ | input clock: Clock
| mem m:
| data-type => Analog<2>
| depth => 4
diff --git a/src/test/scala/firrtlTests/CInferMDirSpec.scala b/src/test/scala/firrtlTests/CInferMDirSpec.scala
index 1385b29d..3721543b 100644
--- a/src/test/scala/firrtlTests/CInferMDirSpec.scala
+++ b/src/test/scala/firrtlTests/CInferMDirSpec.scala
@@ -48,7 +48,7 @@ class CInferMDir extends LowTransformSpec {
val input = """
circuit foo :
module foo :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : {flip wen : UInt<1>, flip in : UInt<1>, flip counter : UInt<2>, ren: UInt<1>[4], out : UInt<1>[4]}
@@ -56,7 +56,7 @@ circuit foo :
cmem indices : UInt<2>[4]
node T_0 = add(io.counter, UInt<1>("h01"))
node temp = tail(T_0, 1)
- infer mport index = indices[temp], clk
+ infer mport index = indices[temp], clock
io.out[0] <= UInt<1>("h0")
io.out[1] <= UInt<1>("h0")
io.out[2] <= UInt<1>("h0")
@@ -65,7 +65,7 @@ circuit foo :
io.out[index] <= io.in
else :
when io.wen :
- infer mport bar = indices[temp], clk
+ infer mport bar = indices[temp], clock
bar <= io.in
""".stripMargin
diff --git a/src/test/scala/firrtlTests/CheckSpec.scala b/src/test/scala/firrtlTests/CheckSpec.scala
index 7b0f76a7..2fe5baf5 100644
--- a/src/test/scala/firrtlTests/CheckSpec.scala
+++ b/src/test/scala/firrtlTests/CheckSpec.scala
@@ -166,7 +166,7 @@ class CheckSpec extends FlatSpec with Matchers {
| input jtag : {TCK : Clock}
|
| module TheRealTop :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| output io : {flip jtag : {TCK : Clock}}
|
diff --git a/src/test/scala/firrtlTests/ChirrtlMemSpec.scala b/src/test/scala/firrtlTests/ChirrtlMemSpec.scala
index 3d8c9825..2bbe46c8 100644
--- a/src/test/scala/firrtlTests/ChirrtlMemSpec.scala
+++ b/src/test/scala/firrtlTests/ChirrtlMemSpec.scala
@@ -61,7 +61,7 @@ class ChirrtlMemSpec extends LowTransformSpec {
val input = """
circuit foo :
module foo :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : {flip wen : UInt<1>, flip in : UInt<1>, flip counter : UInt<2>, out : UInt<1>}
@@ -69,9 +69,9 @@ circuit foo :
smem mem : UInt<1>[4]
node T_0 = add(io.counter, UInt<1>("h01"))
node temp = tail(T_0, 1)
- read mport bar = mem[temp], clk
+ read mport bar = mem[temp], clock
when io.wen :
- write mport T_1 = mem[io.counter], clk
+ write mport T_1 = mem[io.counter], clock
T_1 <= io.in
io.out <= bar
""".stripMargin
@@ -87,18 +87,18 @@ circuit foo :
val input = """
circuit foo :
module foo :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : {flip ren: UInt<1>, flip wen : UInt<1>, flip in : UInt<1>, flip counter : UInt<2>, out : UInt<1>}
io is invalid
cmem mem : UInt<1>[4]
- reg counter : UInt<1>, clk with : (reset => (reset, UInt<1>("h0")))
- read mport bar = mem[counter], clk
+ reg counter : UInt<1>, clock with : (reset => (reset, UInt<1>("h0")))
+ read mport bar = mem[counter], clock
when io.ren:
counter <= add(counter, UInt<1>("h1"))
when io.wen :
- write mport T_1 = mem[io.counter], clk
+ write mport T_1 = mem[io.counter], clock
T_1 <= io.in
io.out <= bar
""".stripMargin
diff --git a/src/test/scala/firrtlTests/ChirrtlSpec.scala b/src/test/scala/firrtlTests/ChirrtlSpec.scala
index 3b360de6..0ae112f0 100644
--- a/src/test/scala/firrtlTests/ChirrtlSpec.scala
+++ b/src/test/scala/firrtlTests/ChirrtlSpec.scala
@@ -35,9 +35,9 @@ class ChirrtlSpec extends FirrtlFlatSpec {
val input =
"""circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| smem ram : UInt<32>[128]
- | node newClock = clk
+ | node newClock = clock
| infer mport x = ram[UInt(2)], newClock
| x <= UInt(3)
| when UInt(1) :
@@ -53,9 +53,9 @@ class ChirrtlSpec extends FirrtlFlatSpec {
val input =
"""circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| smem ram : UInt<32>[128]
- | node newClock = clk
+ | node newClock = clock
| infer mport x = ram[UInt(2)], newClock
| x <= UInt(3)
| when UInt(1) :
diff --git a/src/test/scala/firrtlTests/CustomTransformSpec.scala b/src/test/scala/firrtlTests/CustomTransformSpec.scala
index 4a3faf6b..3a20082f 100644
--- a/src/test/scala/firrtlTests/CustomTransformSpec.scala
+++ b/src/test/scala/firrtlTests/CustomTransformSpec.scala
@@ -15,13 +15,13 @@ class CustomTransformSpec extends FirrtlFlatSpec {
val delayModuleString = """
|circuit Delay :
| module Delay :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| input a : UInt<32>
| input en : UInt<1>
| output b : UInt<32>
|
- | reg r : UInt<32>, clk
+ | reg r : UInt<32>, clock
| r <= r
| when en :
| r <= a
diff --git a/src/test/scala/firrtlTests/InferReadWriteSpec.scala b/src/test/scala/firrtlTests/InferReadWriteSpec.scala
index b92feacd..a5eea147 100644
--- a/src/test/scala/firrtlTests/InferReadWriteSpec.scala
+++ b/src/test/scala/firrtlTests/InferReadWriteSpec.scala
@@ -55,7 +55,7 @@ class InferReadWriteSpec extends SimpleTransformSpec {
val input = """
circuit sram6t :
module sram6t :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
output io : {flip en : UInt<1>, flip wen : UInt<1>, flip waddr : UInt<8>, flip wdata : UInt<32>, flip raddr : UInt<8>, rdata : UInt<32>}
@@ -67,11 +67,11 @@ circuit sram6t :
T_2 is invalid
when T_1 :
T_2 <= io.raddr
- read mport T_3 = mem[T_2], clk
+ read mport T_3 = mem[T_2], clock
io.rdata <= T_3
node T_4 = and(io.en, io.wen)
when T_4 :
- write mport T_5 = mem[io.waddr], clk
+ write mport T_5 = mem[io.waddr], clock
T_5 <= io.wdata
""".stripMargin
diff --git a/src/test/scala/firrtlTests/LowerTypesSpec.scala b/src/test/scala/firrtlTests/LowerTypesSpec.scala
index b48bcd16..89461f12 100644
--- a/src/test/scala/firrtlTests/LowerTypesSpec.scala
+++ b/src/test/scala/firrtlTests/LowerTypesSpec.scala
@@ -66,16 +66,16 @@ class LowerTypesSpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
- | reg w : UInt<1>, clk
- | reg x : {a : UInt<1>, b : UInt<1>}, clk
- | reg y : UInt<1>[4], clk
- | reg z : { c : { d : UInt<1>, e : UInt<1>}, f : UInt<1>[2] }[2], clk
+ | reg w : UInt<1>, clock
+ | reg x : {a : UInt<1>, b : UInt<1>}, clock
+ | reg y : UInt<1>[4], clock
+ | reg z : { c : { d : UInt<1>, e : UInt<1>}, f : UInt<1>[2] }[2], clock
""".stripMargin
val expected = Seq("w", "x_a", "x_b", "y_0", "y_1", "y_2", "y_3", "z_0_c_d",
"z_0_c_e", "z_0_f_0", "z_0_f_1", "z_1_c_d", "z_1_c_e", "z_1_f_0",
- "z_1_f_1") map (x => s"reg $x : UInt<1>, clk with :") map normalized
+ "z_1_f_1") map (x => s"reg $x : UInt<1>, clock with :") map normalized
executeTest(input, expected)
}
@@ -84,34 +84,34 @@ class LowerTypesSpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| input init : { a : UInt<1>, b : UInt<1>}[2]
- | reg x : { a : UInt<1>, b : UInt<1>}[2], clk with :
+ | reg x : { a : UInt<1>, b : UInt<1>}[2], clock with :
| reset => (reset, init)
""".stripMargin
val expected = Seq(
- "reg x_0_a : UInt<1>, clk with :", "reset => (reset, init_0_a)",
- "reg x_0_b : UInt<1>, clk with :", "reset => (reset, init_0_b)",
- "reg x_1_a : UInt<1>, clk with :", "reset => (reset, init_1_a)",
- "reg x_1_b : UInt<1>, clk with :", "reset => (reset, init_1_b)"
+ "reg x_0_a : UInt<1>, clock with :", "reset => (reset, init_0_a)",
+ "reg x_0_b : UInt<1>, clock with :", "reset => (reset, init_0_b)",
+ "reg x_1_a : UInt<1>, clock with :", "reset => (reset, init_1_a)",
+ "reg x_1_b : UInt<1>, clock with :", "reset => (reset, init_1_b)"
) map normalized
executeTest(input, expected)
}
- it should "lower DefRegister expressions: clk, reset, and init" in {
+ it should "lower DefRegister expressions: clock, reset, and init" in {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock[2]
+ | input clock : Clock[2]
| input reset : { a : UInt<1>, b : UInt<1>}
| input init : { a : UInt<4>, b : { c : UInt<4>, d : UInt<4>}[2]}[4]
- | reg foo : UInt<4>, clk[1], with :
+ | reg foo : UInt<4>, clock[1], with :
| reset => (reset.a, init[3].b[1].d)
""".stripMargin
val expected = Seq(
- "reg foo : UInt<4>, clk_1 with :",
+ "reg foo : UInt<4>, clock_1 with :",
"reset => (reset_a, init_3_b_1_d)"
) map normalized
@@ -145,7 +145,7 @@ class LowerTypesSpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
+ | input clock : Clock
| mem m :
| data-type => { a : UInt<8>, b : UInt<8>}[2]
| depth => 32
@@ -153,13 +153,13 @@ class LowerTypesSpec extends FirrtlFlatSpec {
| write-latency => 1
| reader => read
| writer => write
- | m.read.clk <= clk
+ | m.read.clk <= clock
| m.read.en <= UInt<1>(1)
| m.read.addr is invalid
| node x = m.read.data
| node y = m.read.data[0].b
|
- | m.write.clk <= clk
+ | m.write.clk <= clock
| m.write.en <= UInt<1>(0)
| m.write.mask is invalid
| m.write.addr is invalid
@@ -173,8 +173,8 @@ class LowerTypesSpec extends FirrtlFlatSpec {
""".stripMargin
val expected = Seq(
"mem m_0_a :", "mem m_0_b :", "mem m_1_a :", "mem m_1_b :",
- "m_0_a.read.clk <= clk", "m_0_b.read.clk <= clk",
- "m_1_a.read.clk <= clk", "m_1_b.read.clk <= clk",
+ "m_0_a.read.clk <= clock", "m_0_b.read.clk <= clock",
+ "m_1_a.read.clk <= clock", "m_1_b.read.clk <= clock",
"m_0_a.read.addr is invalid", "m_0_b.read.addr is invalid",
"m_1_a.read.addr is invalid", "m_1_b.read.addr is invalid",
"node x_0_a = m_0_a.read.data", "node x_0_b = m_0_b.read.data",
diff --git a/src/test/scala/firrtlTests/ReplSeqMemTests.scala b/src/test/scala/firrtlTests/ReplSeqMemTests.scala
index 2cde085a..b851f176 100644
--- a/src/test/scala/firrtlTests/ReplSeqMemTests.scala
+++ b/src/test/scala/firrtlTests/ReplSeqMemTests.scala
@@ -27,7 +27,7 @@ class ReplSeqMemSpec extends SimpleTransformSpec {
val input = """
circuit Top :
module Top :
- input clk : Clock
+ input clock : Clock
input reset : UInt<1>
input head_ptr : UInt<5>
input tail_ptr : UInt<5>
@@ -40,15 +40,15 @@ circuit Top :
smem entries_info : {takens : UInt<2>, history : UInt<14>, info : UInt<14>}[24]
when io.backend.allocate.valid :
- write mport W = entries_info[tail_ptr], clk
+ write mport W = entries_info[tail_ptr], clock
W <- io.backend.allocate.bits.info
- read mport R = entries_info[head_ptr], clk
+ read mport R = entries_info[head_ptr], clock
io.commit_entry.bits.info <- R
smem entries_info2 : {takens : UInt<2>, history : UInt<14>, info : UInt<14>}[24]
when io2.backend.allocate.valid :
- write mport W1 = entries_info2[tail_ptr], clk
+ write mport W1 = entries_info2[tail_ptr], clock
when wmask.takens :
W1.takens <- io.backend.allocate.bits.info.takens
when wmask.history :
@@ -56,7 +56,7 @@ circuit Top :
when wmask.info :
W1.info <- io.backend.allocate.bits.info.history
- read mport R1 = entries_info2[head_ptr], clk
+ read mport R1 = entries_info2[head_ptr], clock
io2.commit_entry.bits.info <- R1
""".stripMargin
val confLoc = "ReplSeqMemTests.confTEMP"
@@ -72,15 +72,15 @@ circuit Top :
val input = """
circuit Top :
module Top :
- input clk : Clock
+ input clock : Clock
input hsel : UInt<1>
- reg p_valid : UInt<1>, clk
- reg p_address : UInt<5>, clk
+ reg p_valid : UInt<1>, clock
+ reg p_address : UInt<5>, clock
smem mem : UInt<8>[8][32]
when hsel :
when p_valid :
- write mport T_155 = mem[p_address], clk
+ write mport T_155 = mem[p_address], clock
""".stripMargin
val confLoc = "ReplSeqMemTests.confTEMP"
val aMap = AnnotationMap(Seq(ReplSeqMemAnnotation("-c:Top:-o:"+confLoc)))
diff --git a/src/test/scala/firrtlTests/UniquifySpec.scala b/src/test/scala/firrtlTests/UniquifySpec.scala
index b43efbe5..14c0f652 100644
--- a/src/test/scala/firrtlTests/UniquifySpec.scala
+++ b/src/test/scala/firrtlTests/UniquifySpec.scala
@@ -52,15 +52,15 @@ class UniquifySpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
- | reg a : { b : UInt<1>, c : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clk
- | reg a_0_c_ : UInt<5>, clk
- | reg a__0 : UInt<6>, clk
+ | input clock : Clock
+ | reg a : { b : UInt<1>, c : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clock
+ | reg a_0_c_ : UInt<5>, clock
+ | reg a__0 : UInt<6>, clock
""".stripMargin
val expected = Seq(
- "reg a__ : { b : UInt<1>, c_ : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clk with :",
- "reg a_0_c_ : UInt<5>, clk with :",
- "reg a__0 : UInt<6>, clk with :") map normalized
+ "reg a__ : { b : UInt<1>, c_ : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clock with :",
+ "reg a_0_c_ : UInt<5>, clock with :",
+ "reg a__0 : UInt<6>, clock with :") map normalized
executeTest(input, expected)
}
@@ -69,8 +69,8 @@ class UniquifySpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
- | reg x : { b : UInt<1>, c : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clk
+ | input clock : Clock
+ | reg x : { b : UInt<1>, c : { d : UInt<2>, e : UInt<3>}[2], c_1_e : UInt<4>}[2], clock
| node a = x
| node a_0_c_ = a[0].b
| node a__0 = a[1].c[0].d
@@ -81,21 +81,21 @@ class UniquifySpec extends FirrtlFlatSpec {
}
- it should "rename DefRegister expressions: clk, reset, and init" in {
+ it should "rename DefRegister expressions: clock, reset, and init" in {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock[2]
- | input clk_0 : Clock
+ | input clock : Clock[2]
+ | input clock_0 : Clock
| input reset : { a : UInt<1>, b : UInt<1>}
| input reset_a : UInt<1>
| input init : { a : UInt<4>, b : { c : UInt<4>, d : UInt<4>}[2], b_1_c : UInt<4>}[4]
| input init_0_a : UInt<4>
- | reg foo : UInt<4>, clk[1], with :
+ | reg foo : UInt<4>, clock[1], with :
| reset => (reset.a, init[3].b[1].d)
""".stripMargin
val expected = Seq(
- "reg foo : UInt<4>, clk_[1] with :",
+ "reg foo : UInt<4>, clock_[1] with :",
"reset => (reset_.a, init_[3].b_[1].d)"
) map normalized
@@ -187,7 +187,7 @@ class UniquifySpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
+ | input clock : Clock
| mem mem :
| data-type => { a : UInt<8>, b : UInt<8>[2]}[2]
| depth => 32
@@ -199,12 +199,12 @@ class UniquifySpec extends FirrtlFlatSpec {
|
| mem.read.addr is invalid
| mem.read.en <= UInt(1)
- | mem.read.clk <= clk
+ | mem.read.clk <= clock
| mem.write.data is invalid
| mem.write.mask is invalid
| mem.write.addr is invalid
| mem.write.en <= UInt(0)
- | mem.write.clk <= clk
+ | mem.write.clk <= clock
""".stripMargin
val expected = Seq(
"mem mem_ :",
@@ -218,7 +218,7 @@ class UniquifySpec extends FirrtlFlatSpec {
val input =
"""circuit Test :
| module Test :
- | input clk : Clock
+ | input clock : Clock
| mem mem :
| data-type => { a : UInt<8>, b : UInt<8>[2], b_0 : UInt<8> }
| depth => 32
@@ -230,12 +230,12 @@ class UniquifySpec extends FirrtlFlatSpec {
|
| mem.read.addr is invalid
| mem.read.en <= UInt(1)
- | mem.read.clk <= clk
+ | mem.read.clk <= clock
| mem.write.data is invalid
| mem.write.mask is invalid
| mem.write.addr is invalid
| mem.write.en <= UInt(0)
- | mem.write.clk <= clk
+ | mem.write.clk <= clock
""".stripMargin
val expected = Seq(
"data-type => { a : UInt<8>, b_ : UInt<8>[2], b_0 : UInt<8>}",
diff --git a/src/test/scala/firrtlTests/UnitTests.scala b/src/test/scala/firrtlTests/UnitTests.scala
index cb07448f..ec328818 100644
--- a/src/test/scala/firrtlTests/UnitTests.scala
+++ b/src/test/scala/firrtlTests/UnitTests.scala
@@ -71,10 +71,10 @@ class UnitTests extends FirrtlFlatSpec {
val input =
"""circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| wire x : { valid : UInt<1> }
- | reg y : { valid : UInt<1>, bits : UInt<3> }, clk with :
+ | reg y : { valid : UInt<1>, bits : UInt<3> }, clock with :
| reset => (reset, x)""".stripMargin
intercept[CheckTypes.InvalidRegInit] {
passes.foldLeft(parse(input)) {
@@ -202,13 +202,13 @@ class UnitTests extends FirrtlFlatSpec {
val input =
"""circuit AssignViaDeref :
| module AssignViaDeref :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| output io : {a : UInt<8>, sel : UInt<1>}
|
| io is invalid
- | reg table : {a : UInt<8>}[2], clk
- | reg otherTable : {a : UInt<8>}[2], clk
+ | reg table : {a : UInt<8>}[2], clock
+ | reg otherTable : {a : UInt<8>}[2], clock
| otherTable[table[UInt<1>("h01")].a].a <= UInt<1>("h00")""".stripMargin
//TODO(azidar): I realize this is brittle, but unfortunately there
// isn't a better way to test this pass
diff --git a/src/test/scala/firrtlTests/WiringTests.scala b/src/test/scala/firrtlTests/WiringTests.scala
index e8143741..e84cbf47 100644
--- a/src/test/scala/firrtlTests/WiringTests.scala
+++ b/src/test/scala/firrtlTests/WiringTests.scala
@@ -39,78 +39,78 @@ class WiringTests extends FirrtlFlatSpec {
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst b of B
- | b.clk <= clk
+ | b.clock <= clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| inst d of D
- | d.clk <= clk
+ | d.clock <= clock
| module B :
- | input clk: Clock
+ | input clock: Clock
| inst c of C
- | c.clk <= clk
+ | c.clock <= clock
| inst d of D
- | d.clk <= clk
+ | d.clock <= clock
| module C :
- | input clk: Clock
- | reg r: UInt<5>, clk
+ | input clock: Clock
+ | reg r: UInt<5>, clock
| module D :
- | input clk: Clock
+ | input clock: Clock
| inst x1 of X
- | x1.clk <= clk
+ | x1.clock <= clock
| inst x2 of X
- | x2.clk <= clk
+ | x2.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
val check =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst b of B
- | b.clk <= clk
+ | b.clock <= clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| inst d of D
- | d.clk <= clk
+ | d.clock <= clock
| wire r: UInt<5>
| r <= b.r
| x.pin <= r
| d.r <= r
| module B :
- | input clk: Clock
+ | input clock: Clock
| output r: UInt<5>
| inst c of C
- | c.clk <= clk
+ | c.clock <= clock
| inst d of D
- | d.clk <= clk
+ | d.clock <= clock
| r <= c.r_0
| d.r <= r
| module C :
- | input clk: Clock
+ | input clock: Clock
| output r_0: UInt<5>
- | reg r: UInt<5>, clk
+ | reg r: UInt<5>, clock
| r_0 <= r
| module D :
- | input clk: Clock
+ | input clock: Clock
| input r: UInt<5>
| inst x1 of X
- | x1.clk <= clk
+ | x1.clock <= clock
| inst x2 of X
- | x2.clk <= clk
+ | x2.clock <= clock
| x1.pin <= r
| x2.pin <= r
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
| input pin: UInt<5>
|""".stripMargin
val c = passes.foldLeft(parse(input)) {
@@ -127,33 +127,33 @@ class WiringTests extends FirrtlFlatSpec {
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
- | reg r : {x: UInt<5>}, clk
+ | input clock: Clock
+ | reg r : {x: UInt<5>}, clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
val check =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
- | reg r: {x: UInt<5>}, clk
+ | input clock: Clock
+ | reg r: {x: UInt<5>}, clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| wire r_x: UInt<5>
| r_x <= r.x
| x.pin <= r_x
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
| input pin: UInt<5>
|""".stripMargin
val c = passes.foldLeft(parse(input)) {
@@ -163,37 +163,37 @@ class WiringTests extends FirrtlFlatSpec {
val retC = wiringPass.run(c)
(parse(retC.serialize).serialize) should be (parse(check).serialize)
}
- "Wiring from clk to X" should "work" in {
+ "Wiring from clock to X" should "work" in {
val sinks = Set("X")
- val sas = WiringInfo("A", "clk", sinks, "pin", "A")
+ val sas = WiringInfo("A", "clock", sinks, "pin", "A")
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
val check =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
- | wire clk_0: Clock
- | clk_0 <= clk
- | x.pin <= clk_0
+ | x.clock <= clock
+ | wire clock_0: Clock
+ | clock_0 <= clock
+ | x.pin <= clock_0
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
| input pin: Clock
|""".stripMargin
val c = passes.foldLeft(parse(input)) {
@@ -205,21 +205,21 @@ class WiringTests extends FirrtlFlatSpec {
}
"Two sources" should "fail" in {
val sinks = Set("X")
- val sas = WiringInfo("A", "clk", sinks, "pin", "Top")
+ val sas = WiringInfo("A", "clock", sinks, "pin", "Top")
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a1 of A
- | a1.clk <= clk
+ | a1.clock <= clock
| inst a2 of A
- | a2.clk <= clk
+ | a2.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
intercept[WiringException] {
val c = passes.foldLeft(parse(input)) {
@@ -229,41 +229,41 @@ class WiringTests extends FirrtlFlatSpec {
val retC = wiringPass.run(c)
}
}
- "Wiring from A.clk to X, with 2 A's, and A as top" should "work" in {
+ "Wiring from A.clock to X, with 2 A's, and A as top" should "work" in {
val sinks = Set("X")
- val sas = WiringInfo("A", "clk", sinks, "pin", "A")
+ val sas = WiringInfo("A", "clock", sinks, "pin", "A")
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a1 of A
- | a1.clk <= clk
+ | a1.clock <= clock
| inst a2 of A
- | a2.clk <= clk
+ | a2.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
val check =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a1 of A
- | a1.clk <= clk
+ | a1.clock <= clock
| inst a2 of A
- | a2.clk <= clk
+ | a2.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
- | wire clk_0: Clock
- | clk_0 <= clk
- | x.pin <= clk_0
+ | x.clock <= clock
+ | wire clock_0: Clock
+ | clock_0 <= clock
+ | x.pin <= clock_0
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
| input pin: Clock
|""".stripMargin
val c = passes.foldLeft(parse(input)) {
@@ -273,25 +273,25 @@ class WiringTests extends FirrtlFlatSpec {
val retC = wiringPass.run(c)
(parse(retC.serialize).serialize) should be (parse(check).serialize)
}
- "Wiring from A.clk to X, with 2 A's, and A as top, but Top instantiates X" should "error" in {
+ "Wiring from A.clock to X, with 2 A's, and A as top, but Top instantiates X" should "error" in {
val sinks = Set("X")
- val sas = WiringInfo("A", "clk", sinks, "pin", "A")
+ val sas = WiringInfo("A", "clock", sinks, "pin", "A")
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a1 of A
- | a1.clk <= clk
+ | a1.clock <= clock
| inst a2 of A
- | a2.clk <= clk
+ | a2.clock <= clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| module A :
- | input clk: Clock
+ | input clock: Clock
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
intercept[WiringException] {
val c = passes.foldLeft(parse(input)) {
@@ -307,35 +307,35 @@ class WiringTests extends FirrtlFlatSpec {
val input =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
- | reg r: UInt<2>[5], clk
+ | input clock: Clock
+ | reg r: UInt<2>[5], clock
| node a = UInt(5)
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
|""".stripMargin
val check =
"""circuit Top :
| module Top :
- | input clk: Clock
+ | input clock: Clock
| inst a of A
- | a.clk <= clk
+ | a.clock <= clock
| module A :
- | input clk: Clock
- | reg r: UInt<2>[5], clk
+ | input clock: Clock
+ | reg r: UInt<2>[5], clock
| node a = UInt(5)
| inst x of X
- | x.clk <= clk
+ | x.clock <= clock
| wire r_a: UInt<2>
| r_a <= r[a]
| x.pin <= r_a
| extmodule X :
- | input clk: Clock
+ | input clock: Clock
| input pin: UInt<2>
|""".stripMargin
val c = passes.foldLeft(parse(input)) {
diff --git a/src/test/scala/firrtlTests/fixed/FixedTypeInferenceSpec.scala b/src/test/scala/firrtlTests/fixed/FixedTypeInferenceSpec.scala
index 9b35a19a..2750ee71 100644
--- a/src/test/scala/firrtlTests/fixed/FixedTypeInferenceSpec.scala
+++ b/src/test/scala/firrtlTests/fixed/FixedTypeInferenceSpec.scala
@@ -264,7 +264,7 @@ class FixedTypeInferenceSpec extends FirrtlFlatSpec {
"""
|circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| input io_in : Fixed<6><<0>>
| output io_out : Fixed<6><<0>>
@@ -277,7 +277,7 @@ class FixedTypeInferenceSpec extends FirrtlFlatSpec {
"""
|circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| input io_in : SInt<6>
| output io_out : SInt<6>
diff --git a/src/test/scala/firrtlTests/fixed/RemoveFixedTypeSpec.scala b/src/test/scala/firrtlTests/fixed/RemoveFixedTypeSpec.scala
index 6bd06f10..4910cb5e 100644
--- a/src/test/scala/firrtlTests/fixed/RemoveFixedTypeSpec.scala
+++ b/src/test/scala/firrtlTests/fixed/RemoveFixedTypeSpec.scala
@@ -167,7 +167,7 @@ class RemoveFixedTypeSpec extends FirrtlFlatSpec {
"""
|circuit Unit :
| module Unit :
- | input clk : Clock
+ | input clock : Clock
| input reset : UInt<1>
| input io_in : Fixed<6><<0>>
| output io_out : Fixed