386 commits

Author	SHA1	Message	Date
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
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
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
Anhijkt	cb03a1ec21	ice40_dsp: fix test	2025-03-26 15:13:05 +02: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
Anhijkt	be3dfdc5ad	splitcells: add tests	2025-03-10 19:41:22 +02: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
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
Jannis Harder	40c690b030	extract_fa: Add test case	2025-01-30 18:45:06 +01: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
N. Engelhardt	dab7905cbe	write_json: add option to include $scopeinfo cells	2025-01-08 13:33:56 +01:00
Martin Povišer	41e4aa8f0a	Merge pull request #4819 from povik/wreduce-resign ... wreduce: Optimize signedness when possible	2025-01-06 15:27:55 +01:00
Martin Povišer	08778917db	wreduce: Optimize signedness when possible	2024-12-16 12:57:08 +01:00
Emil J. Tywoniak	6240aec433	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
Martin Povišer	4bd6061709	Merge pull request #4799 from povik/wrapcell-unused ... wrapcell: Optionally track unused outputs	2024-12-10 21:16:28 +01:00
Martin Povišer	48c8d70a45	wrapcell: Test check -assert post wrapping	2024-12-10 15:13:31 +01:00
Martin Povišer	b0708a38bf	Merge pull request #4678 from povik/tcl-rtlil-api ... Start Tcl design inspection methods	2024-12-09 15:44:58 +01:00
Martin Povišer	d57d21e566	wrapcell: Optionally track unused outputs	2024-12-05 18:16:53 +01:00
Martin Povišer	59a96470df	Merge pull request #4773 from povik/wrapcell ... wrapcell: Add new command	2024-12-04 11:49:51 +01:00
Martin Povišer	109d97bb40	Merge pull request #4706 from povik/keep_hierarchy-adjustalgo ... Adjust `keep_hierarchy` behavior	2024-12-03 12:18:28 +01:00
Martin Povišer	f0704b6ede	Redo integer passing on top of bignum	2024-12-02 19:56:51 +01:00
Martin Povišer	79e9258a31	wrapcell: Add new command	2024-11-27 14:01:00 +01:00
Martin Povišer	1b1a6c4aed	Merge pull request #4525 from georgerennie/peepopt_clock_gate ... peepopt: Add formal opt to rewrite latches to ffs in clock gates	2024-11-11 14:49:09 +01:00
mszelwiga	8e508f2a2a	Fix setting bits of parameters in setundef pass ... This commit also adds test that verifies correctness of this change.	2024-11-08 17:03:08 +01:00
Martin Povišer	69a36aec3b	Add keep_hierarchy test	2024-11-05 09:28:45 +01:00
Krystine Sherwin	ee73a91f44	Remove references to ilang	2024-11-05 12:36:31 +13:00
Martin Povišer	f7400a06cd	Fix test	2024-11-04 16:19:59 +01:00
Martin Povišer	23922faecc	Test new Tcl methods	2024-11-04 16:18:50 +01:00
Martin Povišer	e46cc57cc4	Merge pull request #4613 from povik/err-never-silence ... log: Never silence `log_cmd_error`	2024-10-07 16:12:31 +02:00
Martin Povišer	b01b17689e	Add test of error not getting silenced	2024-10-07 14:49:17 +02:00
Martin Povišer	d0a11e26f3	aiger2: Add test of writing a flattened view	2024-10-07 12:04:33 +02:00
Martin Povišer	ea765686b6	aiger2: Adjust hierarchy/port handling	2024-09-18 16:55:02 +02:00
Martin Povišer	6c1fa45995	aiger2: Ingest $pmux	2024-09-18 16:42:56 +02:00
Martin Povišer	8e29675a23	aiger2: Support $bwmux, comparison operators	2024-09-17 13:55:58 +02:00