Designing Information Devices and Systems II Spring 2018 J. Roychowdhury and M. Maharbiz Discussion 1A

Similar documents
Designing Information Devices and Systems II Fall 2017 Miki Lustig and Michel Maharbiz Homework 1. This homework is due September 5, 2017, at 11:59AM.

E40M. Binary Numbers. M. Horowitz, J. Plummer, R. Howe 1

Field-Effect (FET) transistors

Switches: basic element of physical implementations

Learning Objectives 10/7/2010. CE 411 Digital System Design. Fundamental of Logic Design. Review the basic concepts of logic circuits. Dr.

Gates and Flip-Flops

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Floating Point Representation and Digital Logic. Lecture 11 CS301

CPE100: Digital Logic Design I

Designing Information Devices and Systems II Spring 2016 Anant Sahai and Michel Maharbiz Homework 5. This homework is due February 29, 2016, at Noon.

EECS Variable Logic Functions

2. BOOLEAN SWITCHING ALGEBRA

ECE 342 Electronic Circuits. Lecture 34 CMOS Logic

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

Lecture 6: Time-Dependent Behaviour of Digital Circuits

Introduction to Computer Engineering ECE 203

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Name: Grade: Q1 Q2 Q3 Q4 Q5 Total. ESE370 Fall 2015

Designing Information Devices and Systems II Spring 2016 Anant Sahai and Michel Maharbiz Midterm 2

. T SHREE MAHAPRABHU PUBLIC SCHOOL & COLLEGE NOTES FOR BOARD EXAMINATION SUBJECT COMPUTER SCIENCE (Code: 083) Boolean Algebra

CSE 20 DISCRETE MATH. Fall

School of Computer Science and Electrical Engineering 28/05/01. Digital Circuits. Lecture 14. ENG1030 Electrical Physics and Electronics

LOGIC GATES. Basic Experiment and Design of Electronics. Ho Kyung Kim, Ph.D.

CARNEGIE MELLON UNIVERSITY DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING DIGITAL INTEGRATED CIRCUITS FALL 2002

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.

Digital Logic (2) Boolean Algebra

CS 226: Digital Logic Design

Combinational Logic. Review of Combinational Logic 1

Chapter 2 Combinational Logic Circuits

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

Digital Electronics I

10/14/2009. Reading: Hambley Chapters

EE 330 Lecture 6. Improved Switch-Level Model Propagation Delay Stick Diagrams Technology Files

L2: Combinational Logic Design (Construction and Boolean Algebra)

Circuits & Boolean algebra.

Intro To Digital Logic

Implementation of Boolean Logic by Digital Circuits

Building a Computer Adder

Lecture 12 Digital Circuits (II) MOS INVERTER CIRCUITS

CSE140: Components and Design Techniques for Digital Systems. Introduction. Instructor: Mohsen Imani

Unit 4: Computer as a logic machine

Announcements. EE105 - Fall 2005 Microelectronic Devices and Circuits. Lecture Material. MOS CV Curve. MOSFET Cross Section

ECE 546 Lecture 10 MOS Transistors

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture)

Fig. 1 CMOS Transistor Circuits (a) Inverter Out = NOT In, (b) NOR-gate C = NOT (A or B)

Chapter 2 Combinational Logic Circuits

Digital Integrated Circuits A Design Perspective

Digital Logic: Boolean Algebra and Gates. Textbook Chapter 3

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits

EEC 118 Lecture #6: CMOS Logic. Rajeevan Amirtharajah University of California, Davis Jeff Parkhurst Intel Corporation

Digital Logic Design. Midterm #2

Lecture 2 Review on Digital Logic (Part 1)

Combinational logic. Possible logic functions of two variables. Minimal set of functions. Cost of different logic functions.

EE141Microelettronica. CMOS Logic

Sample Test Paper - I

EE 330 Lecture 16. MOSFET Modeling CMOS Process Flow

Digital Logic. CS211 Computer Architecture. l Topics. l Transistors (Design & Types) l Logic Gates. l Combinational Circuits.

SAMPLE EXAMINATION PAPER

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra

CMPEN 411 VLSI Digital Circuits Spring 2011 Lecture 07: Pass Transistor Logic

We are here. Assembly Language. Processors Arithmetic Logic Units. Finite State Machines. Circuits Gates. Transistors

EECE 202 (Network I) & EECE 208 (Lab)

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Introduction: Op-amps in Negative Feedback

Logic Gates and Boolean Algebra

CSC258: Computer Organization. Digital Logic: Transistors and Gates

Computer organization

CIRCUITS AND ELECTRONICS. The Digital Abstraction

Gates and Logic: From switches to Transistors, Logic Gates and Logic Circuits

