Add ExtModule Tests

1 files changed, 36 insertions, 0 deletions

diff --git a/src/test/resources/blackboxes/MultiExtModuleTester.fir b/src/test/resources/blackboxes/MultiExtModuleTester.fir
new file mode 100644
index 00000000..7c1adab2
--- /dev/null
+++ b/src/test/resources/blackboxes/MultiExtModuleTester.fir
@@ -0,0 +1,36 @@
+circuit MultiExtModuleTester :
+  extmodule SimpleExtModule :
+    input foo : UInt<16>
+    output bar : UInt<16>
+
+  extmodule AdderExtModule :
+    input foo : UInt<16>
+    output bar : UInt<16>
+
+  module MultiExtModuleTester :
+    input clk : Clock
+    input reset : UInt<1>
+
+    inst dut1 of SimpleExtModule
+    inst dut2 of SimpleExtModule
+    inst dut3 of AdderExtModule
+
+    dut1.foo <= UInt(1234)
+    dut2.foo <= UInt(5678)
+    dut3.foo <= UInt(100)
+
+    when not(reset) :
+      when neq(dut1.bar, UInt(1234)) :
+        printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
+        stop(clk, not(reset), 1)
+      else :
+        when neq(dut2.bar, UInt(5678)) :
+          printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
+          stop(clk, not(reset), 1)
+        else :
+          when neq(dut3.bar, UInt(101)) :
+            printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
+            stop(clk, not(reset), 1)
+          else :
+            stop(clk, not(reset), 0)
+