diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-27 20:55:09 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-08-11 13:34:10 +0200 |
| commit | 24027b5446ffa9d47e00e2ab8bc773fdebc246bd (patch) | |
| tree | d96a2627917c29a2f72dffea50541de886e2acfa /tests/opt | |
| parent | fd7921776387a05edadcc90d1300670d49a73d68 (diff) | |
| download | yosys-24027b5446ffa9d47e00e2ab8bc773fdebc246bd.tar.gz yosys-24027b5446ffa9d47e00e2ab8bc773fdebc246bd.tar.bz2 yosys-24027b5446ffa9d47e00e2ab8bc773fdebc246bd.zip | |
proc_memwr: Use the v2 memwr cell.
Diffstat (limited to 'tests/opt')
| -rw-r--r-- | tests/opt/bug2765.ys | 2 | ||||
| -rw-r--r-- | tests/opt/opt_clean_mem.ys | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/tests/opt/bug2765.ys b/tests/opt/bug2765.ys index fef9abb02..7cb790bd7 100644 --- a/tests/opt/bug2765.ys +++ b/tests/opt/bug2765.ys @@ -29,6 +29,6 @@ EOT proc opt -select -assert-count 2 t:$memwr +select -assert-count 2 t:$memwr_v2 opt_mem select -assert-count 1 t:$memwr_v2 diff --git a/tests/opt/opt_clean_mem.ys b/tests/opt/opt_clean_mem.ys index 5e85df6c8..71f9e0d7b 100644 --- a/tests/opt/opt_clean_mem.ys +++ b/tests/opt/opt_clean_mem.ys @@ -24,25 +24,25 @@ EOT proc select -assert-count 2 t:$memrd -select -assert-count 1 t:$memwr +select -assert-count 1 t:$memwr_v2 select -assert-count 1 t:$meminit_v2 design -save orig opt_clean select -assert-none t:$memrd -select -assert-none t:$memwr +select -assert-none t:$memwr_v2 select -assert-none t:$meminit_v2 design -load orig expose top/rd1 opt_clean select -assert-count 1 t:$memrd -select -assert-count 1 t:$memwr +select -assert-count 1 t:$memwr_v2 select -assert-count 1 t:$meminit_v2 design -load orig expose top/rd1 top/rd2 opt_clean select -assert-count 2 t:$memrd -select -assert-count 1 t:$memwr +select -assert-count 1 t:$memwr_v2 select -assert-count 1 t:$meminit_v2 |