- 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