Quantum Equivalence Checking. Innovation in Verification
<p>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)… <a href="https://semiwiki.com/eda/372999-quantum-equivalence-checking-innovation-in-verification/" class="read-more">Read More </a></p>
<p>The post <a href="https://semiwiki.com/eda/372999-quantum-equivalence-checking-innovation-in-verification/">Quantum Equivalence Checking. Innovation in Verification</a> appeared first on <a href="https://semiwiki.com">SemiWiki</a>.</p>
Read original article ↗
Related Articles
Synopsys and Amazon Expand Partnership for Custom Silicon and AI Chip Design
Multi-year, $1B+ agreement marks the expansion of Synopsys’ silicon IP business to serve increasing demand for applicati
The state of agentic AI in chip design tools in 2026
Cadence, Synopsys, and Siemens all offer agentic AI for chip design, largely built on Nvidia's stack, with varying claim
Synopsys has come up with Agent-Engineers – agents that can reason, plan, and execute engineering workflows from silicon