  We propose a new algorithm to synthesise quantum circuits for phase
polynomials, which takes into account the qubit connectivity of the quantum
computer. We focus on the architectures of currently available NISQ devices.
Our algorithm generates circuits with a smaller CNOT depth than the algorithms
currently used in Staq and tket, while improving the runtime with respect the
former.
