Monday, August 20, 2007
Knowledge Module for Logic Design to Introduce Majority Logic Synthesis Using Karnaugh Maps
Sunday, August 19, 2007
WIP- Introduction of K-map based Nano-logic Synthesis in Logic Design Course
Monday, June 11, 2007
Dr. Alam (Freescale Semiconductors) delivers Invited Colloquium
Friday, September 1, 2006
Power Dissipation Bounds and Models for Quantum-dot Cellular Automata Circuits
S. Srivastava, S. Sarkar and S. Bhanja, “Power Dissipation Bounds and Models for Quantum-dot Cellular Automata Circuits”, Accepted for publication in IEEE conference on nanotechnology,
Download the QCAPro tool
Switching Error Modes of QCA Circuits
@INPROCEEDINGS{1717107,
title={Switching Error Modes of QCA Circuits},
author={ Bhanja, S. and Sarkar, S.},
booktitle={Nanotechnology, 2006. IEEE-NANO 2006. Sixth IEEE Conference on},
year={2006},
month={June},
volume={1},
number={},
pages={ 383-386},
abstract={ The Quantum-dot Cellular Automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a collection of QCA cells, with two possible ground states for each cell. A four phased clocking is used to keep the computations at the ground state throughout the circuit. Computing errors in QCA circuits can arise due to the failure of the clocking scheme to switch portions of the circuit to its new ground state with change in input. To study these switching errors we need to consider low-energy state configurations of QCA circuits. However, current QCA simulators compute just the ground state configuration of a QCA arrangement. In this paper, we offer an efficient method, based on graphical probabilistic models, to compute the N-lowest energy modes of a clocked QCA circuit. The overall low-energy, excited, spectrum of multiple clocking zones is constructed by concatenating the excited spectra of the individual clocking zones. We demonstrate the use of this error model by comparing different designs of wire crossings.},
doi={},
ISSN={}, }
Bayesian Macromodeling for Circuit Level QCA Design
@INPROCEEDINGS{1717009,
title={Bayesian Macromodeling for Circuit Level QCA Design},
author={ Srivastava, S. and Bhanja, S.},
booktitle={Nanotechnology, 2006. IEEE-NANO 2006. Sixth IEEE Conference on},
year={2006},
month={June},
volume={1},
number={},
pages={ 31-34},
abstract={ We present a probabilistic methodology to model and abstract the behavior of quantum-dot cellular automata circuit(QCA) at “ circuit level” above the current practice of layout level. These macromodels provide input-output relationship of components (a set of QCA cells emulating a logical function) that are faithful to the underlying quantum effects. We show the macromodeling of a few key circuit components in QCA circuit, such as majority logic, lines, wire-taps, cross-overs, inverters, and corners. In this work, we demostrate how we can make use of these macromodels to abstract the logical function of QCA circuits and to extract crucial device level characteristics such as polarization and low-energy error state configurations by circuit level Bayesian model, accurately accounting for temperature and other device level parameters. We also demonstrate how this macromodel based design can be used effectively in analysing and isolating the weak spots in the design at circuit level itself.},
doi={},
ISSN={}, }
Probabilistic Error Model for Unreliable Nano-Logic gates
@INPROCEEDINGS{1717013,
title={Probabilistic Error Model for Unreliable Nano-logic Gates},
author={ Rejimon, T. and Bhanja, S.},
booktitle={Nanotechnology, 2006. IEEE-NANO 2006. Sixth IEEE Conference on},
year={2006},
month={June},
volume={1},
number={},
pages={ 47-50},
abstract={ We propose a novel formalism, based on probabilistic Bayesian networks, to capture, analyze, and model dynamic errors at nano logic for probabilistic reliability analysis. It will be important for circuit designers to be able to compare and rank designs based on the expected output error, which is a measure of reliability. We propose an error model to estimate this expected output error probability, given the probability of these errors in each device. We estimate the overall output error probability by comparing the outputs of an ideal logic model with a dynamic error-encoded model. We use of Bayesian inference schemes for propagation of probabilities. Since exact inference is worst case NP-hard, we use two approximate inference schemes based on importance sampling, namely EPIS(Evidence Prepropagated Importance Sampling) and PLS (Probabilistic Logic Sampling), for handling mid-size benchmarks having up to 3500 gates. We demonstrate the efficiency and accuracy of these approximate inference schemes by comparing estimated results with logic simulation results.},
doi={},
ISSN={}, }