Cs302 Quiz for MID TERM Exam Solved

DIGITAL LOGIC CIRCUITS

Lecture 21: Boolean Logic. To Wrap up AVR

Topic 4. The CMOS Inverter

MA 3260 Lecture 10 - Boolean Algebras (cont.) Friday, October 19, 2018.

Electrical Circuits. Winchester College Physics. makptb. c D. Common Time man. 3rd year Revision Test

Chapter 1: Logic systems

Lecture 12 Circuits numériques (II)

Propositional Logic: Equivalence

E40M Capacitors. M. Horowitz, J. Plummer, R. Howe

MOS Transistor. EE141-Fall 2007 Digital Integrated Circuits. Review: What is a Transistor? Announcements. Class Material

Experiment 7: Magnitude comparators

DC and Transient Responses (i.e. delay) (some comments on power too!)

Computer Organization: Boolean Logic

UNSIGNED BINARY NUMBERS DIGITAL ELECTRONICS SYSTEM DESIGN WHAT ABOUT NEGATIVE NUMBERS? BINARY ADDITION 11/9/2018

MOS Inverters. Digital Electronics - INEL Prof. Manuel Jiménez. With contributions by: Rafael A. Arce Nazario

Z = F(X) Combinational circuit. A combinational circuit can be specified either by a truth table. Truth Table

EECS 312: Digital Integrated Circuits Midterm Exam 2 December 2010

ENGG 1203 Tutorial_9 - Review. Boolean Algebra. Simplifying Logic Circuits. Combinational Logic. 1. Combinational & Sequential Logic

Combinational Logic. By : Ali Mustafa

University of California at Berkeley College of Engineering Department of Electrical Engineering and Computer Sciences

Chapter 2. Digital Logic Basics

Fundamentals of Digital Design

Digital Logic Design: a rigorous approach c

ECE/CS 250 Computer Architecture

Hakim Weatherspoon CS 3410 Computer Science Cornell University

What is Binary? Digital Systems and Information Representation. An Example. Physical Representation. Boolean Algebra

Binary Logic and Gates. Our objective is to learn how to design digital circuits.

ECE 250 / CPS 250 Computer Architecture. Basics of Logic Design Boolean Algebra, Logic Gates

Lecture A: Logic Design and Gates

Lecture 9: Digital Electronics

Transcription:

EEC 16B esigning Information evices and ystems II pring 2018 J. Roychowdhury and M. Maharbiz iscussion 1A 1 igit Bases (N) p is used to indicate that the number N is expressed in base p. For example, (N) 2 means that we are working in base 2 and (N) 10 means N is expressed in base 10, or decimal digits. For example, (245) 10 = 2 10 2 + 4 10 1 + 5 10 0 (11010) 2 = 1 2 4 + 1 2 3 + 0 2 2 + 1 2 1 + 0 2 0 2 Boolean Algebra In Boolean algebra, true statements are denoted 1 and false statements are denoted 0. A Boolean function acts on a set of these Boolean values and outputs a set of Boolean values (usually just one). The most common Boolean operators used are NOT, AN, OR, and XOR. 2.1 NOT NOT is a Boolean function that takes in one Boolean value and outputs its negation. Let x be a Boolean variable. NOT(x) is denoted as x. The truth table of NOT is: 2.2 AN x x 0 1 1 0 AN is a Boolean function that takes in two Boolean values and outputs 1 if both the values are true. Let x and y be two Boolean variables. AN(x,y) is denoted as x y. The truth table of AN is: 2.3 OR x y x y 0 1 0 1 0 0 OR is a Boolean function that takes in two Boolean values and outputs 1 if at least one of the values is true. Let x and y be two Boolean variables. OR(x,y) is denoted as x + y. The truth table of OR is: EEC 16B, pring 2018, iscussion 1A 1

x y x + y 0 1 1 1 0 1 2.4 XOR XOR is a Boolean function that takes in two Boolean values and outputs 1 if exactly one of the values is true. Let x and y be two Boolean variables. XOR(x,y) is denoted as x y. The truth table of XOR is: x y x y 0 1 1 1 0 1 1 1 0 3 e Morgan s Law e Morgan s Law is stated as follows. Let x and y be two Boolean variables. Then, x y = x + y x + y = x y 4 Boolean Formulae and Natural Numbers We can represent natural numbers with a Boolean function that evaluates to 1 if and only if its inputs match the binary representation of that numbers. For example, say we want to find a binary function f that returns true if the input is (11) 10. The first thing to note is that (11) 10 = (1011) 2. Then, define f (b 3,b 2,b 1,b 0 ), where b 3,b 2,b 1,b 0 are Boolean variables such that b i represents the i th digit in binary representation, as follows. Note that f is true if the input is (11) 10 in base 2. f (b 3,b 2,b 1,b 0 ) = b 3 b 2 b 1 b 0 5 Transistor Introduction Transistors (as presented in this course) are 3 terminal, voltage controlled switches. This means that, when a transistor is on, it connects the ource () and rain () terminals via a low resistance path (short circuit). When a transistor is off, the ource and rain terminals are disconnected (open circuit). Two common types of transistors are NMO and PMO transistors. Their states (shorted or open) are determined by the voltage difference across the ate () and ource () terminals, compared to a threshold EEC 16B, pring 2018, iscussion 1A 2

