mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Update Verific README

Browse source
This commit is contained in:
Akash Levy 2024-09-23 05:35:48 -07:00
parent fb32031273
commit 138228d96e
1 changed files with 3 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

9
tests/verific/README.md
View file

@ -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