Standardize convention, add back test, update README

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

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