voltage. Transistors are extremely useful in digital logic design since we can implement Boolean logic operators using switches. iven that V tn and V t p are the threshold voltages for the NMO and PMO transistors, respectively, the figures below depict the closing conditions for these switches. It s important to note that V tn is generally positive and that V t p is negative. V V tn Figure 1: NMO Transistor V V t p Figure 2: PMO Transistor Transistors can be strung together to perform boolean algebra. For example, the following circuit is called an inverter and represents a NOT gate. V V in V out Figure 3: CMO Inverter When the input is high (V in V tn, V in V +V t p ), then the NMO transistor is on, the PMO transistor is off, and V out = 0. When the input is low (V in V tn, V in V +V t p ), the NMO transistor is off, the PMO transistor is on, and V out = V. When working with digital circuits like the one above, we usually only consider the values of V in = 0,V. This yields the following truth table: V in V out NMO PMO V 0 on off 0 V off on If you think of V being a logical 1 and 0V being a logical 0, we have just created the most elementary logical operation using transistor circuits! EEC 16B, pring 2018, iscussion 1A 3

5.1 Resistor witch Model In the real world, transistors don t actually behave as perfect switches. Transistors have a small amount of resistance in the on state. This can be represented by a resistor in our transistor switch model. V V tn R n Figure 4: NMO Transistor Resistor-switch model V V t p R p Figure 5: PMO Transistor Resistor-switch model 1. Transistor Introduction (a) Assume that the voltage range is from ground to V. If the ource of an NMO is connected to V, would the switch ever close? What if it is connected to ground? If the ource is connected to V and V tn 0, then the NMO switch will never close. If ource is connected to round, then V V tn is sufficient to close the switch. This is why in digital logic design, the source of a NMO is usually connected to round, or there is a low resistance path from ource to round. (b) Assume that the voltage range is from ground to V. If the ource of a PMO is connected to V, would the switch ever turn on? What if it is connected to ground? If the ource is connected to round and V t p 0, then the PMO switch will never close. If the ource is connected to V, then V V V t p is sufficient to close the switch. This is why in digital logic design, the ource of a PMO is usually connected to V, or there is a low resistance path from the ource to V. 2. igit Bases (a) Express (14) 10 with binary encoding (or in base 2). (1110) 2 (b) iven k binary digits, what is the largest number you can express? (2 k 1) 10 EEC 16B, pring 2018, iscussion 1A 4

3. Boolean Formulae And Natural Numbers (a) Express an integer, (1) 10, with a Boolean formula f, which includes only one Boolean variable B 0. f = B 0 (b) Express an integer (0) 10 with a Boolean formula g, which includes only one Boolean variable B 0. g = B 0 (c) Express an integer (19) 10, with a Boolean formula h, with 5 Boolean variables, B 0,B 1,B 2,B 3 and B 4. h = B 4 B 3 B 2 B 1 B 0 (d) iven a natural number (N) 10, how many Boolean variables do we need? How do we express it in terms of a Boolean formula? log 2 N + 1 4. e Morgan s Laws (a) Write the truth table for C = A B. A B Out 0 1 0 1 0 0 (b) Flip all the Boolean values in the truth table you just made. What is the resulting Boolean expression represented by the flipped truth table? o you need an AN to represent this? A B Out 1 0 1 0 1 1 You should see that given A and B, the output will be the result of an OR operation. From this, we see that A B = A + B. This is one of the equality relations shown by e Morgan s Laws. (c) Now, let s similarly convert = A B. First, write out A B using only NOTs, ORs, and ANs. There are many ways to write this. One way is A B = (A B) + (A B). (d) From the expression you just made, use the rule you learned in part (b) to remove the ANs. (A B) + (A B) = A + B + A + B EEC 16B, pring 2018, iscussion 1A 5

(e) Was there something special about OR vs. AN? Using only NOTs and ANs, rewrite the expression = A B. (A B) + (A B) = A B A B Contributors: iddharth Iyer. aavan Patel. eborah oung. EEC 16B, pring 2018, iscussion 1A 6