• Ubuntu >= 18.04
• GNU Compiler Collection (GCC), version >= 4.8.5
• CMake, version >= 3.9.6
• GNU Make

• ACT
• Boost, version >= 1.71.0 (lower version may work, not tested)
• Si2 LEF/DEF parser, a mirror can be found here
• PhyDB
• OpenMP (for MacOS user, libomp from Homebrew will work)

$ git clone --recursive https://github.com/asyncvlsi/Dali.git
$ cd Dali/
$ mkdir build
$ cd build
$ cmake ..
$ make
$ make install

this will create a binary dali in folder Dali/bin. The default installation destination is $ACT_HOME. One can use the following command to specify the installation destination and install this package:

$ cmake .. -DCMAKE_INSTALL_PREFIX=path/to/installation

• Eigen: sparse matrix iterative linear solver

• Eigen gives different results for different C++ compilers, because floating point addition is not necessarily associative
• g++ in MacOS is an alias of clang instead of GCC
• 32bit and 64bit version g++ also give different results