luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
15,543 Commits 135 Branches 68 Tags 56 MiB
Commit Graph

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