LogicFactory

LogicFactory is an open-source logic synthesis platform for integrated cross-tool flow.

Build

• method1: build with docker env (recommend)

$ git clone https://github.com/Logic-Factory/LogicFactory.git
$ cd LogicFactory
$ git submodule update --init --recursive
$ docker build -t logic-factory:latest .
$ docker run -it -v ./LogicFactory:/workspace logic-factory:latest
$ cd /workspace
$ mkdir -p build && cd build
$ cmake -G Ninja ..
$ ninja

• method2: install dependencies and compile
  • install build essential

  $ sudo apt-get update && sudo apt-get upgrade -y --no-install-recommends apt-utils
  $ sudo apt-get install -y software-properties-common build-essential wget curl cmake ninja-build git
  $ sudo apt-get install -y libreadline6-dev tcl-dev pkg-config bison flex rustc cargo libboost-all-dev libeigen3-dev libgtest-dev libgoogle-glog-dev libyaml-cpp-dev libcairo2-dev libunwind-dev libgmp-dev libgmpxx4ldbl libhwloc-dev libffi-dev libgflags-dev libmetis-dev
  

  • install gcc-10/g++-10

  $ sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y
  $ sudo apt-get update
  $ sudo apt-get install -y gcc-10 g++-10
  $ sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 60 --slave /usr/bin/g++ g++ /usr/bin/g++-10
  

  • install rust

  $ export RUSTUP_DIST_SERVER=https://mirrors.tuna.tsinghua.edu.cn/rustup
  $ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
  $ export PATH="/root/.cargo/bin:${PATH}"
  

  • compile

  $ git clone https://github.com/Logic-Factory/LogicFactory.git
  $ cd LogicFactory
  $ git submodule update --init --recursive
  $ mkdir -p build && cd build
  $ cmake -G Ninja ..
  $ ninja
  

Getting Started

• RUN with tcl
  before run this, you need to modify the datapath in the "demo/test.tcl" and "config/layer_netlist/ieda/config_sky130.json".

$ ./build/app/logicfactory -s "demo/test.tcl"

• RUN with command sequence

$ ./build/app/logicfactory -c "help; start;"

• RUN with command line

$ ./build/app/logicfactory
--------------------------------------------
*    Welcome to LogicFactory (Platform)    *
*               Version 0.1                *
*     https://github.com/Logic-Factory     *
--------------------------------------------
% help

Scheme

Anchor-based tool and logic type location

Acknowledgement

• yosys
• berkeley-abc
• epfl-lsils
• iEDA

Q&A

• slack
  https://join.slack.com/t/open-logic-factory/shared_invite/zt-2sjpzqk1y-1SM9Xcx8CNTULq72l80H~w

Contact

• email
  Liwei Ni: nlwmode at gmail dot com