Hierarchical probabilistic macromodeling for QCA circuits

Srivastava, S. and Bhanja, S. (2007) Hierarchical probabilistic macromodeling for QCA circuits. Computers, IEEE Transactions on, 56 (2). pp. 174-190. ISSN 0018-9340

Full content URL: http://dx.doi.org/10.1109/TC.2007.30

TComp 2007.pdf
TComp 2007.pdf - Whole Document

Item Type:Article
Item Status:Live Archive


With the goal of building an hierarchical design methodology for quantum-dot cellular automata (QCA) circuits, we put forward a novel, theoretically sound, method for abstracting the behavior of circuit components in QCA circuit, such as majority logic, lines, wire-taps, cross-overs, inverters, and corners, using macromodels. Recognizing that the basic operation of QCA is probabilistic in nature, we propose probabilistic macromodels for standard QCA circuit elements based on conditional probability characterization, defined over the output states given the input states. Any circuit model is constructed by chaining together the individual logic element macromodels, forming a Bayesian network, defining a joint probability distribution over the whole circuit. We demonstrate three uses for these macromodel-based circuits. First, the probabilistic macromodels allow us to model the logical function of QCA circuits at an abstract level - the "circuit" level - above the current practice of layout level in a time and space efficient manner. We show that the circuit level model is orders of magnitude faster and requires less space than layout level models, making the design and testing of large QCA circuits efficient and relegating the costly full quantum-mechanical simulation of the temporal dynamics to a later stage in the design process. Second, the probabilistic macromodels abstract crucial device level characteristics such as polarization and low-energy error state configurations at the circuit level. We demonstrate how this macromodel-based circuit level representation can be used to infer the ground state probabilities, i.e., cell polarizations, a crucial QCA parameter. This allows us to study the thermal behavior of QCA circuits at a higher level of abstraction. Third, we demonstrate the use of these macromodels for error analysis. We show that low-energy state configurations of the macromodel circuit match those of the layout level, thus allowing us to isolate weak p- oints in circuits design at the circuit level itself

Keywords:cellular automata, integrated circuit modelling, probability, quantum computing, semiconductor quantum dots, Bayesian network, QCA circuits, circuit thermal behavior, conditional probability characterization, error analysis, ground state probability inference, hierarchical probabilistic macromodeling, joint probability distribution, logic element macromodels, macromodel-based circuit level representation, quantum-dot cellular automata, Buildings, Character recognition, Circuit testing, Design methodology, Logic circuits, Logic design, Polarization, Pulse inverters, Quantum cellular automata, Quantum dots, Bayesian networks, QCA computing, QCA macromodel., probabilistic computing
Subjects:H Engineering > H611 Microelectronic Engineering
H Engineering > H620 Electrical Engineering
G Mathematical and Computer Sciences > G400 Computer Science
H Engineering > H610 Electronic Engineering
Divisions:College of Science > School of Computer Science
College of Science > School of Engineering
ID Code:10729
Deposited On:17 Jul 2013 10:49

Repository Staff Only: item control page