Quantum Oracle Synthesis from HDL Designs via Multi Level Intermediate Representation
Quantum computing is increasingly recognized as a promising approach for tackling computationally intractable problems. However, achieving the scalability necessary for real-world applications requires substantial advancements in the quantum software stack. In this work, we introduce a compiler toolchain based on a Multi-Level Intermediate Representation (MLIR) that automatically synthesizes quantum circuits from Hardware Description Language (HDL) specifications of classical functions into quantum assembly languages. Many quantum algorithms rely on combinatorial circuits as subroutines, which traditionally require extensive resources in terms of quantum gates and qubits and are often manually optimized. Our toolchain integrates a sequence of optimization passes that combine classical compiler techniques with quantum-specific improvements, resulting in an average qubit reduction of 30% and an average gate-count reduction of 20% in widely adopted benchmark circuits, including those used in cryptographic applications.
Authors
- Gerardo Pelosi (ORCID: https://orcid.org/0000-0002-3812-5429)
- Alessandro Barenghi (ORCID: https://orcid.org/0000-0003-0840-6358)
- Daniele Gazzola
- Giovanni Agosta (ORCID: https://orcid.org/0000-0002-0255-4475)
- Giacomo Lancellotti (ORCID: https://orcid.org/0009-0005-0405-6073)
- Filippo Buda
- Giacomo Carugati
Institutions
- Politecnico di Milano (IT)
Publication Details
- Published
- 2026-01-19
- DOI
- https://doi.org/10.1109/asp-dac66049.2026.11420750
- Primary Topic
- Quantum Computing Algorithms and Architecture
- Type
- article
- Field-Weighted Citation Impact
- 0.00