← Back to contracts

Collaborative Research: SPV: Synthesis, Profiling, and Verification of Quantum Circuits

US NSF grant open #nsf-2507947

Summary

Today's quantum circuit designs are akin to classical circuits in their early stages, which were designed by hand and manually laid out, while the power of classical computing hardware was not fully unleashed until the emergence of Electronic Design Automation (EDA) in the 1950s, enabling the scalable design of integrated circuits. Although quantum computing holds great promise to dramatically speed up many chemical, financial, cryptographic, and machine-learning applications, we are witnessing that the existing quantum computing design workflow significantly relies on human designs, such as m

Collaborative Research: SPV: Synthesis, Pr…
Onboard