L’OpenQASM 2.0 è un linguaggio per la descrizione di circuiti quantistici che si distingue per portabilità, in quanto adottato da più framework per la progettazione e l’esecuzione di algoritmi su hardware reale o simulatori. Uno dei limiti di questo linguaggio è la mancanza di supporto per una descrizione comportamentale basata su matrici unitarie. All’interno del laboratorio VLSI del Politecnico di Torino è in fase di sviluppo una libreria Python per la generazione di circuiti descritti in OpenQASM 2.0 adoperabili in un contesto di progettazione modulare. La libreria è indipendente da qualsiasi tipo di piattaforma proprietaria, garantendone così la portabilità. L’obiettivo principale della tesi è l’integrazione nella libreria di un’infrastruttura automatica per la sintesi di circuiti quantistici, partendo da una loro descrizione mediante matrici unitarie.