AIG names disorder bug #16
Description
When reading an AIG, its name mapping is stored in file ".tmp.map". However, this mapping corresponds to ".tmp.aig", not the original AIG that user given. This would cause bugs when dealing with names in AIG.
The bug could be fixed in two ways:
- When generating ".tmp.map", preserve the input order. This requires code modification in yosys package, maybe someone would like to do it.
- Read in ".tmp.aig" instead of the original AIG.
I will later create a PR using the second method.