CULS is a GPU-based logic synthesis tool developed by the research team supervised by Prof. Evangeline F. Y. Young at The Chinese University of Hong Kong (CUHK).

• CMake >= 3.8
• GCC >= 7.5.0
• CUDA >= 11.4

• Build as a standalone tool:

  mkdir build && cd build
  cmake ..
  make

  The built binary executable will be named gpuls.

• Build as a patch of ABC:

  mkdir build && cd build
  cmake .. -DPATCH_ABC=1
  make

  The built binary executable will be named abcg.

  If the readline library is installed in a custom path on your machine, add the option -DREADLINE_ROOT_DIR=<readline_path> when invoking cmake. CULS can still be successfully built even if the readline library is not found.

• Standalone mode

  To interact with the command prompt, run

  ./gpuls

  You can also directly execute a script, e.g.,

  ./gpuls -c "read ../abc/i10.aig; resyn2; write i10_resyn2.aig"

• ABC patch mode

  The usage is the same as ABC. For instance,

  ./abcg -c "read ../abc/i10.aig; gget; gresyn2; gput; print_stats; cec -n"

• Standalone mode

  • read: read an AIG from a file
  • write: dump the internal AIG to a file
  • b: AIG balancing
  • rw: AIG rewriting
  • rf: AIG refactoring
  • st: strashing and dangling-node removal
  • resyn2: perform the resyn2 optimization script
  • ps: print AIG statistics
  • time: print time statistics

• ABC patch mode

  The above commands will be prefixed by g, e.g., grf for AIG refactoring.

  Additionally, there are two commands gget and gput for converting the AIG data structure from ABC to GPU, and from GPU to ABC, respectively, similar to the ABC9 package.

@inproceedings{lin2022novelrewrite,
  title={NovelRewrite: node-level parallel AIG rewriting},
  author={Lin, Shiju and Liu, Jinwei and Liu, Tianji and Wong, Martin D. F. and Young, Evangeline F. Y.},
  booktitle={Proceedings of the 59th ACM/IEEE Design Automation Conference},
  year={2022}
}

@inproceedings{liu2023rethinking,
  title={Rethinking AIG Resynthesis in Parallel},
  author={Liu, Tianji and Young, Evangeline F. Y.},
  booktitle={60th ACM/IEEE Design Automation Conference},
  year={2023}
}

• Shiju Lin and Jinwei Liu, for GPU rewriting.
• Tianji Liu, for the other algorithms.