yosys/tests/verific/README.md

# Verific Test Cases

## Yosys Built-In

### 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 we do not want
- `rom_case`: relies on using Verific's frontend rather than GHDL
Clean up Verific tests 2024-09-23 13:05:08 +02:00			`# Verific Test Cases`

			`## Yosys Built-In`

			`### Working`

Update Verific README 2024-09-23 14:35:48 +02:00			- `case`
Clean up Verific tests 2024-09-23 13:05:08 +02:00			- `clocking`
			- `enum`

			`### Skipped`

			- `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues
Update Verific README 2024-09-23 14:35:48 +02:00			- `memory_semantics`: relies on initial values being retained, which we do not want
			- `rom_case`: relies on using Verific's frontend rather than GHDL