Research Manuscript: Robust Quantum Computing: Wild Goose Chase?
Event TypeResearch Manuscript
TimeWednesday, July 13th10:30am - 12:00pm PDT
Location3005, Level 3
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.