Commit Graph

4586 Commits

Author SHA1 Message Date
Akash Levy 27c0fd9905 Fix pmuxtree naming 2025-03-05 06:36:17 -08:00
Akash Levy e42e196695 Reenable opt_clean in submod 2025-03-05 06:18:38 -08:00
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