It is challenging to ensure that a quantum program is a faithful implementation of a quantum
algorithm after it is tailored and optimized for specific quantum hardware. While quantum …