aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/firrtlTests/VerilogEmitterTests.scala16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/scala/firrtlTests/VerilogEmitterTests.scala b/src/test/scala/firrtlTests/VerilogEmitterTests.scala
index 4c09c083..1a40cc8f 100644
--- a/src/test/scala/firrtlTests/VerilogEmitterTests.scala
+++ b/src/test/scala/firrtlTests/VerilogEmitterTests.scala
@@ -717,6 +717,22 @@ class VerilogEmitterSpec extends FirrtlFlatSpec {
result should containLine("assign z = x == y;")
}
+ it should "show line numbers for AsyncReset regUpdate" in {
+ val result = compileBody(
+ """input clock : Clock
+ |input reset : AsyncReset
+ |output io : { flip in : UInt<1>, out : UInt<1>}
+ |
+ |reg valid : UInt<1>, clock with :
+ | reset => (reset, UInt<1>("h0")) @[Playground.scala 11:22]
+ |valid <= io.in @[Playground.scala 12:9]
+ |io.out <= valid @[Playground.scala 13:10]""".stripMargin
+ )
+ result should containLine("if (reset) begin // @[Playground.scala 11:22]")
+ result should containLine("valid <= 1'h0; // @[Playground.scala 11:22]")
+ result should containLine("valid <= io_in; // @[Playground.scala 12:9]")
+ }
+
it should "subtract positive literals instead of adding negative literals" in {
val compiler = new VerilogCompiler
val result = compileBody(