Properties of Real-World Digital Logic Diagrams Christine Alvarado, Harvey Mudd College Michael Lazzareschi, Pomona College May 24, 2007.

Slides:



Advertisements
Similar presentations
Chapter 4 Gates and Circuits.
Advertisements

Logic Gates.
Gates and Circuits Nell Dale & John Lewis (adaptation by Erin Chambers and Michael Goldwasser)
Chapter 4 Gates and Circuits.
Digital Circuits. Review – Getting the truth table The first step in designing a digital circuit usually is to get the truth table. That is, for every.
Digital Electronics Dan Simon Cleveland State University ESC 120 Revised December 30, 2010.
08/07/041 CSE-221 Digital Logic Design (DLD) Lecture-8:
Chapter 4 Gates and Circuits.
DIGITAL DESIGN WITH VHDL Exercise 1 1Muhammad Amir Yousaf.
Homework 2 Due 28 th May Implement This Function using 1)a 3-to-8 Line Decoder (with OR gates) 2) a 3-to-8 Line Active Low Decoder (with NAND gates)
Chapter 3 Digital Logic Structures. Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 3-2 Building Functions.
Digital Logic Lecture 08 By Amr Al-Awamry. Combinational Logic 1 A combinational circuit consists of an interconnection of logic gates. Combinational.
Lecture 3. Boolean Algebra, Logic Gates Prof. Sin-Min Lee Department of Computer Science 2x.
Chapter 4 Gates and Circuits. 4–2 Chapter Goals Identify the basic gates and describe the behavior of each Describe how gates are implemented using transistors.
Sketch Recognition for Digital Circuit Diagrams in the Classroom Christine Alvarado Harvey Mudd College March 26, 2007 Joint work with the HMC Sketchers.
Chapter 4 Gates and Circuits.
Combinational Logic Design CS341 Digital Logic and Computer Organization F2003.
Module 3.  Binary logic consists of :  logic variables  designated by alphabet letters, e.g. A, B, C… x, y, z, etc.  have ONLY 2 possible values:
Chapter 4 Gates and Circuits.
CPS120: Introduction to Computer Science
Artificial Intelligence Building Knowledge Base Chapter 8.
Digital Components and Combinational Circuits Sachin Kharady.
What is an And Gate? It is a digital circuit that produce logical operations The logical operations are call Boolean logical Boolean operation consist.
Digital Logic Structures: Chapter 3 COMP 2610 Dr. James Money COMP
Lecture 9 Topics: –Combinational circuits Basic concepts Examples of typical combinational circuits –Half-adder –Full-adder –Ripple-Carry adder –Decoder.
Combining geometry and domain knowledge to interpret hand-drawn diagrams As Presented By: Andrew Campbell Christopher Dahlberg.
Exclusive OR Gate. Logically, the exclusive OR (XOR) operation can be seen as either of the following operations:exclusive OR (XOR) 1. A AND NOT B OR.
1 Ethics of Computing MONT 113G, Spring 2012 Session 5 Binary Addition.
Karnaugh Maps Ellen Spertus MCS 111 September 2, 2003.
Logic Gates. AND gate Produces an output only if both inputs are on Input AInput BOutput (Q) Q=
How does a Computer Add ? Logic Gates within chips: AND Gate A B Output OR Gate A B Output A B A B
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Logic Design Dr. Oliver Faust.
Digital electronics 4–1 Gates and Circuits SANJAYBHAI RAJGURU COLLEGE OF ENGG.
Making Research Tools Accessible for All AI Students Zach Dodds, Christine Alvarado, and Sara Sood Though a compelling area of research with many applications,
4–1. BSCS 5 th Semester Introduction Logic diagram: a graphical representation of a circuit –Each type of gate is represented by a specific graphical.
LOGIC CIRCUITLOGIC CIRCUIT. Goal To understand how digital a computer can work, at the lowest level. To understand what is possible and the limitations.
L OGIC G ATES Computer Organization – week 3. W HAT ’ S ALU? 1. ALU stands for: Arithmetic Logic Unit 2. ALU is a digital circuit that performs Arithmetic.
Basic Gates and ICs 74LS00 Quad 2-Input NAND gate 74LS02 Quad 2-Input NOR gate 74LS04 Quad 2-Input NOT gate 74LS08 Quad 2-Input AND gate 74LS32 Quad 2-Input.
Logic Gates Learning Objectives Learn that there is a one-to-one relationship between logic gates and Boolean expressions Learn how logic gates are combined.
Dr.Ahmed Bayoumi Dr.Shady Elmashad
ECE 3130 Digital Electronics and Design
ECE 3130 Digital Electronics and Design
Logic What is logic? Logic is the name given to an electronic component which will monitor a number of inputs and give an output depending on them Input.
Circuits Logic in Hardware.
EI205 Lecture 5 Dianguang Ma Fall 2008.
Exclusive OR Gate.
Digital Components and Combinational Circuits
XOR, XNOR, and Binary Adders
Chapter 4 Gates and Circuits.
CS105 Introduction to Computer Concepts GATES and CIRCUITS
Logic operations.
Schematics 201 Lecture Topic: Electrical Symbols
XOR, XNOR, & Binary Adders
Boolean Algebra.
Week 7: Gates and Circuits: PART II
Transistors to Gates Transistors to Gates Gateway To Technology
Logic operations.
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
Logic Gates.
DIGITAL ELECTRONICS B.SC FY
Combinational Circuits
XOR Function Logic Symbol  Description  Truth Table 
LOGIC Circuits.
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
ECE 3130 Digital Electronics and Design
Combinational Circuits
Digital Circuits.
XOR, XNOR, and Binary Adders
Logic Gates AIM: To know the different types of logic gate
Introduction to Logic diagrams and truth tables
Presentation transcript:

