PA1 2025

Tips

1. We already created an external package ext-lsv and an example command lsv_print_node under the directory src/ext-lsv. Feel free to start your programming assignment by modifying this command or creating a new command in the function init().

2. The function Abc_NtkForEachObj() iterates through all the objects (from the smallest ID to the largest ID). After "strash", the nodes in AIG are ordered as follows:

• constant zero node
• primary input nodes
• primary output nodes
• internal AND nodes (sorted in topological order)

3. Using STL containers (specifically vector and set) in C++ will make things a lot easier.

FAQs