The models and rules of quantum computation and quantum information processing (QIP) differ greatly from those that govern classical computation, and these differences have caused the implementation of quantum processing devices with a variety of new technologies. Many platforms have been developed in parallel, but at the time of writing, one method of quantum computing has not shown to be superior to the rest. Because of the variation that exists between quantum platforms, even between those of the same technology, there must be a way to automatically synthesize technology-independent quantum designs into forms that are capable of physical realization on a quantum computer (QC) with specific operating parameters. Additionally, results of synthesis must be formally verified to confirm that output technology-dependent specifications are logically identical to their original, technology-independent forms. The first contribution of this work to the field of quantum computing is the creation of such a methodology. Quantum technology mapping and optimization for machines with fixed coupling maps and libraries of gates can be performed with an automatic quantum compiler, and the development and test of this compiler will be explored in this dissertation. Furthermore, this compiler can be considered in a more general context to be a synthesis tool for QIP circuits in a specific realization technology, many of which are capable of implementing systems where the radix of computation, r, is greater than two. As a result of this ability, the second contribution of this work is the presentation of architectures for higher-dimensional quantum entanglement.

Degree Date

Fall 12-21-2019

Document Type


Degree Name



Electrical and Computer Engineering


Mitchell Thornton

Number of Pages




Creative Commons License

Creative Commons Attribution-Noncommercial 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial 4.0 License