- src/ - The source code for scheduling and verilog generation
- test/scheduling.cpp - Unit tests of the HLS tool
- test/ll_files/ - Example programs that are synthesized in unit tests
- LLVM and clang
- Z3 SMT solver
- Icarus Verilog (to run the unit tests of generated verilog)
Once the dependencies are installed do:
cmake . make -j ./all-tests