= High level quantum synthesis
This is a term "invented" by <Ciro Santilli> to refer to quantum compilers that are able to convert non-specifically-quantum (<functional programming>[functional], since there is no state in quantum software) programs into <quantum circuit>.
The term is made by adding "quantum" to the more "classical" concept of "<high-level synthesis>", which refers to software that converts an <imperative program> into <register transfer level> hardware, typicially for <FPGA> applications.