aboutsummaryrefslogtreecommitdiff
path: root/test/features/NestedSubAccessTester.fir
diff options
context:
space:
mode:
Diffstat (limited to 'test/features/NestedSubAccessTester.fir')
-rw-r--r--test/features/NestedSubAccessTester.fir27
1 files changed, 0 insertions, 27 deletions
diff --git a/test/features/NestedSubAccessTester.fir b/test/features/NestedSubAccessTester.fir
deleted file mode 100644
index 36465012..00000000
--- a/test/features/NestedSubAccessTester.fir
+++ /dev/null
@@ -1,27 +0,0 @@
-circuit NestedSubAccessTester :
- module NestedSubAccess :
- input foo : UInt<1>[4]
- input index : UInt<2>
- output out : UInt<4>
-
- wire vec : UInt<4>[2]
- vec[0] <= UInt(3)
- vec[1] <= UInt(4)
-
- out <= vec[foo[index]]
-
- module NestedSubAccessTester :
- input clk : Clock
- input reset : UInt<1>
-
- inst dut of NestedSubAccess
-
- dut.foo is invalid
- dut.index <= UInt(2)
- dut.foo[2] <= UInt(1)
-
- when neq(dut.out, UInt(4)) :
- printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
- stop(clk, not(reset), 1)
- else :
- stop(clk, not(reset), 0)