SAT-BASED LOGIC OPTIMIZATION USING MAJORITY AND NAND-NOR-INVERTER GATES FOR IMPROVED DESIGNS IN QUANTUM DOT CELLULAR AUTOMATA (QCA)

Download
2022-8-30
MJEMA, MBONEA GODWIN
Over the past two decades, the exponential growth of the number of transis tors in integrated circuits, the so-called Moore’s law, has enabled the design of smaller, faster, and more robust circuits. However, further attempts at size reduction face many challenges due to the physical limits of CMOS; as the gate size reaches below 10nm, the quantum effects are likely to dominate the device’s performance, leading to a reduction in performance and efficiency. Quantum-dot Cellular Automata (QCA) is one of the promising future solutions that takes advantage of quantum effects, which are becoming increasingly dominant on a scale of several nanometers. QCA is based upon encoding binary information in the charge configuration within quantum dot cells. As a result, QCA can be used to design efficient and low power circuits. QCA uses Majority, inverter, and other gates to implement Boolean functions. Therefore, the circuits need to be synthesized using the available gates and the various novel gates which have been proposed. However, most of the synthesis methods suggested use Major ity and inverter gates only. This thesis proposes a SAT-based depth and area optimization using the Majority and the novel NNI (NAND-NOR-INVERTER) gate to synthesize Boolean Functions to implement QCA logic circuits more ef ficiently. The EPFL benchmark comparison of the proposed method has been compared to the current state-of-art synthesis method. The comparison shows a depth reduction of up to 65% and an area reduction of up to 47% in the benchmark circuits.

Suggestions

ELECTROMAGNETIC SCATTERING COMPUTATION FROM ARBITRAY OBJECTS USING FDFD(4) METHOD
Kuzu, Lokman; Sengul, Orhan; Demircioglu, Erdem (2013-06-01)
In nowadays, it is still a challenge to solve electrically large problems using numerical methods, although the computing power is increasing continuously. Finite difference techniques have been widely used to solve many electromagnetic problems. These methods utilize the Yee cell to discretize the computational domain. The standard Yee scheme used in Finite Difference Frequency Domain (FDFD) method is only second-order accurate. In this study, fourth-and sixth-order accurate FDFD schemes are proposed. One ...
Feasibility study for dynamic context switching inpartially reconfigurable FPGAS
Yılmaz, Esat; Bazlamaçcı, Cüneyt Fehmi; Department of Electrical and Electronics Engineering (2019)
Reconfiguration of computing and control circuits according to dynamically changing needs is a supportive concept which saves design-time and the space needed for floorplanning in comparison to application specific integrated circuits (ASIC). FPGAs which are commonly used reconfigurable devices have both full and partial reconfiguration features. Dynamic partial reconfiguration is a technique which enables some part of the circuit to be reconfigured while other parts are running. This feature allows the use...
DESIGN OF EFFICIENT AI ACCELERATOR BUILDING BLOCKS IN QUANTUM DOT CELLULAR AUTOMATA (QCA)
Ahmed, Ahmed Mamdouh Mohamed; Muhtaroğlu, Ali; Yemişcioğlu, Gürtaç; Electrical and Electronics Engineering (2022-7)
Quantum-Dot Cellular Automata (QCA)-based digital circuit design have several advantages over CMOS, including higher intrinsic switching speeds up to Terahertz, lower power consumption, a smaller circuit footprint, and higher throughput due to the intrinsic signal propagation scheme’s compatibility with pipelining. As a result, QCA is an excellent choice for applications like Artificial Intelligence (AI)-accelerators, where real-time energy efficient performance is required at a low cost. This Thesis invest...
Performance benchmarking of a discontinuous Galerkin-based compressible flow solver on GPU computing platforms using cnsBench
Karakuş, Ali; Unnikrishnan, Umesh; Rowe, Kris; Patel, Saumil S (2022-11-22)
Heterogeneous computing architectures have become an integral feature of modern supercomputers. In this work, we present the performance benchmarking results of a discontinuous Galerkin, spectral-element solver for the compressible Navier-Stokes equations on different GPU-based computing platforms. The solver uses OCCA, an open-source library that provides the portability layer to offload targeted kernels across different architectures and vendor platforms, and achieve application portability. Profiling of ...
Interharmonics analysis of power signals with fundamental frequency deviation using Kalman filtering
Köse, Neslihan; Salor, Oezguel; Leblebicioğlu, Mehmet Kemal (2010-09-01)
In this paper a spectral decomposition-based method for interharmonic computation is proposed for power systems where the fundamental frequency fluctuates significantly. In the proposed method, the frequency domain components of the voltage waveform are obtained by Kalman filtering. Both the system fundamental frequency and the correct spectrum of the voltage waveform, and hence the exact interharrnonics are obtained. The proposed method is tested with both simulated and field data obtained from different e...
Citation Formats
M. G. MJEMA, “SAT-BASED LOGIC OPTIMIZATION USING MAJORITY AND NAND-NOR-INVERTER GATES FOR IMPROVED DESIGNS IN QUANTUM DOT CELLULAR AUTOMATA (QCA),” M.S. - Master of Science, Middle East Technical University, 2022.