diff options
author | Zachary Snow <zach@zachjs.com> | 2020-12-26 21:38:13 -0700 |
---|---|---|
committer | Zachary Snow <zach@zachjs.com> | 2020-12-26 21:47:38 -0700 |
commit | 750831e3e096398856053d9cbc2701e49fe0c29e (patch) | |
tree | ff3cc3083ffae53c35527d1c6a296baf91fabc1e /tests/various/memory_word_as_index.ys | |
parent | af457ce8d05bb57a48831c3c252c708625ae0ffd (diff) | |
download | yosys-750831e3e096398856053d9cbc2701e49fe0c29e.tar.gz yosys-750831e3e096398856053d9cbc2701e49fe0c29e.tar.bz2 yosys-750831e3e096398856053d9cbc2701e49fe0c29e.zip |
Fix elaboration of whole memory words used as indices
Diffstat (limited to 'tests/various/memory_word_as_index.ys')
-rw-r--r-- | tests/various/memory_word_as_index.ys | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/various/memory_word_as_index.ys b/tests/various/memory_word_as_index.ys new file mode 100644 index 000000000..9a2dea40e --- /dev/null +++ b/tests/various/memory_word_as_index.ys @@ -0,0 +1,23 @@ +read_verilog memory_word_as_index.v + +hierarchy +proc +memory +flatten +opt -full + +equiv_make gold gate1 equiv +equiv_simple +equiv_status -assert + +delete equiv + +equiv_make gold gate2 equiv +equiv_simple +equiv_status -assert + +delete equiv + +equiv_make gold gate3 equiv +equiv_simple +equiv_status -assert |