430 commits

Author	SHA1	Message	Date
Akash Levy	283faf3bf9	Merge from upstream	2025-06-13 10:19:49 -07:00
Emil J. Tywoniak	239c265093	splitnets: handle single-bit vectors consistently	2025-06-05 10:58:06 +02:00
Akash Levy	1f00bf0057	Bump yosys to latest	2025-05-15 14:44:26 -07:00
Krystine Sherwin	7c89355b70	cutpoint: Re-add whole module optimization ... Also add a test script for it.	2025-05-06 09:57:34 +12:00
Akash Levy	618cf9d372	Merge branch 'YosysHQ:main' into main	2025-04-28 13:57:29 -07:00
N. Engelhardt	84c49e1f33	Merge pull request #5041 from jix/declockgate-v2	2025-04-28 13:31:11 +00:00
Akash Levy	e9bf25f333	Undo flatten -scopeinfo to -noscopeinfo	2025-04-22 16:32:22 -07:00
Akash Levy	10ac596a51	Disable failing cutpoint_blackbox	2025-04-21 19:49:57 -07:00
Akash Levy	5f5ed1b29e	Merge upstream yosys	2025-04-21 17:36:24 -07:00
Emil J	6a2f2f1818	Merge pull request #5031 from suisseWalter/fix_sequential_area ... stat: fix sequential area not being included in addition/multiplication	2025-04-21 11:02:40 +02:00
cwalter	41375a5f05	create testcase to check correct addition of areas.	2025-04-20 16:44:22 +02:00
clemens	01d80c7403	add testcase	2025-04-19 20:41:10 +02:00
Jannis Harder	31d6d0ac17	formalff: Fix -declockgate test and missing emit for memories	2025-04-18 18:57:59 +02:00
Jannis Harder	bd154a7188	formalff: Add -declockgate option	2025-04-18 17:44:34 +02:00
Krystine Sherwin	87d3b09988	cutpoint.cc: Fold -instances into -blackbox ... Replace `cutpoint -blackbox` behaviour with `cutpoint -blackbox -instances` behaviour. Drop `-instances` flag. Add `-noscopeinfo` flag. Use `RTLIL::Selection::boxed_module()` helper to shortcut blackbox check. Update `cutpoint_blackbox.ys` tests to match.	2025-04-11 04:12:35 +12:00
Krystine Sherwin	779a1fddf6	Testing cutpoint with boxed selections	2025-04-11 04:12:34 +12:00
Krystine Sherwin	cf44a9124f	cutpoint: Test -blackbox with parameter ... Modify `cutpoint_blackbox.ys` to check that parameters on blackbox modules are maintained after the cutpoint. Also adjusts the test to check that each instance gets the `$anyseq` cell.	2025-04-11 04:12:34 +12:00
Krystine Sherwin	583771ef5b	cutpoint: Add -blackbox option ... Replace the contents of all blackboxes in the design with a formal cut point. Includes test script.	2025-04-11 04:12:34 +12:00
Akash Levy	1a5415b5a2	Merge branch 'YosysHQ:main' into main	2025-03-28 14:56:36 -07:00
Emil J	1b25e1cee0	Merge pull request #4942 from Anhijkt/fix-ice40dsp ... ice40_dsp: fix log_assert issue	2025-03-28 13:32:17 +01:00
Emil J	ec8b745929	Merge pull request #4733 from antmicro/fix-setundef-pass-for-params ... Fix setting bits of parameters in setundef pass	2025-03-28 13:06:04 +01:00
williamzhu17	7208e05bdf	fixes for the yosys test	2025-03-27 17:19:08 -07:00
Anhijkt	cb03a1ec21	ice40_dsp: fix test	2025-03-26 15:13:05 +02:00
Akash Levy	95f489beec	Merge nice gzip refactor	2025-03-20 16:47:12 -07:00
Emil J. Tywoniak	980a0a15c1	stat: allow gzipped liberty files	2025-03-19 13:43:44 +01:00
Anhijkt	5ae32efca5	ice40_dsp: add test	2025-03-15 20:05:57 +02:00
Akash Levy	1c0d4a43b3	Merge branch 'YosysHQ:main' into main	2025-03-14 18:07:55 -07:00
Akash Levy	6f818af110	Ignore test collateral	2025-03-13 01:55:22 -07:00
Anhijkt	be3dfdc5ad	splitcells: add tests	2025-03-10 19:41:22 +02:00
Akash Levy	9d3b7f7474	Merge branch 'YosysHQ:main' into main	2025-02-26 09:51:44 -08:00
Emil J	b4a169527d	Merge pull request #4894 from YosysHQ/emil/abstract ... Add `abstract` pass for formal verification	2025-02-25 11:16:37 +01:00
Emil J. Tywoniak	3f60a2cc67	abstract: test -slice from:to for -init	2025-02-25 00:22:14 +01:00
Emil J. Tywoniak	3cb7054e53	abstract: test -slice for all modes, -rtlilslice for -init	2025-02-25 00:18:16 +01:00
Emil J. Tywoniak	5bd18613bb	abstract: test -init	2025-02-19 23:03:43 +01:00
Alain Dargelas	929c817384	splitnets new options	2025-02-19 09:43:53 -08:00
Emil J. Tywoniak	34e3fcbb31	abstract: test -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	d3a90021ad	abstract: test -state	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	387d0de383	abstract: -state allow partial abstraction, don't use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	6027030215	abstract: -value MVP, use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	4637fa74e3	abstract: -init MVP	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	e4ca7b8846	abstract: -state MVP	2025-02-18 17:08:45 +01:00
Akash Levy	c4254a9a95	Final cleanup	2025-02-14 10:18:13 -08:00
Akash Levy	4e45a86e12	Merge branch 'YosysHQ:main' into main	2025-02-06 12:29:43 -08:00
Jannis Harder	40c690b030	extract_fa: Add test case	2025-01-30 18:45:06 +01:00
Akash Levy	bca65ceff7	opt_clean was removing the unused bits annotation	2025-01-16 19:48:31 -08:00
Akash Levy	67a93dc76d	scopeinfo inverted	2025-01-16 19:36:42 -08:00
Alain Dargelas	84c6be1edd	Add splitfanout tests	2025-01-16 12:04:53 -08:00
Akash Levy	5c514e00a4	Sync with upstream	2025-01-13 17:20:59 -08:00
N. Engelhardt	7e3990b681	Merge pull request #4837 from YosysHQ/json_scopinfo_opt ... write_json: add option to include $scopeinfo cells	2025-01-10 09:57:22 +00:00
N. Engelhardt	77b28442a5	emit $scopeinfo cells by default	2025-01-08 14:47:46 +01:00