4584 commits

Author	SHA1	Message	Date
Akash Levy	fce2f2676d	Rename minor things in opt_share	2025-03-05 06:17:41 -08:00
Akash Levy	7c1cb53c85	Packed muxes have src attr for each constituent mux	2025-03-05 06:09:40 -08:00
Akash Levy	8117ab228e	Use set for strpool_attribute to maintain ordering, but keep some backwards compatibility	2025-03-05 03:28:19 -08:00
Akash Levy	3a67468860	Use ordered set for src attrs when flattening	2025-03-04 23:47:48 -08:00
Akash Levy	1b1855353d	Reduce verbosity of some key things	2025-03-04 22:58:56 -08:00
Alain Dargelas	5e31574ff0	Help	2025-02-27 11:09:27 -08:00
Alain Dargelas	3d1fb7a093	warning	2025-02-27 10:48:01 -08:00
Alain Dargelas	4089c1b358	obs_clean debug and fencing	2025-02-27 10:13:16 -08: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
Akash Levy	a49e492693	Merge pull request #54 from alaindargelas/obs_clean ... Observability clean pass	2025-02-24 18:16:15 -08:00
Akash Levy	18393156db	Update Makefile.inc	2025-02-24 16:18:05 -08:00
Emil J. Tywoniak	07004f1089	abstract: typo?	2025-02-25 00:19:15 +01:00
Alain Dargelas	b3dc7efe79	Comments	2025-02-24 11:22:29 -08:00
Alain Dargelas	7b5202ac79	Disable wire removal	2025-02-24 10:19:54 -08:00
Akash Levy	8bbb7016d4	Remove unnecessary stuff in muxpack	2025-02-23 03:54:11 -08:00
Alain Dargelas	04edcc0baf	Cleanup and sigmap fix	2025-02-20 16:49:02 -08:00
Alain Dargelas	adcbc7f8a6	use sigmap	2025-02-20 15:25:54 -08:00
Alain Dargelas	1abb8192df	Skip modules with memories and processes	2025-02-20 11:28:50 -08:00
Alain Dargelas	767b498603	Fixes	2025-02-20 10:30:04 -08:00
Alain Dargelas	2e7e1d2e72	Obs clean WIP	2025-02-19 16:51:21 -08:00
Akash Levy	241f6370bd	Smallfixes	2025-02-19 10:46:06 -08:00
Akash Levy	707731147c	Update splitnets.cc	2025-02-19 10:10:54 -08:00
Akash Levy	4de90307a9	Update splitnets.cc	2025-02-19 10:07:10 -08:00
Akash Levy	5b641d0a24	Update splitnets.cc	2025-02-19 10:06:39 -08:00
Alain Dargelas	f65808aaf4	splitnets new options	2025-02-19 09:44:10 -08: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
Akash Levy	ba09c6c173	Better reduce_* message	2025-02-18 04:34:54 -08:00
Akash Levy	ef9645990e	Reduce pass verbosity	2025-02-18 04:05:40 -08:00
Akash Levy	33c72b0f25	Merge branch 'YosysHQ:main' into main	2025-02-15 15:54:28 -08:00
Akash Levy	1b13b5d6ea	Move segv and reenable loops.v test	2025-02-14 10:02:30 -08:00
Akash Levy	fd811ddaee	Cleanup	2025-02-14 08:48:27 -08:00