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 |