PA1 2025 - NTU-ALComLab/LSV-PA GitHub Wiki

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)
  1. Using STL containers (specifically vector and set) in C++ will make things a lot easier.

FAQs