From b027eb466b033a0a9d229f19feb931ddb292a9fa Mon Sep 17 00:00:00 2001
From: Jiuyang Liu
Date: Sat, 20 Nov 2021 03:17:37 +0800
Subject: Disable random init (#2396)

* Add option to disable random mem/reg init

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>

* fix for code review.

Co-authored-by: SharzyL <me@sharzy.in>---
 .../scala/firrtlTests/VerilogEmitterTests.scala    | 37 ++++++++++++++++++++++
 1 file changed, 37 insertions(+)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/VerilogEmitterTests.scala b/src/test/scala/firrtlTests/VerilogEmitterTests.scala
index f4d13ac6..e533255a 100644
--- a/src/test/scala/firrtlTests/VerilogEmitterTests.scala
+++ b/src/test/scala/firrtlTests/VerilogEmitterTests.scala
@@ -835,6 +835,43 @@ class VerilogEmitterSpec extends FirrtlFlatSpec {
     )
     result2 should containLine("assign z = ~(&x);")
   }
+
+  it should "remove random line with Memory and Register with some emission option" in {
+    val input =
+      s"""|circuit Foo:
+          |  module Foo:
+          |    input clock: Clock
+          |    input reset: UInt<1>
+          |    input in_0: UInt<1>
+          |    output out: UInt<1>
+          |    mem mem :
+          |      data-type => UInt<1>
+          |      depth => 1
+          |      read-latency => 1
+          |      write-latency => 1
+          |      reader => r
+          |      read-under-write => undefined
+          |    reg tmp : UInt<1>, clock
+          |    tmp <= in_0
+          |    mem.r.addr <= tmp
+          |    mem.r.en <= UInt<1>(0)
+          |    mem.r.clk <= clock
+          |    out <= mem.r.data
+          |""".stripMargin
+    val circuit = Seq(ToWorkingIR, ResolveKinds, InferTypes).foldLeft(parse(input)) { case (c, p) => p.run(c) }
+    val state = CircuitState(
+      circuit,
+      LowForm,
+      Seq(
+        EmitCircuitAnnotation(classOf[VerilogEmitter]),
+        CustomDefaultMemoryEmission(MemoryNoInit),
+        CustomDefaultRegisterEmission(useInitAsPreset = true, disableRandomization = true)
+      )
+    )
+    val result = (new VerilogEmitter).execute(state)
+    (result.getEmittedCircuit.value should not).include("RANDOMIZE")
+  }
+
 }
 
 class VerilogDescriptionEmitterSpec extends FirrtlFlatSpec {
-- 
cgit v1.2.3