Session

DescriptionIn this session, we have 4 papers covering various aspects of robust quantum computing flow. There are two presentations that address scalable verification approaches by equivalence checking and BDD-based unitary operator manipulation, respectively. Another paper presents the case of handling non-unitaries in equivalence checking of quantum circuits. The last paper of the session proposes a compression technique for reducing resource requirements for topological quantum error correction circuits.