In recent years, several researches have been conducted at the VLSI Laboratory of Politecnico di Torino on Logic-in-Memory (LiM) systems. This type of architectures aims to overcome the drawbacks due to the performance gap between CPU and memory, usually referred to as Von Neumann Bottleneck, by integrating simple computational units inside the memory cells. The regular structure of LiM arrays also allows for efficient parallel processing. Octantis is a High-Level Synthesis (HLS) tool for the exploration of LiM systems. It analyzes a C algorithm and generates a LiM architecture optimized for its execution, through the typical steps of HLS. The allocation phase collects user-defined constraints, the scheduling assigns to each instruction an execution time and the binding performs the mapping of operations on a LiM system.