Development

In the demo, we have learned that ABC is composed of various commands. You are required to add your own commands to finish the tasks in the PAs.

We also need to understand basic data structures used in ABC, including Abc_Frame_t, Abc_Ntk_t, and Abc_Obj_t. Abc_Frame_t holds all registered commands and stores the current network. Abc_Ntk_t and Abc_Obj_t are used to model networks and gates, respectively.

Since ABC is a rather large codebase, we suggest having a code editor that supports efficient code navigation in C/C++. If you don't have any options, we suggest using vscode

We provide an example command as a starting point for you to get familiar with ABC.

Some selective topics that might be used in PAs are listed at the end. This page will be updated when additional information is required.

Please visit the following pages for more details.

Content

• Add a new command
• Basic data structures
• Example command
• Selective topics
  • Network Traversal
  • SOP operations
  • Reasoning with SAT solvers