Commit Graph

4279 Commits

Author SHA1 Message Date
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