From ed2c65314b99caeebb2875403f98de7942e6579a Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 23 Sep 2024 06:06:43 -0700 Subject: [PATCH] Standardize convention, add back test, update README --- .../opt/{opt_lut.ys.skip => opt_lut.ys.DISABLED} | 0 tests/various/{abc9.ys.skip => abc9.ys.DISABLED} | 0 .../various/{check.ys.skip => check.ys.DISABLED} | 0 .../{check_2.ys.skip => check_2.ys.DISABLED} | 0 .../{check_3.ys.skip => check_3.ys.DISABLED} | 0 .../{check_4.ys.skip => check_4.ys.DISABLED} | 0 ...abc9.ys.skip => ice40_mince_abc9.ys.DISABLED} | 0 .../{plugin.sh.skip => plugin.sh.DISABLED} | 0 tests/verific/README.md | 10 +--------- .../{bounds.ys.skip => bounds.ys.DISABLED} | 0 ...tics.ys.skip => memory_semantics.ys.DISABLED} | 0 tests/verific/range_case.ys | 16 ++++++++++++++++ .../{rom_case.ys.skip => rom_case.ys.DISABLED} | 0 13 files changed, 17 insertions(+), 9 deletions(-) rename tests/opt/{opt_lut.ys.skip => opt_lut.ys.DISABLED} (100%) rename tests/various/{abc9.ys.skip => abc9.ys.DISABLED} (100%) rename tests/various/{check.ys.skip => check.ys.DISABLED} (100%) rename tests/various/{check_2.ys.skip => check_2.ys.DISABLED} (100%) rename tests/various/{check_3.ys.skip => check_3.ys.DISABLED} (100%) rename tests/various/{check_4.ys.skip => check_4.ys.DISABLED} (100%) rename tests/various/{ice40_mince_abc9.ys.skip => ice40_mince_abc9.ys.DISABLED} (100%) rename tests/various/{plugin.sh.skip => plugin.sh.DISABLED} (100%) rename tests/verific/{bounds.ys.skip => bounds.ys.DISABLED} (100%) rename tests/verific/{memory_semantics.ys.skip => memory_semantics.ys.DISABLED} (100%) create mode 100644 tests/verific/range_case.ys rename tests/verific/{rom_case.ys.skip => rom_case.ys.DISABLED} (100%) diff --git a/tests/opt/opt_lut.ys.skip b/tests/opt/opt_lut.ys.DISABLED similarity index 100% rename from tests/opt/opt_lut.ys.skip rename to tests/opt/opt_lut.ys.DISABLED diff --git a/tests/various/abc9.ys.skip b/tests/various/abc9.ys.DISABLED similarity index 100% rename from tests/various/abc9.ys.skip rename to tests/various/abc9.ys.DISABLED diff --git a/tests/various/check.ys.skip b/tests/various/check.ys.DISABLED similarity index 100% rename from tests/various/check.ys.skip rename to tests/various/check.ys.DISABLED diff --git a/tests/various/check_2.ys.skip b/tests/various/check_2.ys.DISABLED similarity index 100% rename from tests/various/check_2.ys.skip rename to tests/various/check_2.ys.DISABLED diff --git a/tests/various/check_3.ys.skip b/tests/various/check_3.ys.DISABLED similarity index 100% rename from tests/various/check_3.ys.skip rename to tests/various/check_3.ys.DISABLED diff --git a/tests/various/check_4.ys.skip b/tests/various/check_4.ys.DISABLED similarity index 100% rename from tests/various/check_4.ys.skip rename to tests/various/check_4.ys.DISABLED diff --git a/tests/various/ice40_mince_abc9.ys.skip b/tests/various/ice40_mince_abc9.ys.DISABLED similarity index 100% rename from tests/various/ice40_mince_abc9.ys.skip rename to tests/various/ice40_mince_abc9.ys.DISABLED diff --git a/tests/various/plugin.sh.skip b/tests/various/plugin.sh.DISABLED similarity index 100% rename from tests/various/plugin.sh.skip rename to tests/various/plugin.sh.DISABLED diff --git a/tests/verific/README.md b/tests/verific/README.md index ada520fee..2b33a591c 100644 --- a/tests/verific/README.md +++ b/tests/verific/README.md @@ -1,14 +1,6 @@ # Verific Test Cases -## Yosys Built-In - -### Working - -- `case` -- `clocking` -- `enum` - -### Skipped +## Disabled - `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues - `memory_semantics`: relies on initial values being retained, which we do not want diff --git a/tests/verific/bounds.ys.skip b/tests/verific/bounds.ys.DISABLED similarity index 100% rename from tests/verific/bounds.ys.skip rename to tests/verific/bounds.ys.DISABLED diff --git a/tests/verific/memory_semantics.ys.skip b/tests/verific/memory_semantics.ys.DISABLED similarity index 100% rename from tests/verific/memory_semantics.ys.skip rename to tests/verific/memory_semantics.ys.DISABLED diff --git a/tests/verific/range_case.ys b/tests/verific/range_case.ys new file mode 100644 index 000000000..99909af36 --- /dev/null +++ b/tests/verific/range_case.ys @@ -0,0 +1,16 @@ +import -cfg db_abstract_case_statement_synthesis 0 +read -sv range_case.sv +import -import top +proc +rename top gold + +import -cfg db_abstract_case_statement_synthesis 1 +read -sv range_case.sv +import -import top +proc +rename top gate + +miter -equiv -flatten -make_assert gold gate miter +prep -top miter +clk2fflogic +sat -set-init-zero -tempinduct -prove-asserts -verify diff --git a/tests/verific/rom_case.ys.skip b/tests/verific/rom_case.ys.DISABLED similarity index 100% rename from tests/verific/rom_case.ys.skip rename to tests/verific/rom_case.ys.DISABLED