Standardize convention, add back test, update README

Silimate · Sep 23, 2024 · ed2c653 · ed2c653
1 parent 9e9d435
commit ed2c653
Show file tree

Hide file tree

Showing 13 changed files with 17 additions and 9 deletions.
diff --git a/tests/opt/opt_lut.ys.skip → tests/opt/opt_lut.ys.DISABLED b/tests/opt/opt_lut.ys.skip → tests/opt/opt_lut.ys.DISABLED
diff --git a/tests/various/abc9.ys.skip → tests/various/abc9.ys.DISABLED b/tests/various/abc9.ys.skip → tests/various/abc9.ys.DISABLED
diff --git a/tests/various/check.ys.skip → tests/various/check.ys.DISABLED b/tests/various/check.ys.skip → tests/various/check.ys.DISABLED
diff --git a/tests/various/check_2.ys.skip → tests/various/check_2.ys.DISABLED b/tests/various/check_2.ys.skip → tests/various/check_2.ys.DISABLED
diff --git a/tests/various/check_3.ys.skip → tests/various/check_3.ys.DISABLED b/tests/various/check_3.ys.skip → tests/various/check_3.ys.DISABLED
diff --git a/tests/various/check_4.ys.skip → tests/various/check_4.ys.DISABLED b/tests/various/check_4.ys.skip → tests/various/check_4.ys.DISABLED
diff --git a/tests/various/ice40_mince_abc9.ys.skip → tests/various/ice40_mince_abc9.ys.DISABLED b/tests/various/ice40_mince_abc9.ys.skip → tests/various/ice40_mince_abc9.ys.DISABLED
diff --git a/tests/various/plugin.sh.skip → tests/various/plugin.sh.DISABLED b/tests/various/plugin.sh.skip → tests/various/plugin.sh.DISABLED
diff --git 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 → tests/verific/bounds.ys.DISABLED b/tests/verific/bounds.ys.skip → tests/verific/bounds.ys.DISABLED
diff --git a/tests/verific/memory_semantics.ys.skip → tests/verific/memory_semantics.ys.DISABLED b/tests/verific/memory_semantics.ys.skip → tests/verific/memory_semantics.ys.DISABLED
diff --git a/tests/verific/range_case.ys 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 → tests/verific/rom_case.ys.DISABLED b/tests/verific/rom_case.ys.skip → tests/verific/rom_case.ys.DISABLED