Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of The International Symposium on Multiple-Valued Logic |
| Pages | 191-196 |
| Number of pages | 6 |
| DOIs | |
| Publication status | Published - 2008 |
| Externally published | Yes |
| Event | 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 - Dallas, TX, United States Duration: May 22 2008 → May 24 2008 |
Other
| Other | 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 |
|---|---|
| Country | United States |
| City | Dallas, TX |
| Period | 5/22/08 → 5/24/08 |
Fingerprint
ASJC Scopus subject areas
- Hardware and Architecture
- Logic
- Safety, Risk, Reliability and Quality
- Chemical Health and Safety
Cite this
Projective measurement-based logic synthesis of quantum circuits. / Lukac, Martin; Perkowski, Marek.
Proceedings of The International Symposium on Multiple-Valued Logic. 2008. p. 191-196 4539425.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Projective measurement-based logic synthesis of quantum circuits
AU - Lukac, Martin
AU - Perkowski, Marek
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=50549098111&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=50549098111&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2008.37
DO - 10.1109/ISMVL.2008.37
M3 - Conference contribution
AN - SCOPUS:50549098111
SN - 9780769531557
SP - 191
EP - 196
BT - Proceedings of The International Symposium on Multiple-Valued Logic
ER -