Pauli IR

Quantum simulation is the foundation for the design of many algorithms which share subroutines known as quantum simulation kernels. Optimizing the compilation of these kernels is crucial, with circuit synthesis and qubit mapping being the essential components of the compilation process. However, existing circuit synthesis methods either overlook qubit connectivity constraints (QCC) or focus solely on gate count optimization while neglecting the optimization of circuit depth. Similarly, current qubit mapping techniques do not work well with circuit synthesis methods.