Quantum Equivalence Checking. Innovation in Verification

Executive Briefing & Key Highlights

Can quantum computing have any relevance to EDA? This month’s paper suggests it might have a role someday, in accelerating one of the most fundamental of EDA algorithms: SAT. Paul Cunningham (GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, entrepreneur, former Synopsys CTO and lecturer at Stanford, EE292A)… Read More The post Quantum Equivalence Checking. Innovation in Verificatio