Properties of Real-World Digital Logic Diagrams Christine Alvarado, Harvey Mudd College Michael Lazzareschi, Pomona College May 24, 2007

Problem: Design a 1-bit full adder

CinBACoutSum Correct! AND-2 XOR-2 OR-2

Disconnect between Sketching and Simulation "Most of the time the lab was more about battling Xilinx than actually learning anything useful" –HMC, E85 student

Bridging the Gap Between Sketching and Simulation Students should think about what they draw not how they draw it Few drawing restrictions + robust recognition requires understanding of natural drawing style

Seamless Integration? Goal: Recognize the sketches students already draw Problem: Sketch recognition is hard! noise in the sketch ambiguous shape boundaries

Drawing Style Restrictions One stroke/symbol (i.e., gesture-based input) Pause between symbols Symbols contain temporally contiguous strokes Are these restrictions natural?

Our study Data collection: Problem sets, notes labs from digital design class Drawn in Windows Journal (no recognition) Measured: Number of strokes per symbol Pause time between symbols Stroke order

Dataset 98 digital circuit diagrams extracted from 13 students' notes, problem sets and labs Stroke: time-ordered set of points (x, y, time) Diagram: time-ordered set of strokes

Dataset: Labeling A wireANDORNOTNANDNORXORlabel Digital Logic Symbols NAND label other wire

Results: Stroke Order Individual range: 70% - 96% AND NAND

Stroke Order: Qualitative Results Two patterns of non-consecutive strokes: Touch-up stroke Two-part gate drawing (particularly NAND gates)

Results: Stroke Timing

Stroke Timing: Best Threshold Error

Results: Strokes Per Symbol AND Gates Students use a range of drawing patterns Some students consistent, some inconsistent

Results: Strokes per Symbol AND vs. NOT AND NOT

Results: Strokes per Symbol wires Most wires drawn with 1 stroke… …yet some students > 5 strokes

Implications for Sketch Recognition Systems Pause time can aid stroke grouping Alone, it is not sufficient, but… …users might be willing to adapt their drawing style to increase pause time Recognition systems should not assume temporally contiguous strokes New recognition task: Identify touch-up strokes

Implications for Sketch Recognition Systems (2) Symbol recognizers must incorporate a wide range of drawing styles Stroke-based recognition schemes will be difficult User-specific learning is essential to recognition Pause time Consistency Number of strokes per symbol Stroke order

Future work Analyze additional domains Front End Circuit Recognition and Translation Simulation (Xilinx) Verilog file hand-drawn sketch Incorporate knowledge into recognition system design

Questions?