US 12,380,351 B2
Quantum circuit synthesis using CSP
Amir Naveh, Haifa (IL); Shmuel Ur, Shorashim (IL); Yehuda Naveh, Tel-Aviv Yafo (IL); Ofek Kirzner, Haifa (IL); Ravid Alon, Tel Aviv (IL); Tal Goren, Kibbutz Nahsholim (IL); Adam Goldfeld, Kiryat Motzkin (IL); and Nir Minerbi, Haifa (IL)
Assigned to Classiq Technologies LTD., Tel Aviv (IL)
Filed by Classiq Technologies LTD., Tel Aviv (IL)
Filed on May 24, 2022, as Appl. No. 17/752,204.
Application 17/752,204 is a continuation of application No. 17/499,046, filed on Oct. 12, 2021, granted, now 11,373,114.
Prior Publication US 2023/0115165 A1, Apr. 13, 2023
Int. Cl. G06N 10/00 (2022.01); G06N 5/01 (2023.01)
CPC G06N 10/00 (2019.01) [G06N 5/01 (2023.01)] 20 Claims
OG exemplary drawing
 
1. A method comprising:
obtaining a functional-level representation of a quantum circuit, the functional-level representation comprises a first functional blocks and a second functional block, the first functional block defining a first operation of the quantum circuit over at least two cycles, the second functional block defining a second operation of the quantum circuit over at least two cycles, wherein the functional-level representation defines a relationship between the first functional block and the second functional block;
determining a Constraint Satisfaction Problem (CSP) based on the functional-level representation of the quantum circuit, wherein the CSP comprises one or more constraints based on the relationship between the first functional block and the second functional block;
automatically solving the CSP to obtain a solution to the CSP, wherein said automatically solving comprises:
identifying a first implementation to the first functional block that adheres to the one or more constraints; and
identifying a second implementation to the second functional block that adheres to the one or more constraints; and
synthesizing a gate-level representation of the quantum circuit using the first implementation and the second implementation.