Conceptual
Browse Instruct Curate

Network Alignment of Synthesized Netlists to HDL Source Code

A technique for automatically mapping a post-optimization gate-level netlist back to its original HDL source code without relying on source-locator metadata. It represents both the source and the synthesized design as directed graphs, seeds an alignment from Anchor Points (nets whose names survive synthesis, plus top-level I/O), and propagates matches by topological traversal with full, partial, and surrounding matching, tolerating heavy structural changes from synthesis and flattening.