Preserve \src attributes through ABC9 synthesis#2
Draft
robtaylor wants to merge 44 commits intosrc_retention_abcfrom
Draft
Preserve \src attributes through ABC9 synthesis#2robtaylor wants to merge 44 commits intosrc_retention_abcfrom
robtaylor wants to merge 44 commits intosrc_retention_abcfrom
Conversation
…gnore-unknown-cells
robtaylor
force-pushed
the
src_retention_abc9
branch
3 times, most recently
from
e021a1e to
7528518
Compare
blifparse: add bounds check
kernel/celledges: cover more cell types
Automatic version bump
…t-deletion modtools: fix database sanity
…5684 Fix segfault from shift with 0-width signed arg.
aigerparse: add some bounds checks
Reduce complexity for adi brams by unconditionally providing the WIDTH and ABITS parameters.
abc9: verify post-mapping equivalence by default
CI: WASI - Applying YoWASP changes to script
6 tasks
Check verific configurations
Remove already disabled CI job
…g-model-errors equiv_induct: error on missing model
Use the node retention feature in ABC to propagate \src attributes through the classic (non-ABC9) synthesis pipeline. When writing BLIF, retained node IDs are emitted; when reading results back, \src attributes are restored from the retention map. This depends on YosysHQ/abc#41 for the ABC node retention support. Co-developed-by: Claude Code v2.1.44 (claude-opus-4-6)
Use the node retention feature in ABC to propagate \src attributes through the ABC9 synthesis pipeline. The &write_retention command exports retained GIA node mappings, which are then used to restore \src attributes on cells after ABC9 optimization. Co-developed-by: Claude Code v2.1.44 (claude-opus-4-6)
Add tests validating that \src attributes survive ABC and ABC9 synthesis round-trips, plus sideband invariant tests checking attribute preservation through the full PnR-like flow. Test coverage: - Classic ABC src retention (basic + full validation) - ABC9 src retention (basic + full validation) - Sideband invariant tests for \src through synthesis pipelines - CI workflow for automated retention validation Co-developed-by: Claude Code v2.1.44 (claude-opus-4-6)
robtaylor
force-pushed
the
src_retention_abc9
branch
from
420eefd to
4e1ac06
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
8 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
\srcattribute preservation through theabc9synthesis pass using node retention data from ABCsrc_map.txt(CI position ->\src), ABC writesoutput.retention(GIA retention data via&write_retention), Yosys joins them to recover\srcon post-synthesis$lutcellsabcpass changes from Preserve \src attributes through classic abc pass #1 and ABC-side&write_retentioncommand from robtaylor/abc#1Changes
abc9_ops.cc: Newwrite_src_map()function,reintegrate()extended with retention loading and\srcapplicationabc9_exe.cc: Added&write_retentionto ABC9 synthesis scriptabc9.cc: Wired upwrite_src_mapcall andtempdirpropagation toreintegrateDependencies
node_retentionsupport (robtaylor/abcnode_retentionbranch)src_retention_abcbranch (Preserve \src attributes through classic abc pass #1)Test plan
ABCEXTERNAL)tests/techmap/abc9_src_retention.yssanity testtests/techmap/abc9_src_retention_full.shto verify\srcattributes appear on post-synthesis cells