Skip to content

Conversation

@AdvaySingh1
Copy link

@AdvaySingh1 AdvaySingh1 commented Jan 19, 2026

Current State:

Nr_Man_t* pNodeRetention maintains mappings from current nodes to original nodes (as written by the final BLIF output)
Test script: node_ret/test_get_and_put.script
Command sequence: &get -> &nf ->&put

&get: converts network to Gia_Man_t
&nf: performs technology mapping
&put: converts back to Abc_Ntk_t

Testing:
I/O files located in node_ret/ directory
Reproducible test cases available in node_ret/test/

Edit:
To run a fully reproducible test case, run make -j 8 && ./node_ret/scripts/test_get_and_put.
The output node_ret/get_and_put_output.blif contains new net type objects mapped back to the original nets. For example:
# new_n133 SRC ys__n403 ys__n400 ys__n399 ys__n396 ys__n394 ys__n388.

…ion from Abc_NtkFindOrCreateNet() to Abc_NtkToLogic(). Entries are mapped after Strash. But further checking needs to be done on Strash.
…ems from determine total # of unique entries
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants