mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-23 22:33:41 +00:00
7 lines
279 B
Markdown
7 lines
279 B
Markdown
# Verific Test Cases
|
|
|
|
## 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
|
|
- `rom_case`: relies on using Verific's frontend rather than GHDL
|