Mathematical Analysis of Logical Masking Capability of Logic Gates

Total Page:16

File Type:pdf, Size:1020Kb

Mathematical Analysis of Logical Masking Capability of Logic Gates Recent Advances in Electrical Engineering and Electronic Devices Mathematical Analysis of Logical Masking Capability of Logic Gates P. BALASUBRAMANIAN*, and N. E. MASTORAKIS¶ * Department of Computer Science and Engineering S. A. Engineering College (Affiliated to Anna University) Poonamallee-Avadi Road, Veeraraghavapuram, Chennai 600 077 INDIA [email protected] ¶ Sector of Electrical Engineering and Computer Science Military Institutes of University Education, Hellenic Naval Academy Piraeus 18539 GREECE [email protected] Abstract: - In this paper, logical masking capability of commonly used logic gates such as NOT, AND/NAND, OR/NOR, and XOR/XNOR, when subject to single/multiple input faults, are analyzed from a mathematical perspective. A new metric, called Gate Error Metric (GEM) is proposed to study the extent of output error in these gates when subject to potential input fault occurrences, where less value of GEM implies good logical masking. Generic GEM equations are deduced for n-input AND/NAND/OR/NOR, and XOR/XNOR gate types. The equations reveal that with an increase in fan-in output errors tend to reduce for all types of logic gates in general. In specific, AND/NAND/OR/NOR gates have similar GEM values and these are superior compared to the GEM values of XOR/XNOR gates. Key-Words: - Logic gates; Logical masking; Modeling; Circuit analysis; Reliability; Fault tolerance 1 Introduction At the heart of any digital circuit/system lies the Nanoelectronic digital circuits and systems continue combinational or non-regenerative logic, which can to face unprecedented reliability issues [1] [2], such be implemented using logic gates, such as NOT, as atomistic fluctuations, electro-migration, hot- AND, NAND, OR, NOR, XOR, and XNOR. This carrier effects, negative bias temperature instability, work critically analyzes the logical masking ability and a plethora of technological, process-related, of diverse logic gates mentioned hitherto, given the metrology and other manufacturing defects, which possibility of potential input fault occurrences. were witnessed only remotely in the age of Logical masking refers to the ability of a logic gate microelectronics. Emerging device technologies [3] to tolerate faults occurring on its inputs on account such as carbon nanotube, resonant tunneling device, of its inherent nature/functionality. In effect, this nano-array, magnetic logic circuits, spin-transistors, work builds upon research published earlier [5] – quantum dot cellular automata, bio- and molecular [7], which analyzed the error resiliency of standard electronics are currently under active investigation and complex logic gates by assuming their non- to analyze whether some of them could indeed deterministic behavior in the presence of become alternatives to bulk CMOS, which remains probabilistic input errors. However, this work is as the undisputed technology of choice and has distinguished in that real binary inputs are dealt indeed been the lifeblood of semiconductor industry with, and the likelihood of all potential input faults for well over 50 years. In this backdrop, the ITRS (single/multiple) is duly taken into account. [4] has projected design-for-reliability (including, The rest of this paper is organized as follows. fault-tolerant design) as a grand challenge for the Section 2 briefly discusses the functionality of nanoelectronics era, and has pointed out that the AND/NAND, and OR/NOR logic gates, followed issue of reliability should be addressed at all aspects by a derivation of their generalized gate error metric of the design technology in order to cope with (GEM) expression. A similar task is performed in parametric variations that have become the order of the context of XOR/XNOR gate types in Section 3, the day in modern semiconductor electronics. where XOR and XNOR gates functionality is succinctly described and the generalized GEM ISBN: 978-1-61804-266-8 144 Recent Advances in Electrical Engineering and Electronic Devices equation is derived. Section 4 provides comparison resulting in an erroneous output of 1, and thus the of GEM values corresponding to various logic gates fault is said to be revealed. This is because the ON- for fan-in ranging from 2 to 4 inputs. Finally, the set of AND3 is 1, while its OFF-set is equal to 7. conclusions are given in Section 5. Thus, in general, as long as single or multiple faults do not force the inputs of a gate to move from its ON-set to OFF-set or vice-versa, no output error 2 Derivation of GEM Expression for will occur, and the faults would be logically AND/NAND/OR/NOR Gate Types masked. On the contrary, any fault that causes a movement of gate inputs from its ON-set to OFF-set Functionality of standard logic gates is common or vice-versa will tend to corrupt the output, and knowledge. However, it is briefly reiterated here for therefore it becomes exposed. Therefore, the reference. The AND gate produces a binary output number of potential output errors likely due to a of 1, if all its inputs are 1 ; otherwise it outputs a ’s movement of inputs from OFF-set to ON-set of the binary 0 for any other input combination. The AND3 gate equals 7. This number would be the NAND gate produces a binary output of 1, if at least same for the reverse case as well. Hence, the one of its inputs is 0; it produces a binary output of number of potential output errors likely to manifest 0 only when all its inputs are 1. The OR gate in case of an n-input AND gate due to ON-set to produces a binary output of 1 even if one of its OFF-set and OFF-set to ON-set migrations can be inputs is 1; only when all its inputs are 0’s, it n produces an output of 0. The NOR gate outputs a given by )12(2 , based on the concept of binary 0, even if one of its inputs is 1; when all its mathematical induction. inputs are 0, the output of the NOR gate becomes 1. With respect to the primary input 000, number of From the above description, it may be construed inputs that are at a Hamming distance of 1 equals 3 that AND and NOR gates have similar ON-set 3 cardinalities of 1, while NAND and OR gates have viz. 001, 010 and 100 – given as ; this similar OFF-set cardinalities of 1. Hence, cardinality 1 of ON-set/OFF-set of all these logic gates equals 1. represents the inputs that could arise due to a single In other words, AND, NAND, OR, and NOR are fault, and there is only a single input change/fault. identical in the sense that they have a singleton ON Count of inputs that are at a Hamming distance of 2 or OFF-set [8]. In fact, this commonality resulted in the derivation of a similar GEM equation for all 3 also equals 3 viz. 011, 101 and 110 – given as ; these gates. Therefore, deduction of GEM equation 2 for just the AND gate (as a representative among this represents the inputs that could arise due to NAND, OR, and NOR gates) would be presented in double (multiple) faults, i.e. two input changes/fault. this paper, and the derivation of (similar) GEM The only input that is at a Hamming distance of 3 is equations for the remaining gates are left as an exercise to the reader. 3 111 – given as ; this represents the input that Before proceeding further, the proposed gate 3 error metric, GEM is defined. GEM is specified as the ratio of number of potential output errors arises due to a triple (multiple) fault, i.e. three input divided by the total number of potential input fault changes for this fault. As a generalization, with occurrences (i.e. fault occurring on each individual respect to an n-input binary pattern, the total number input), corresponding to distinct primary inputs. of potential input faults is calculated using the Consider a 3-input AND gate (given by AND3). principle of mathematical induction as follows, When the AND3 input is 000, its output is 0. Owing where k signifies the Hamming distance. to single or multiple fault occurrences due to transient/permanent errors [9] – [11], if the AND3 n n n input changes to 001 or 010 or 011 or 100 or 101 or 2 k 110, its output would still be retained as 0, i.e. no k1 k error occurs in the output, in spite of certain single or multiple faults occurring on the inputs, and the Given these, the generalized GEM equation for an input faults are said to be successfully concealed n-input AND/NAND/OR/NOR gate is deduced as, (logically masked) from being observed by the external environment. Only when the AND3 input becomes faulty as 111, its output gets corrupted ISBN: 978-1-61804-266-8 145 Recent Advances in Electrical Engineering and Electronic Devices n )12(2 for fan-in ranging from 2 to 4 inputs, which are GEMAND/NAND/OR/NOR = (1) shown in Figure 1. Note that modern ASIC standard n n n cell libraries do not feature AND/NAND/OR/NOR 2 k gates with more than 4 inputs and XOR/XNOR k1 k gates with more than 3 inputs. It can be seen in Figure 1 that GEM values tend to decrease with Since the NOT gate is just a simple inverter, increase in fan-in for all types of gates, which is producing complemented values of inputs at its desirable. In previous works [5] [6], output error outputs, its GEM equation reduces to a constant of probabilities of XOR/XNOR gates were found to 1. But this GEM value is very high of all the logic increase with increase in fan-in – however this is gates considered.
Recommended publications
  • Realization of Morphing Logic Gates in a Repressilator with Quorum Sensing Feedback
    Realization of Morphing Logic Gates in a Repressilator with Quorum Sensing Feedback Vidit Agarwal, Shivpal Singh Kang and Sudeshna Sinha Indian Institute of Science Education and Research (IISER) Mohali, Knowledge City, SAS Nagar, Sector 81, Manauli PO 140 306, Punjab, India Abstract We demonstrate how a genetic ring oscillator network with quorum sensing feedback can operate as a robust logic gate. Specifically we show how a range of logic functions, namely AND/NAND, OR/NOR and XOR/XNOR, can be realized by the system, thus yielding a versatile unit that can morph between different logic operations. We further demonstrate the capacity of this system to yield complementary logic operations in parallel. Our results then indicate the computing potential of this biological system, and may lead to bio-inspired computing devices. arXiv:1310.8267v1 [physics.bio-ph] 30 Oct 2013 1 I. INTRODUCTION The operation of any computing device is necessarily a physical process, and this funda- mentally determines the possibilities and limitations of the computing machine. A common thread in the history of computers is the exploitation and manipulation of different natural phenomena to obtain newer forms of computing paradigms [1]. For instance, chaos comput- ing [2], neurobiologically inspired computing, quantum computing[3], and DNA computing[4] all aim to utilize, at the basic level, some of the computational capabilities inherent in natural systems. In particular, larger understanding of biological systems has triggered the interest- ing question: what new directions do bio-systems offer for understanding and implementing computations? The broad idea then, is to create machines that benefit from natural phenomena and utilize patterns inherent in systems to encode inputs and subsequently obtain a desired output.
    [Show full text]
  • Universal Gate - NOR Digital Electronics 2.2 Intro to NAND & NOR Logic
    Universal Gate - NOR Digital Electronics 2.2 Intro to NAND & NOR Logic Universal Gate – NOR This presentation will demonstrate… • The basic function of the NOR gate. • How an NOR gate can be using to replace an AND gate, an OR gate or an INVERTER gate. • How a logic circuit implemented with AOI logic gates Universal Gate – NOR could be re-implemented using only NOR gates • That using a single gate type, in this case NOR, will reduce the number of integrated circuits (IC) required to implement a logic circuit. Digital Electronics AOI Logic NOR Logic 2 More ICs = More $$ Less ICs = Less $$ NOR Gate NOR Gate as an Inverter Gate X X X (Before Bubble) X Z X Y X Y X Z X Y X Y Z X Z 0 0 1 0 1 Equivalent to Inverter 0 1 0 1 0 1 0 0 1 1 0 3 4 Project Lead The Way, Inc. Copyright 2009 1 Universal Gate - NOR Digital Electronics 2.2 Intro to NAND & NOR Logic NOR Gate as an OR Gate NOR Gate as an AND Gate X X Y Y X X Z X Y X Y Y Z X Y X Y X Y Y NOR Gate “Inverter” “Inverters” NOR Gate X Y Z X Y Z 0 0 0 0 0 0 0 1 1 0 1 0 Equivalent to OR Gate Equivalent to AND Gate 1 0 1 1 0 0 1 1 1 1 1 1 5 6 NOR Gate Equivalent of AOI Gates Process for NOR Implementation 1.
    [Show full text]
  • A Noise-Assisted Reprogrammable Nanomechanical Logic Gate
    pubs.acs.org/NanoLett A Noise-Assisted Reprogrammable Nanomechanical Logic Gate Diego N. Guerra,† Adi R. Bulsara,‡ William L. Ditto,§ Sudeshna Sinha,| K. Murali,⊥ and P. Mohanty*,† † Department of Physics, Boston University, 590 Commonwealth Avenue, Boston, Massachusetts 02215, ‡ SPAWAR Systems Center Pacific, Code 71, 53560 Hull Street, San Diego, California 92152, § School of Biological and Health Systems Engineering, Arizona State University, Tempe, Arizona 85287, | Institute of Mathematical Sciences, Taramani, Chennai 600 113, India, and ⊥ Physics Department, Anna University, Chennai 600 025, India ABSTRACT We present a nanomechanical device, operating as a reprogrammable logic gate, and performing fundamental logic functions such as AND/OR and NAND/NOR. The logic function can be programmed (e.g., from AND to OR) dynamically, by adjusting the resonator’s operating parameters. The device can access one of two stable steady states, according to a specific logic function; this operation is mediated by the noise floor which can be directly adjusted, or dynamically “tuned” via an adjustment of the underlying nonlinearity of the resonator, i.e., it is not necessary to have direct control over the noise floor. The demonstration of this reprogrammable nanomechanical logic gate affords a path to the practical realization of a new generation of mechanical computers. KEYWORDS Nanomechanical logic, nanomechanical computing, logical stochastic resonance, stochastic resonance, nanomechanical resonator practical realization of a nanomechanical logic applied as input stimuli to a two-state system, the response device, capable of performing fundamental logic can result in a specific logical output with a probability (for operations, is yet to be demonstrated despite a long- obtaining this output) controlled by the noise intensity.
    [Show full text]
  • Voltage Controlled Memristor Threshold Logic Gates, 2016 IEEE APCCAS, Jeju, Korea, October 25-28, 2016
    A. Maan, A. P. James, Voltage Controlled Memristor Threshold Logic Gates, 2016 IEEE APCCAS, Jeju, Korea, October 25-28, 2016 Voltage Controlled Memristor Threshold Logic Gates Akshay Kumar Maan Alex Pappachen James Queensland Microelectronic Facility School of Engineering, Nazabayev University Griffith University Astana, Kazakhastan Queensland 4111, Australia Web: www.biomicrosystems.info/alex Email: [email protected] Email: [email protected] Abstract—In this paper, we present a resistive switching weights to the inputs, while the CMOS inverter behaves as memristor cell for implementing universal logic gates. The cell a threshold logic device. The weights are programmed via has a weighted control input whose resistance is set based on a the resistive switching phenomenon of the memristor device. control signal that generalizes the operational regime from NAND We show that resistive switching makes it possible to use the to NOR functionality. We further show how threshold logic in same cell architecture to work in the NAND, NOR or XOR the voltage-controlled resistive cell can be used to implement a configuration, and can be implemented in a programmable XOR logic. Building on the same principle we implement a half adder and a 4-bit CLA (Carry Look-ahead Adder) and show array architecture. We hypothesise that if such circuits are that in comparison with CMOS-only logic, the proposed system developed in silicon that can be programmed and reused to shows significant improvements in terms of device area, power generate different logic gate functionalities, we will be able to dissipation and leakage power. move a step closer towards the development of low power and large scale threshold logic applications.
    [Show full text]
  • 1 Novel Reconfigurable Logic Gates Using Spin Metal-Oxide
    Novel Reconfigurable Logic Gates Using Spin Metal-Oxide-Semiconductor Field-Effect Transistors Satoshi Sugahara1, 2*, Tomohiro Matsuno1, and Masaaki Tanaka1,2** 1 Department of Electronic Engineering, The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656, Japan 2 PRESTO, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi 332-0012, Japan We propose and numerically simulate novel reconfigurable logic gates employing spin metal-oxide-semiconductor field-effect transistors (spin MOSFETs). The output characteristics of the spin MOSFETs depend on the relative magnetization configuration of the ferromagnetic contacts for the source and drain, that is, high current-drive capability in the parallel magnetization and low current-drive capability in the antiparallel magnetization [S. Sugahara and M. Tanaka: Appl. Phys. Lett. 84 (2004) 2307]. A reconfigurable NAND/NOR logic gate can be realized by using a spin MOSFET as a driver or an active load of a complimentary MOS (CMOS) inverter with a neuron MOS input stage. Its logic function can be switched by changing the relative magnetization configuration of the ferromagnetic source and drain of the spin MOSFET. A reconfigurable logic gate for all symmetric Boolean functions can be configured using only five CMOS inverters including four spin MOSFETs. The operation of these reconfigurable logic gates was confirmed by numerical simulations using a simple device model for the spin MOSFETs. KEYWORDS: spintronics, spin transistor, spin MOSFET, reconfigurable logic, FPGA *E-mail address: [email protected] **E-mail address: [email protected] 1 1 Introduction The area of spintronics (or spin electronics) in which uses not only charge transport of electrons but also the spin degree of freedom of electrons is used has generated much interest in recent years.
    [Show full text]
  • Switching Theory and Logic Design
    SWITCHING THEORY AND LOGIC DESIGN LECTURE NOTES B.TECH (II YEAR – II SEM) (2018-19) Prepared by: Ms M H Bindu Reddy, Assistant Professor Department of Electrical & Electronics Engineering MALLA REDDY COLLEGE OF ENGINEERING & TECHNOLOGY (Autonomous Institution – UGC, Govt. of India) Recognized under 2(f) and 12 (B) of UGC ACT 1956 (Affiliated to JNTUH, Hyderabad, Approved by AICTE - Accredited by NBA & NAAC – ‘A’ Grade - ISO 9001:2015 Certified) Maisammaguda, Dhulapally (Post Via. Kompally), Secunderabad – 500100, Telangana State, India SYLLABUS UNIT -I: Number System and Gates: Number Systems, Base Conversion Methods, Complements of Numbers, Codes- Binary Codes, Binary Coded Decimal Code and its Properties, Excess-3 code, Unit Distance Code, Error Detecting and Correcting Codes, Hamming Code.Digital Logic Gates, Properties of XOR Gates, Universal Logic Gates. UNIT -II: Boolean Algebra and Minimization: Basic Theorems and Properties, Switching Functions, Canonical and Standard Forms,Multilevel NAND/NOR realizations. K- Map Method, up to Five variable K- Maps, Don’t Care Map Entries, Prime and Essential prime Implications, Quine Mc Cluskey Tabular Method UNIT -III: Combinational Circuits Design: Combinational Design, Half adder,Fulladder,Halfsubtractor,Full subtractor,Parallel binary adder/subtracor,BCD adder, Comparator, decoder, Encoder, Multiplexers, DeMultiplexers, Code Converters. UNIT -IV: Sequential Machines Fundamentals: Introduction, Basic Architectural Distinctions between Combinational and Sequential circuits, classification of sequential circuits, The binary cell, The S-R- Latch Flip-Flop The D-Latch Flip-Flop, The “Clocked T” Flip-Flop, The “ Clocked J-K” Flip-Flop, Design of a Clocked Flip-Flop, Conversion from one type of Flip-Flop to another, Timing and Triggering Consideration. UNIT -V: Sequential Circuit Design and Analysis: Introduction, State Diagram, Analysis of Synchronous Sequential Circuits, Approaches to the Design of Synchronous Sequential Finite State Machines, Design Aspects, State Reduction, Design Steps, Realization using Flip-Flops.
    [Show full text]
  • Combinational Logic Circuits
    CHAPTER 4 COMBINATIONAL LOGIC CIRCUITS ■ OUTLINE 4-1 Sum-of-Products Form 4-10 Troubleshooting Digital 4-2 Simplifying Logic Circuits Systems 4-3 Algebraic Simplification 4-11 Internal Digital IC Faults 4-4 Designing Combinational 4-12 External Faults Logic Circuits 4-13 Troubleshooting Prototyped 4-5 Karnaugh Map Method Circuits 4-6 Exclusive-OR and 4-14 Programmable Logic Devices Exclusive-NOR Circuits 4-15 Representing Data in HDL 4-7 Parity Generator and Checker 4-16 Truth Tables Using HDL 4-8 Enable/Disable Circuits 4-17 Decision Control Structures 4-9 Basic Characteristics of in HDL Digital ICs M04_WIDM0130_12_SE_C04.indd 136 1/8/16 8:38 PM ■ CHAPTER OUTCOMES Upon completion of this chapter, you will be able to: ■■ Convert a logic expression into a sum-of-products expression. ■■ Perform the necessary steps to reduce a sum-of-products expression to its simplest form. ■■ Use Boolean algebra and the Karnaugh map as tools to simplify and design logic circuits. ■■ Explain the operation of both exclusive-OR and exclusive-NOR circuits. ■■ Design simple logic circuits without the help of a truth table. ■■ Describe how to implement enable circuits. ■■ Cite the basic characteristics of TTL and CMOS digital ICs. ■■ Use the basic troubleshooting rules of digital systems. ■■ Deduce from observed results the faults of malfunctioning combina- tional logic circuits. ■■ Describe the fundamental idea of programmable logic devices (PLDs). ■■ Describe the steps involved in programming a PLD to perform a simple combinational logic function. ■■ Describe hierarchical design methods. ■■ Identify proper data types for single-bit, bit array, and numeric value variables.
    [Show full text]
  • Episode 4.04 – NAND, NOR, and Exclusive-NOR Logic
    Episode 4.04 – NAND, NOR, and Exclusive-NOR Logic Welcome to the Geek Author series on Computer Organization and Design Fundamentals. I’m David Tarnoff, and in this series we are working our way through the topics of Computer Organization, Computer Architecture, Digital Design, and Embedded System Design. If you’re interested in the inner workings of a computer, then you’re in the right place. The only background you’ll need for this series is an understanding of integer math, and if possible, a little experience with a programming language such as Java. And one more thing. Our topics involve a bit of figuring, so it might help to keep a pencil and paper handy. Did Benjamin Franklin mess things up? There are some who say he did. Back in Ben’s day, people believed that the phenomenon of electricity was due to the interaction of two fluids flowing towards one another in an effort to cancel each other out. Ben proposed a single fluid theory suggesting that the flow was from an excess of fluid to an absence of fluid. We won’t get into how it was fashionable at the time to prove these theories by sending electrical charges through human chains and rate each individual’s level of pain. Let’s just say that there was no dual fluid canceling happening.1 In his single fluid theory, Benjamin Franklin used the term “positive” to describe an excess of fluid and “negative” to describe an absence of fluid.2 As any present-day physics student can tell you, while current flows “down” from positive to negative, what’s actually doing the flowing are the negatively charged electrons, not some invisible fluid.
    [Show full text]
  • Design and Simulation of V&Pl Submodules Using Nand And
    DESIGN AND SIMULATION OF V&PL SUBMODULES USING NAND AND NOR GATE H.Hasim, Syirrazie CS Instrumentation and Automation Center, Technical Support Division, Malaysia Nuclear Agensi 43000, Bangi, Kajang, Selangor Abstract Digital Integarted Circuit(IC) design is an alternative to current analog IC design. Both have vise verse advan- tages and disadvantages. This paper investigate and compare sub-modules of voting and protecting logic (V&PL) using only two input either NAND gate(74LS00) or NOR gate (74LS02). On the previous research, V&PL sub- module are mixed of six input NOR gate, 2 input AND gate, and Inverter. The result show a complexity of circuity and difficulty of finding six input NOR gate. We extend this analysis by comparable of less complexity of PMOS and NMOS used in NAND and NOR gate as V&PL sub-module, less time propagation delay, with high frequency and less total nombor of transistor used. Kanaugh map minimizer, logisim, and LTSpice used to design and develop of V&PL sub-module Complementary Metal Oxide Semiconductor(CMOS) NAND and NOR gate.Result show that, propagation delay of NAND gate is less with high frequency than NOR gate. Keywords: CMOS, NOR gate, NAND gate, Voting and Protecting Logic(V&PL) 1 Introduction One of the key challenges in IC design is making used of transistor. Transistor can be either biasing and funtion as amplifier or operated in saturated and cut-off region. To be digitalize, transistor will operated in saturated and cut-off region. The saturated region is when the flat or staedy-state amount of voltage throught out of time while in cut-off region it is approximately zeros volt.
    [Show full text]
  • 1- AND-OR Logic
    ELECTRICAL 2ND YEAR SUBJECT- DIGITAL ELECTONICS AND MICROPROCESSOR DATE -29-04-2020 TIME 9:40-10:30 COMBINATIONAL LOGIC ANALISIS 1- AND-OR Logic AND-OR circuit consisting of two 2-input AND gates and one 2-input OR gate; Fig.(6-1)(b) is the ANSI standard rectangular outline symbol. The Boolean expressions for the AND gate outputs and the resulting SOP expression for the output X are shown in the diagram. In general, all AND-OR circuit can have any number of AND gates each with any number of inputs. The truth table for a 4-input AND-OR logic circuit is shown in Table 6-1. The intermediate AND gate outputs ( AB and CD columns) are also shown in the table. (a) Logic diagram (b) ANSI standard rectangular outline symbol. Fig.(6-1) For a 4-input AND-OR logic circuit, the output X is HIGH (1) if both input A and input B are HIGH (1) or both input C and input D are HIGH (1). 2- AND-OR-Invert Logic When the output of an AND-OR circuit is complemented (inverted), it results in an AND-OR-Invert circuit. Recall that AND-OR logic directly implements SOP expressions. POS expressions can be implemented with AND-OR-Invert logic. This is illustrated as follows, starting with a POS expression and developing the corresponding AND-OR-Invert expression. Table 6-1 Fig.(6-2) For a 4-input AND-OR-Invert logic circuit, the output X is LOW (0) if both input A and input B are HIGH (1) or both input C and input D are HIGH (1).
    [Show full text]
  • Covert Gates: Protecting Integrated Circuits with Undetectable Camouflaging
    Covert Gates: Protecting Integrated Circuits with Undetectable Camouflaging Bicky Shakya, Haoting Shen, Mark Tehranipoor and Domenic Forte ECE Department, University of Florida [email protected],{htshen,tehranipoor,dforte}@ece.ufl.edu Abstract. Integrated circuit (IC) camouflaging has emerged as a promising solution for protecting semiconductor intellectual property (IP) against reverse engineering. Existing methods of camouflaging are based on standard cells that can assume one of many Boolean functions, either through variation of transistor threshold voltage or contact configurations. Unfortunately, such methods lead to high area, delay and power overheads, and are vulnerable to invasive as well as non-invasive attacks based on Boolean satisfiability/VLSI testing. In this paper, we propose, fabricate, and demonstrate a new cell camouflaging strategy, termed as ‘covert gate’ that leverages doping and dummy contacts to create camouflaged cells that are indistinguishable from regular standard cells under modern imaging techniques. We perform a comprehensive security analysis of covert gate, and show that it achieves high resiliency against SAT and test-based attacks at very low overheads. We also derive models to characterize the covert cells, and develop measures to incorporate them into a gate-level design. Simulation results of overheads and attacks are presented on benchmark circuits. Keywords: IP Protection · Camouflaging · Reverse Engineering · SEM Imaging · ATPG · SAT 1 Introduction Reverse engineering of integrated circuits (ICs) is a common practice in the semiconductor industry. It is routinely used for (i) failure analysis, defect identification, and fault diagnosis, (ii) detection of counterfeit ICs and (iii) analysis of competitor IP (e.g., technology node or process analysis, and checking whether patents were infringed) [TJ07][TJ11].
    [Show full text]
  • Comparative Study of Various Gates Based in Different Technologies
    International Robotics & Automation Journal Review Article Open Access Comparative study of various gates based in different technologies Abstract Volume 3 Issue 1 - 2017 This paper provides the comparative study among various fabrication technologies for the same logical circuits based on NAND gate. The tool used for this analysis Sanobar Chouhan,1 Saurabh Chaudhary,1 is Tanner which is an EDA tool and used for full custom designing of electronic Tarun Upadhay,1 Ajay Rupani,1 Pawan Whig2 circuits. The NAND gate is formed by CMOS only. The different technologies give 1Scholars, Jodhpur Institute of Engineering and Technology, India varied output parameters with given input parameters. Hence, the main utilization 2Vivekananda Institute of Professional Studies, India of this study is to opt best suited technology for particular output parameter ranges for specified input parameter ranges for different applications based on logical gates. Correspondence: Pawan Whig, Vivekananda Institute of The conventional device generally used, consumes high power and is not stable with Professional Studies, India, Email frequency variations. Therefore, a comparative analysis using different technologies is proposed, which has been useful for designing optimal conventional logics. The Received: July 22, 2017 | Published: September 22, 2017 study is based on simulation of power consumption, noise analysis and frequency compensation technique of different gates. Keywords: logical circuits, fabrication, tanner, CMOS Introduction Different technologies and why are defined by length of transistor The logic gates are electronic devices which produces logical output on basis of given one or more input.1,2 Application of logic gates The different technologies are predefined manufacturing includes from small decision making devices, big calculating devices parameters of electronics elements used for simulation and designing to huge super computers.3,4 There are many logic gates to implement of circuits.
    [Show full text]