Emil J
|
b9131853ff
|
Merge pull request #4954 from YosysHQ/krys/abstract_default_val
Fixes for abstract.cc
|
2025-03-26 10:40:37 +01:00 |
|
Emil J
|
ea74ad33a5
|
Merge pull request #4961 from YosysHQ/emil/cutpoint-typo
cutpoint: fix typo
|
2025-03-25 21:30:29 +01:00 |
|
Emil J. Tywoniak
|
4991ed9d4b
|
cutpoint: fix typo
|
2025-03-25 18:10:47 +01:00 |
|
KrystalDelusion
|
a647731812
|
Merge pull request #4677 from YosysHQ/emil/opt_merge-hashing
opt_merge: hashing performance and correctness
|
2025-03-25 10:36:02 +13:00 |
|
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 |
|
Krystine Sherwin
|
d704ca8019
|
abstract: Fix indentation
|
2025-03-20 17:20:36 +13:00 |
|
Krystine Sherwin
|
452dd1b74b
|
abstract: Assign default to value
Fix `-Wmaybe-uninitialized` on line 43 and 44.
|
2025-03-20 17:19:22 +13: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. Tywoniak
|
1d773b50a4
|
opt_merge: fix dangling pointers in known_cells when keep attribute is used
|
2025-03-10 13:14:06 +01:00 |
|
Emil J. Tywoniak
|
176faae7c9
|
opt_merge: fix trivial binary regression
|
2025-03-10 13:14:06 +01:00 |
|
Emil J. Tywoniak
|
8903740147
|
opt_merge: switch to unordered_set
|
2025-03-10 13:14:06 +01:00 |
|
Emil J. Tywoniak
|
ffc057a89c
|
opt_merge: fix the many collisions case
|
2025-03-10 13:14:06 +01:00 |
|
Emil J. Tywoniak
|
cbb776c626
|
opt_merge: avoid hashing strings
|
2025-03-10 13:14:06 +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 |
|