From d0d3cd4ec4348eea381fe463ac9c96956fdd5eba Mon Sep 17 00:00:00 2001
From: Carlos Eduardo
Date: Thu, 1 Apr 2021 18:55:03 -0300
Subject: Add memory initialization options for synthesis (#2166)

This PR adds options for memory initialization inside or outside the
`ifndef SYNTHESIS` block.---
 src/test/scala/firrtlTests/MemoryInitSpec.scala | 40 ++++++++++++++++++++++++-
 1 file changed, 39 insertions(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/MemoryInitSpec.scala b/src/test/scala/firrtlTests/MemoryInitSpec.scala
index a7c9966a..44f0162e 100644
--- a/src/test/scala/firrtlTests/MemoryInitSpec.scala
+++ b/src/test/scala/firrtlTests/MemoryInitSpec.scala
@@ -4,7 +4,7 @@ package firrtlTests
 
 import firrtl._
 import firrtl.annotations._
-import firrtl.testutils.FirrtlCheckers.containLine
+import firrtl.testutils.FirrtlCheckers.{containLine, containLines}
 import firrtl.testutils.FirrtlFlatSpec
 import firrtlTests.execution._
 
@@ -182,6 +182,44 @@ class MemInitSpec extends FirrtlFlatSpec {
       compile(Seq(MemoryFileInlineAnnotation(mRef, filename = "")))
     }
   }
+
+  "MemoryInitialization" should "emit readmem in `ifndef SYNTHESIS` block by default" in {
+    val annos = Seq(
+      MemoryFileInlineAnnotation(mRef, filename = "text.hex", hexOrBinary = MemoryLoadFileType.Hex)
+    )
+    val result = compile(annos)
+    result should containLines(
+      """`endif // RANDOMIZE""",
+      """$readmemh("text.hex", """ + mRef.name + """);""",
+      """end // initial"""
+    )
+  }
+
+  "MemoryInitialization" should "emit readmem outside `ifndef SYNTHESIS` block with MemorySynthInit annotation" in {
+    val annos = Seq(
+      MemoryFileInlineAnnotation(mRef, filename = "text.hex", hexOrBinary = MemoryLoadFileType.Hex)
+    ) ++ Seq(MemorySynthInit)
+    val result = compile(annos)
+    result should containLines(
+      """`endif // SYNTHESIS""",
+      """initial begin""",
+      """$readmemh("text.hex", """ + mRef.name + """);""",
+      """end"""
+    )
+  }
+
+  "MemoryInitialization" should "emit readmem outside `ifndef SYNTHESIS` block with MemoryNoSynthInit annotation" in {
+    val annos = Seq(
+      MemoryFileInlineAnnotation(mRef, filename = "text.hex", hexOrBinary = MemoryLoadFileType.Hex)
+    ) ++ Seq(MemoryNoSynthInit)
+
+    val result = compile(annos)
+    result should containLines(
+      """`endif // RANDOMIZE""",
+      """$readmemh("text.hex", """ + mRef.name + """);""",
+      """end // initial"""
+    )
+  }
 }
 
 abstract class MemInitExecutionSpec(values: Seq[Int], init: ReferenceTarget => Annotation)
-- 
cgit v1.2.3