2 Commits

Author	SHA1	Message	Date
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