Update Verific README

Author: akashlevy

tests/verific/README.md

@@ -4,15 +4,12 @@
 
 ### Working
 
+- `case`
 - `clocking`
 - `enum`
 
 ### Skipped
 
 - `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues
-- `memory_semantics`: relies on initial values being retained, which is disabled
-- `rom_case`: relies on using Verific's frontend rather than GHDL, which is what we are using
-
-### Failing
-
-- `case`: checks that miter works with abstract case synthesis, but runs into issues with function
+- `memory_semantics`: relies on initial values being retained, which we do not want
+- `rom_case`: relies on using Verific's frontend rather than GHDL