KrystalDelusion
|
b06a661913
|
Merge pull request #4834 from YosysHQ/emil/gzip-refactor
Memory-efficient zlib usage across Liberty file consumers
|
2025-03-21 10:01:00 +13:00 |
|
Emil J
|
9893ed59b7
|
Merge pull request #4951 from YosysHQ/emil/fix-dft_tag-autoNot
dft_tag: fix autoNot not notting
|
2025-03-20 21:16:34 +01:00 |
|
Emil J. Tywoniak
|
199702a392
|
dft_tag: fix autoNot not notting
|
2025-03-19 18:28:50 +01:00 |
|
Emil J
|
b33787edcb
|
Merge pull request #4948 from YosysHQ/emil/share-fix-log-again
share: re-add SAT solver cell count to log message
|
2025-03-19 13:54:17 +01:00 |
|
Emil J. Tywoniak
|
980a0a15c1
|
stat: allow gzipped liberty files
|
2025-03-19 13:43:44 +01:00 |
|
Emil J. Tywoniak
|
7aefd4b226
|
gzip: back to pointers
|
2025-03-19 13:43:44 +01:00 |
|
Emil J. Tywoniak
|
0877798e18
|
dfflibmap: allow gzipped liberty files
|
2025-03-19 13:43:44 +01:00 |
|
Emil J. Tywoniak
|
d00259081d
|
gzip: simplify uncompressed interface
|
2025-03-19 13:43:44 +01:00 |
|
Emil J. Tywoniak
|
218ec3fc05
|
dfflibmap: allow gzipped liberty files
|
2025-03-19 13:43:44 +01:00 |
|
Emil J. Tywoniak
|
4f3fdc8457
|
io: refactor string and file work into new unit
|
2025-03-19 13:43:42 +01:00 |
|
Emil J. Tywoniak
|
061cf5c6c4
|
share: re-add SAT solver cell count to log message
|
2025-03-19 10:27:23 +01:00 |
|
Emil J
|
05cd1e2942
|
Merge pull request #4904 from YosysHQ/emil/share-limit-effort
share: add -pattern-limit to limit analysis effort
|
2025-03-15 18:00:42 +01:00 |
|
KrystalDelusion
|
9f1271bee0
|
Merge pull request #4922 from Anhijkt/fix-splitcells-assert
splitcells: Fix the assertion bug caused by out-of-bound offset
|
2025-03-14 16:52:38 +13:00 |
|
Martin Povišer
|
6da543a61a
|
Merge pull request #4818 from povik/macc_v2
Add `$macc_v2`
|
2025-03-12 22:55:40 +01:00 |
|
Emil J. Tywoniak
|
6c9857403c
|
share: use share.pattern_limit from scratchpad
|
2025-03-11 14:57:00 +01:00 |
|
Emil J. Tywoniak
|
ca9176cd0f
|
share: bail better on too many patterns
|
2025-03-10 17:55:04 +01:00 |
|
Martin Povišer
|
d8a4991289
|
Merge pull request #4931 from povik/buf-clean
opt_clean, simplemap: Add `$buf` handling
|
2025-03-10 15:10:17 +01:00 |
|
Emil J
|
8bb24badf2
|
Merge pull request #4895 from YosysHQ/emil/fix-share-portbit-infinite-loop
share: fix infinite loop in find_terminal_bits on $mux loop
|
2025-03-08 13:14:11 +01:00 |
|
Martin Povišer
|
557047fe1e
|
opt_clean, simplemap: Add $buf handling
|
2025-03-07 16:08:38 +01:00 |
|
Emil J
|
912c93ca0b
|
share: help message formatting
Co-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>
|
2025-03-03 18:52:05 +01:00 |
|
KrystalDelusion
|
9106d6b3bd
|
Merge pull request #4881 from YosysHQ/pmgen-pass-restructure
Move passes out of the passes/pmgen folder
|
2025-03-01 10:22:54 +13:00 |
|
Anhijkt
|
de032d2e2a
|
splitcells: change for-loop condition
|
2025-02-28 23:16:04 +02:00 |
|
Anhijkt
|
9a14ab8d98
|
splitcells: Fix the assertion bug caused by out-of-bound offset
|
2025-02-28 13:51:22 +02:00 |
|
Martin Povišer
|
bca21c60d8
|
Merge pull request #4902 from akashlevy/splitcells_aldff_fix
`aldff`s do not get split by `splitcells` pass
|
2025-02-27 00:56:46 +01: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 |
|
Emil J. Tywoniak
|
07004f1089
|
abstract: typo?
|
2025-02-25 00:19:15 +01: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 |
|
Emil J. Tywoniak
|
8968986b54
|
share: add -pattern-limit to set analysis effort on branch-unbranch mux regions
|
2025-02-14 21:13:07 +01:00 |
|
Akash Levy
|
3676429634
|
aldffs do not get split by splitcells
|
2025-02-14 10:53:51 -08:00 |
|
Krystine Sherwin
|
4c728968a3
|
Fix runtime error on shr INT_MAX
|
2025-02-14 14:01:36 +13:00 |
|
Emil J
|
df3c62a4ed
|
Merge pull request #4892 from YosysHQ/emil/fix-memory-libmap-dangling-cells
memory_libmap: update indices on design modification
|
2025-02-12 10:21:01 +01:00 |
|
Emil J. Tywoniak
|
01d2bfcf00
|
share: fix infinite loop in find_terminal_bits on $mux loop
|
2025-02-12 10:16:44 +01:00 |
|