Sponsor
Portland State University. Department of Electrical and Computer Engineering
First Advisor
Xiaoyu Song
Date of Publication
1-1-2010
Document Type
Thesis
Degree Name
Master of Science (M.S.) in Electrical and Computer Engineering
Department
Electrical and Computer Engineering
Language
English
Subjects
Quantum dots, Cellular automata, Integrated circuits -- Design and construction
DOI
10.15760/etd.438
Physical Description
1 online resource (iv, 73 p.) : ill. (some col.)
Abstract
Some people believe that IC densities are approaching the fundamental limits inherent to semiconductor technologies. One alternative to semiconductors is Quantum-dot Cellular Automata (QCA); QCA is a nanotechnology that offers the potential to build denser IC's that switch at higher frequencies and run on lower power. QCA's most basic building block, the QCA cell, is inherently binary; digital circuits are implemented by arranging these QCA cells in pre-defined configurations on a two dimensional plane. This paper proposes a logic formulation that describes arranging QCA cells on a two dimensional plane; it is presented as a set of rules that can be implemented with basic Boolean variables and operators. This Boolean formulation is general and can be applied to any given specification. In addition, an optimization constraint is defined so that the logic formulation will only validate the most efficient QCA cell arrangements. The correctness of the logic formulation has been empirically verified by testing it with a SAT solver. The effectiveness of the minimization constraint in conjunction with the logic formulation has been tested with a Pseudo-Boolean ILP solver.
Rights
In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/ This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
Persistent Identifier
http://archives.pdx.edu/ds/psu/4746
Recommended Citation
Orr, Marc Stewart, "A Logic Formulation for the QCA Cell Arrangement Problem" (2010). Dissertations and Theses. Paper 438.
https://doi.org/10.15760/etd.438
Comments
Portland State University. Dept. of Electrical and Computer Engineering