diff options
Diffstat (limited to 'src/test/resources/blackboxes/SimpleExtModuleTester.fir')
| -rw-r--r-- | src/test/resources/blackboxes/SimpleExtModuleTester.fir | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/resources/blackboxes/SimpleExtModuleTester.fir b/src/test/resources/blackboxes/SimpleExtModuleTester.fir new file mode 100644 index 00000000..4d99bff2 --- /dev/null +++ b/src/test/resources/blackboxes/SimpleExtModuleTester.fir @@ -0,0 +1,20 @@ +circuit SimpleExtModuleTester : + extmodule SimpleExtModule : + input foo : UInt<16> + output bar : UInt<16> + + module SimpleExtModuleTester : + input clk : Clock + input reset : UInt<1> + + inst dut of SimpleExtModule + + dut.foo <= UInt(1234) + + when not(reset) : + when neq(dut.bar, UInt(1234)) : + printf(clk, not(reset), "Assertion failed\nTest Failed!\n") + stop(clk, not(reset), 1) + else : + stop(clk, not(reset), 0) + |
