yosys

Commit Graph

Author	SHA1	Message	Date
Krystine Sherwin	ab5f25db9a	Add test for non-contiguous memory init Also negative memory addresses.	2026-05-29 18:40:24 +12:00
Krystine Sherwin	f6327cc444	check_mem: Add -non-const option Can identify potentially dangerous addressing, but also prone to false-positives.	2026-05-29 18:40:24 +12:00
Krystine Sherwin	07e3d648aa	Add check_mem command Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878. Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files.	2026-05-29 18:40:23 +12:00

Author

SHA1

Message

Date

Krystine Sherwin

ab5f25db9a

Add test for non-contiguous memory init

Also negative memory addresses.

2026-05-29 18:40:24 +12:00

Krystine Sherwin

f6327cc444

check_mem: Add -non-const option

Can identify potentially dangerous addressing, but also prone to false-positives.

2026-05-29 18:40:24 +12:00

Krystine Sherwin

07e3d648aa

Add check_mem command

Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878.
Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands.  Helpful for when you want to run the same set of commands on a bunch of sv files.

2026-05-29 18:40:23 +12:00

3 Commits