4589 commits

Author	SHA1	Message	Date
Alain Dargelas	d5d58349fd	split input nets with high fanout	2025-03-03 15:06:02 -08:00
Alain Dargelas	a1ad385702	help	2025-03-03 11:31:27 -08:00
Alain Dargelas	be95a08c08	cleanup	2025-03-03 11:23:45 -08:00
Alain Dargelas	c7623e4850	cleanup	2025-03-03 10:39:47 -08:00
Alain Dargelas	b95fc57136	comments	2025-03-03 10:08:27 -08:00
Alain Dargelas	c8847e8286	debug flag	2025-03-03 09:35:49 -08:00
Alain Dargelas	21f026cb05	formal	2025-02-28 22:08:19 -08:00
Alain Dargelas	aa4c5e9ee5	working splinets	2025-02-28 21:54:28 -08:00
Alain Dargelas	0d854120a7	fanout per buffer	2025-02-28 20:38:36 -08:00
Alain Dargelas	2741989158	honor limits	2025-02-28 14:50:17 -08:00
Alain Dargelas	25553a8ca9	splitnets	2025-02-28 12:07:58 -08:00
Alain Dargelas	ecd2ac4302	fixes	2025-02-26 16:51:39 -08:00
Alain Dargelas	6a26b2db55	WIP	2025-02-26 16:17:09 -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