1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/resources/features/ZeroPortMem.fir b/src/test/resources/features/ZeroPortMem.fir
new file mode 100644
index 00000000..13b13720
--- /dev/null
+++ b/src/test/resources/features/ZeroPortMem.fir
@@ -0,0 +1,23 @@
+
+circuit ZeroPortMem :
+  module ZeroPortMem :
+    input clk : Clock
+    input reset : UInt<1>
+
+    mem mymem :
+      data-type => UInt<32>
+      depth => 128
+      read-latency => 0
+      write-latency => 1
+      read-under-write => undefined
+
+    wire foo : UInt<32>
+    foo <= UInt<32>("hdeadbeef")
+
+    when not(reset) :
+      when eq(foo, UInt<32>("hdeadbeef")) :
+        stop(clk, UInt(1), 0) ; Success !
+      else :
+        printf(clk, UInt(1), "Assertion failed!\n")
+        stop(clk, UInt(1), 1) ; Failure!
+