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 |