4313 commits

Author	SHA1	Message	Date
Emil J. Tywoniak	980a0a15c1	stat: allow gzipped liberty files	2025-03-19 13:43:44 +01:00
Emil J. Tywoniak	7aefd4b226	gzip: back to pointers	2025-03-19 13:43:44 +01:00
Emil J. Tywoniak	0877798e18	dfflibmap: allow gzipped liberty files	2025-03-19 13:43:44 +01:00
Emil J. Tywoniak	d00259081d	gzip: simplify uncompressed interface	2025-03-19 13:43:44 +01:00
Emil J. Tywoniak	218ec3fc05	dfflibmap: allow gzipped liberty files	2025-03-19 13:43:44 +01:00
Emil J. Tywoniak	4f3fdc8457	io: refactor string and file work into new unit	2025-03-19 13:43:42 +01:00
Emil J	05cd1e2942	Merge pull request #4904 from YosysHQ/emil/share-limit-effort ... share: add -pattern-limit to limit analysis effort	2025-03-15 18:00:42 +01:00
KrystalDelusion	9f1271bee0	Merge pull request #4922 from Anhijkt/fix-splitcells-assert ... splitcells: Fix the assertion bug caused by out-of-bound offset	2025-03-14 16:52:38 +13:00
Martin Povišer	6da543a61a	Merge pull request #4818 from povik/macc_v2 ... Add `$macc_v2`	2025-03-12 22:55:40 +01:00
Emil J. Tywoniak	6c9857403c	share: use share.pattern_limit from scratchpad	2025-03-11 14:57:00 +01:00
Emil J. Tywoniak	ca9176cd0f	share: bail better on too many patterns	2025-03-10 17:55:04 +01:00
Martin Povišer	d8a4991289	Merge pull request #4931 from povik/buf-clean ... opt_clean, simplemap: Add `$buf` handling	2025-03-10 15:10:17 +01:00
Emil J	8bb24badf2	Merge pull request #4895 from YosysHQ/emil/fix-share-portbit-infinite-loop ... share: fix infinite loop in find_terminal_bits on $mux loop	2025-03-08 13:14:11 +01:00
Martin Povišer	557047fe1e	opt_clean, simplemap: Add $buf handling	2025-03-07 16:08:38 +01:00
Emil J	912c93ca0b	share: help message formatting ... Co-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>	2025-03-03 18:52:05 +01:00
KrystalDelusion	9106d6b3bd	Merge pull request #4881 from YosysHQ/pmgen-pass-restructure ... Move passes out of the passes/pmgen folder	2025-03-01 10:22:54 +13:00
Anhijkt	de032d2e2a	splitcells: change for-loop condition	2025-02-28 23:16:04 +02:00
Anhijkt	9a14ab8d98	splitcells: Fix the assertion bug caused by out-of-bound offset	2025-02-28 13:51:22 +02:00
Martin Povišer	bca21c60d8	Merge pull request #4902 from akashlevy/splitcells_aldff_fix ... `aldff`s do not get split by `splitcells` pass	2025-02-27 00:56:46 +01: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	07004f1089	abstract: typo?	2025-02-25 00:19:15 +01:00
Emil J. Tywoniak	925c617c52	abstract: add module input -value abstraction	2025-02-18 17:08:45 +01:00
Jannis Harder	212224dfe8	abstract: Add help message	2025-02-18 17:08:45 +01:00
Jannis Harder	2943c2142d	abstract: Improve debug logging ... Print the port bit instead of the arbitrary representative sigbit to identify the target of the abstraction operation.	2025-02-18 17:08:45 +01:00
Jannis Harder	a0987195f2	abstract: Support slicing of individual wires	2025-02-18 17:08:45 +01:00
Jannis Harder	4766c92e59	abstract: Allow unconditional value and state abstractions ... Also improves -enable and -enablen command line handling	2025-02-18 17:08:45 +01:00
Jannis Harder	37aa2e6cd8	abstract: Wire vs port offset confusion bugfix ... This fixes the offsets_to_abstract collection in abstract_state so that it now works the same way as in abstract_value which was already correct.	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	28c768e7b8	abstract: better present changes done	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	3dd697fc8a	abstract: improve -init logging	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	9de890c874	abstract: fix -init log_debug bit count, remove unnecessary log_debug	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	aca4d44a40	abstract: improve debug logs for -state and -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	cee06cecd0	abstract: factor out emit_mux_anyseq	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	9895370b32	abstract: rework -init without bufnorm, with logging	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	1646991092	abstract: refactor -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	e9bba13a0d	abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	3f1ee3e0ae	abstract: -state refactor sigbit rep pool collection	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
Emil J. Tywoniak	8968986b54	share: add -pattern-limit to set analysis effort on branch-unbranch mux regions	2025-02-14 21:13:07 +01:00
Akash Levy	3676429634	aldffs do not get split by splitcells	2025-02-14 10:53:51 -08:00
Krystine Sherwin	4c728968a3	Fix runtime error on shr INT_MAX	2025-02-14 14:01:36 +13:00
Emil J	df3c62a4ed	Merge pull request #4892 from YosysHQ/emil/fix-memory-libmap-dangling-cells ... memory_libmap: update indices on design modification	2025-02-12 10:21:01 +01:00
Emil J. Tywoniak	01d2bfcf00	share: fix infinite loop in find_terminal_bits on $mux loop	2025-02-12 10:16:44 +01:00
Emil J. Tywoniak	55b60dca95	memory_libmap: update indices on design modification	2025-02-11 13:32:34 +01:00
Martin Povišer	fc88ea360e	Merge pull request #4876 from gadfort/segfault-lexer ... liberty expression lexer check if characters are found and use size if not for `pin()`	2025-02-07 20:24:08 +01:00
Martin Povišer	772b9c0cfd	Merge pull request #4691 from hovind/experiments/extract-fa-fix ... extract_fa: Fix `xor3`/`xnor3` inversion bug	2025-02-06 21:12:32 +01:00
Martin Povišer	b5752dfe16	alumacc: Fix missing signedness check	2025-02-04 13:05:53 +01:00
Adrian Parvin Ouano	23b3638c1e	alumacc: alternative cmp unification implementation	2025-02-04 11:52:37 +01:00