Projective Measurement-Based Logic Synthesis of Quantum Circuits

In this paper we introduce the new model for Quantum Logic Synthesis. The innovation consists in designing circuits with the measurement process together with the computing circuit. The Measurement is used as a part of the entire computational process. We demonstrate the method to synthesize quantum circuits from examples (examples are cares of the quantum truth table) such that the synthesis process converts the don't knows (minterms not given as examples) to the entangled quantum output values which are measurement dependent. We extended the logic synthesis approach to measurement-based quantum circuits synthesis from incompletely specified or completely specified function specifications.