Quantum Oracle Synthesis from HDL Designs via Multi Level Intermediate Representation. - Giacomo Lancellotti; Filippo Buda; Giacomo Carugati; Daniele Gazzola; Alessandro Barenghi; Giovanni Agosta; Gerardo Pelosi (ASP-DAC, 2026)