4579 commits

Author	SHA1	Message	Date
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
Akash Levy	db83aaee09	Clean up muxpack	2025-02-14 06:56:12 -08:00
Akash Levy	8369792e03	Improve extract_reduce further	2025-02-13 21:40:04 -08:00
Krystine Sherwin	4c728968a3	Fix runtime error on shr INT_MAX	2025-02-14 14:01:36 +13:00
Alain Dargelas	077b4b854c	longloop honors caching	2025-02-13 15:49:18 -08:00
Akash Levy	610d4cc716	Allow extract_reduce to operate on xnors and single-bit word-wide operators	2025-02-12 15:57:28 -08:00