aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/fib.ys
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2021-01-01 09:32:26 +0000
committerGitHub <noreply@github.com>2021-01-01 09:32:26 +0000
commitbc2de4567c46c555c453061b7e24db695a7ae62b (patch)
treeb324d9f5c9558411846741fac6c3049970f469f8 /tests/various/fib.ys
parent1a80194cd30adea054da17ebecfcbd921b34aeb5 (diff)
parent2085d9a55d38f28551739d63bede29d93edaf578 (diff)
downloadyosys-bc2de4567c46c555c453061b7e24db695a7ae62b.tar.gz
yosys-bc2de4567c46c555c453061b7e24db695a7ae62b.tar.bz2
yosys-bc2de4567c46c555c453061b7e24db695a7ae62b.zip
Merge pull request #2518 from zachjs/recursion
verilog: improved support for recursive functions
Diffstat (limited to 'tests/various/fib.ys')
-rw-r--r--tests/various/fib.ys6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/various/fib.ys b/tests/various/fib.ys
new file mode 100644
index 000000000..946e0738a
--- /dev/null
+++ b/tests/various/fib.ys
@@ -0,0 +1,6 @@
+read_verilog fib.v
+hierarchy
+proc
+equiv_make gold gate equiv
+equiv_simple
+equiv_status -assert