15 commits

Author	SHA1	Message	Date
Krystine Sherwin	a7c8651b76	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-20 15:02:30 +12:00
Miodrag Milanovic	76732497b9	Cleanup	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	bfd3e150fa	Add proper deps	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	a490f1c3c4	Move output redirect to one place	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	1aad357370	Fix some escaping with different approach	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	d1dc23d9f8	Did share, opt_share and fsm	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	652bbd2b41	Convert xprop tests	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	2bc46e77c8	Converted blif tests	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	1231bd5397	Convert memories tests	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	1bfb95513c	Convert autotest script wrapper	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	474d0d7b2e	cleanup	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	8953007483	Use generic testing on few more places	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	336a06d091	Add common.mk	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	b361569abf	Save results, and create summary and report	2026-04-16 11:00:44 +02:00
Miodrag Milanovic	ced2521b03	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00