aboutsummaryrefslogtreecommitdiff
path: root/src/test/resources/blackboxes/MultiExtModuleTester.fir
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/resources/blackboxes/MultiExtModuleTester.fir')
-rw-r--r--src/test/resources/blackboxes/MultiExtModuleTester.fir36
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)
+