From 138228d96e5927c74a1a00418b98c40e9c86ea1e Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 23 Sep 2024 05:35:48 -0700 Subject: [PATCH] Update Verific README --- tests/verific/README.md | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/tests/verific/README.md b/tests/verific/README.md index a3424eea8..ada520fee 100644 --- a/tests/verific/README.md +++ b/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