Jannis Harder
2fa7076edc
abstract: Add help message
2025-02-12 17:17:47 +01:00
Jannis Harder
6d6556aef0
abstract: Improve debug logging
...
Print the port bit instead of the arbitrary representative sigbit to
identify the target of the abstraction operation.
2025-02-12 17:17:47 +01:00
Jannis Harder
490e8dfb28
abstract: Support slicing of individual wires
2025-02-12 17:17:47 +01:00
Jannis Harder
3c5ff23e1e
abstract: Allow unconditional value and state abstractions
...
Also improves -enable and -enablen command line handling
2025-02-12 15:45:47 +01:00
Jannis Harder
7f55244340
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-12 15:38:46 +01:00
Emil J. Tywoniak
a9778e5b5a
abstract: better present changes done
2025-02-10 16:36:41 +01:00
Emil J. Tywoniak
b3075431dc
abstract: improve -init logging
2025-02-10 16:33:20 +01:00
Emil J. Tywoniak
690612475d
abstract: fix -init log_debug bit count, remove unnecessary log_debug
2025-02-10 16:27:40 +01:00
Emil J. Tywoniak
8a842e49c8
abstract: improve debug logs for -state and -value
2025-02-10 16:24:42 +01:00
Emil J. Tywoniak
fe4642887a
abstract: factor out emit_mux_anyseq
2025-02-10 14:59:50 +01:00
Emil J. Tywoniak
27928f74ac
abstract: rework -init without bufnorm, with logging
2025-02-10 14:56:52 +01:00
Emil J. Tywoniak
78c5be1990
abstract: refactor -value
2025-02-10 13:10:53 +01:00
Emil J. Tywoniak
6ffc12389f
abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted
2025-02-10 13:06:40 +01:00
Emil J. Tywoniak
355f5e3740
abstract: -state refactor sigbit rep pool collection
2025-02-10 12:01:26 +01:00
Emil J. Tywoniak
bfb20147b7
fixup! abstract: -state allow partial abstraction, don't use buffer-normalized mode
2025-02-07 13:49:42 +01:00
Emil J. Tywoniak
9af21e6ee0
abstract: -state allow partial abstraction, don't use buffer-normalized mode
2025-02-07 13:38:50 +01:00
Emil J. Tywoniak
eb8982a937
abstract: -value MVP, use buffer-normalized mode
2025-02-07 10:46:50 +01:00
Emil J. Tywoniak
497a6e0c59
abstract: -init MVP
2025-02-03 22:25:09 +01:00
Emil J. Tywoniak
7ce938a071
fixup! abstract: -state MVP
2025-02-03 18:35:46 +01:00
Emil J. Tywoniak
6e99dbd351
fixup! abstract: -state MVP
2025-02-03 18:31:33 +01:00
Emil J. Tywoniak
083759676a
fixup! abstract: -state MVP
2025-01-30 17:52:55 +01:00
Emil J. Tywoniak
17b8b7352c
abstract: -state MVP
2025-01-30 17:26:23 +01:00
Emil J. Tywoniak
c2691207df
wreduce: fix warning for deprecated IdString::in(pool<IdString>)
2025-01-30 12:01:30 +01:00
Peter Gadfort
66545caa1b
Merge branch 'main' into synth-flatten
2025-01-20 10:24:38 -07:00
Peter Gadfort
f0860459ac
add support for using scratchpad value for flatten.separator in flatten command
2025-01-18 10:45:19 -07:00
N. Engelhardt
a5ba1d2eba
fix bugs in handling last id in hdlname to scopename conversion
2025-01-16 12:57:08 +01:00
N. Engelhardt
d640157ec4
fix some cases of hdlname being added to objects with private names
2025-01-15 15:56:42 +01:00
Emil J. Tywoniak
a58481e9b7
mark all hash_into methods nodiscard
2025-01-14 12:39:15 +01:00
Martin Povišer
6225abec71
Merge pull request #4839 from mikesinouye/separator
...
Add option for a custom flatten block separator char
2025-01-13 15:51:31 +01:00
Larry Doolittle
27be9a6b77
keep_hierarchy.cc: use strictly correct syntax for printf of uint64_t values
...
Removes two warnings from the compile, at least on amd64 arch
2025-01-10 14:03:09 -08:00
mikesinouye
13b183c9c5
Add option for a custom flatten block separator char
2025-01-09 18:30:23 -08:00
Martin Povišer
ca0ace66bc
Merge pull request #4817 from povik/macc_v2-1
...
macc: Stop using the B port
2025-01-08 14:42:51 +01:00
Martin Povišer
366e3f22fb
Merge pull request #4836 from YosysHQ/emil/share-fix-log
...
share: fix misleading 0 cells log message
2025-01-08 13:14:34 +01:00
Martin Povišer
652a1b9806
macc: Stop using the B port
...
The B port is for single-bit summands. These can just as well be
represented as an additional summand on the A port (which supports
summands of arbitrary width). An upcoming `$macc_v2` cell won't be
special-casing single-bit summands in any way.
In preparation, make the following changes:
* remove the `bit_ports` field from the `Macc` helper (instead add any
single-bit summands to `ports` next to other summands)
* leave `B` empty on cells emitted from `Macc::to_cell`
2025-01-08 13:03:35 +01:00
Emil J. Tywoniak
1836a571c9
share: fix misleading log message
2025-01-07 19:25:15 +01:00
Martin Povišer
41e4aa8f0a
Merge pull request #4819 from povik/wreduce-resign
...
wreduce: Optimize signedness when possible
2025-01-06 15:27:55 +01:00
Martin Povišer
be351886a5
wreduce: Adjust naming and comments
2025-01-03 12:54:34 +01:00
Emil J. Tywoniak
b9b9515bb0
hashlib: hash_eat -> hash_into
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
4e29ec1854
hashlib: acc -> eat
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
c73c88033d
hashlib: only include in one place
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
c10b3f57e1
abc: sort stats
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
d071489ab1
hashlib: redo interface for flexibility
2024-12-18 14:49:25 +01:00
Martin Povišer
08778917db
wreduce: Optimize signedness when possible
2024-12-16 12:57:08 +01:00
Martin Povišer
4bd6061709
Merge pull request #4799 from povik/wrapcell-unused
...
wrapcell: Optionally track unused outputs
2024-12-10 21:16:28 +01:00
Martin Povišer
f7ad003a6f
Merge pull request #4802 from povik/abc9-box-repeat
...
Adjust `abc9_ops -prep_box` to allow repeated invocation
2024-12-10 20:08:17 +01:00
Martin Povišer
3cd01a57cd
wrapcell: Add comments, const qualifier
2024-12-10 15:13:31 +01:00
Martin Povišer
0bb139dc25
abc_new: Fix help crash
2024-12-10 14:27:55 +01:00
Martin Povišer
2a3f60bc06
abc_new: Support `abc9_box` mode on ordinary design hierarchy
...
Previously the `abc9_box` mode was reserved to modules with the
`blackbox` or `whitebox` attribute. Allow `abc9_box` on ordinary modules
when doing hierarchical synthesis.
2024-12-10 14:27:29 +01:00
Martin Povišer
285f24d764
abc_new: Support per-module script override
2024-12-10 14:27:29 +01:00
Martin Povišer
9161377c5a
wrapcell: Fix help
2024-12-09 15:40:33 +01:00