Www.eej.ulster.ac.uk/~ian/modules/EEE515J1/ EEE515J1_L5-1/8 EEE515J1 ASICs and DIGITAL DESIGN Designing FSMs Ian McCrumRoom 5D03B Tel: 90 366364 voice.

Slides:



Advertisements
Similar presentations
Sequential Logic ENEL 111. Sequential Logic Circuits So far we have only considered circuits where the output is purely a function of the inputs With.
Advertisements

EEE515J1_L3-1/55 EEE515J1 ASICs and DIGITAL DESIGN Ian McCrumRoom 5D03B Tel: voice mail on 6 th ring.
Sequential Circuits1 DIGITAL LOGIC DESIGN by Dr. Fenghui Yao Tennessee State University Department of Computer Science Nashville, TN.
Sequential Logic Flip Flops Lecture 4.
1 © 2014 B. Wilkinson Modification date: Dec Sequential Logic Circuits – I Flip-Flops A sequential circuit is a logic components whose outputs.
ECE 331 – Digital System Design Introduction to and Analysis of Sequential Logic Circuits (Lecture #20) The slides included herein were taken from the.
The Control Unit: Sequencing the Processor Control Unit: –provides control signals that activate the various microoperations in the datapath the select.
Embedded Systems Hardware:
ENEE 408C Lab Capstone Project: Digital System Design Fall 2005 Sequential Circuit Design.
Embedded Systems Hardware: Storage Elements; Finite State Machines; Sequential Logic.
M.S.P.V.L. Polytechnic College, Pavoorchatram
ECE 301 – Digital Electronics Introduction to Sequential Logic Circuits (aka. Finite State Machines) and FSM Analysis (Lecture #17)
ECE 331 – Digital Systems Design Introduction to Sequential Logic Circuits (aka. Finite State Machines) and FSM Analysis (Lecture #19)
Sequential Circuit  It is a type of logic circuit whose output depends not only on the present value of its input signals but on the past history of its.
Counters  A counter is a device which stores (and sometimes displays) the number of times a particular event or process has occurred, often in relationship.
CHAPTER 3 Counters.  One of the common requirement in digital circuits/system is counting, both direction (forward and backward)  Digital clocks and.
A presentation on Counters
Asynchronous Counters
A State Element “Zoo”.
Chapter 1_4 Part II Counters
Asynchronous Counter © 2014 Project Lead The Way, Inc.Digital Electronics.
EE345: Introduction to Microcontrollers Register and Counters Prof. Ahmad Abu-El-Haija.
Dr. H.v.d.Biggelaar / Mar3-Ver2 / 1 Engineering Technology Dr. H.v.d.Biggelaar March 22, 2000 State Machines in VHDL.
ENGSCI 232 Computer Systems Lecture 5: Synchronous Circuits.
COE 202: Digital Logic Design Sequential Circuits Part 1
Chapter 5 - Part Sequential Circuit Design Design Procedure  Specification  Formulation - Obtain a state diagram or state table  State Assignment.
1 COMP541 State Machines Montek Singh Feb 8, 2012.
Finite State Machines. Binary encoded state machines –The number of flip-flops is the smallest number m such that 2 m  n, where n is the number of states.
Registers and Counters
Rabie A. Ramadan Lecture 3
Introduction to Sequential Logic Design Finite State-Machine Design.
Counters Dr. Rebhi S. Baraka Logic Design (CSCI 2301) Department of Computer Science Faculty of Information Technology The Islamic University.
Counter Classification Count modulus (MOD) – total number of states in the counter sequence Counter triggering technique – positive edge or negative edge.
Digital Design Lectures 11 & 12 Shift Registers and Counters.
 Counters are sequential circuits which "count" through a specific state sequence. They can count up, count down, or count through other fixed sequences.
Registers and Counters Chapter 6. Digital Circuits 2 Clocked sequential circuits a group of flip-flops and combinational gates connected to form a feedback.
Chap 5. Registers and Counters. Chap Definition of Register and Counter l a clocked sequential circuit o consist of a group of flip-flops & combinational.
Chapter 1_4 Part III more on … Counters Chapter 1_4 Part III more on … Counters.
Introduction to State Machine
Chapter 1 Counters. Counters Counters are sequential circuits which "count” through a specific state sequence. They can count up, count down, or count.
CHAPTER 8 - COUNTER -.
Assignment 8 solutions 1) Design and draw combinational logic to perform multiplication of two 2-bit numbers (i.e. each 0 to 3) producing a 4-bit result.
Digital Logic Design.
ANALYSIS OF SEQUENTIAL CIRCUITS by Dr. Amin Danial Asham.
CS1Q Computer Systems Lecture 11 Simon Gay. Lecture 11CS1Q Computer Systems - Simon Gay 2 The D FlipFlop The RS flipflop stores one bit of information.
Sequential logic circuits
CHAPTER 6 Sequential Circuits’ Analysis CHAPTER 6 Sequential Circuits’ Analysis Sichuan University Software College.
VHDL Discussion Finite State Machines IAY 0600 Digital Systems Design Alexander Sudnitson Tallinn University of Technology 1.
Counters and Registers Synchronous Counters. 7-7 Synchronous Down and Up/Down Counters  In the previous lecture, we’ve learned how synchronous counters.
4 October, of 15 EEE515J1 Combinational Logic: Truth tables to equations Ian McCrumRoom 5D03B Tel: voice.
Counters.
EEE515J1_L4-1/12 EEE515J1 ASICs and DIGITAL DESIGN EGBCDCNT.pdf An example of a synchronous sequential machine.
1 COMP541 Finite State Machines - 1 Montek Singh Sep 22, 2014.
Basic Counters: Part I Section 7-6 (pp ).
Chapter5: Synchronous Sequential Logic – Part 1
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Logic Design Dr. Oliver Faust.
Chap 5. Registers and Counters
CS151 Introduction to Digital Design Chapter 5: Sequential Circuits 5-1 : Sequential Circuit Definition 5-2: Latches 1Created by: Ms.Amany AlSaleh.
THEME 6: Frequency dividers. Digital counters with reduced counting modulus. Programmable digital counters. If the input pulses are more than K, the counter.
CENG 241 Digital Design 1 Lecture 7 Amirali Baniasadi
1 COMP541 Sequential Logic – 2: Finite State Machines Montek Singh Feb 29, 2016.
FLIP FLOPS Binary unit capable of storing one bit – 0 or 1
EKT 221 – Counters.
EKT 221 : Digital 2 COUNTERS.
FIGURE 5.1 Block diagram of sequential circuit
Copyright Joanne DeGroat, ECE, OSU
332:437 Lecture 17 FSM Hardware Modification for Reliability
Registers and Counters Register : A Group of Flip-Flops. N-Bit Register has N flip-flops. Each flip-flop stores 1-Bit Information. So N-Bit Register Stores.
332:437 Lecture 17 FSM Hardware Modification for Reliability
Digital Electronics and Logic Design
Presentation transcript:

EEE515J1_L5-1/8 EEE515J1 ASICs and DIGITAL DESIGN Designing FSMs Ian McCrumRoom 5D03B Tel: voice mail on 6 th ring Web site:

EEE515J1_L5-2/8 Example 2A A FSM with Inputs: Polaris Missile Launcher (D-types, straight binary, Output decoder) Assume 2 officers must supply an input to a system to launch the missile, any false code causes an abort. PENDING YELLOW ALERT ORANGE ALERT RED ALERT 0X/0, 10/0 11/0 11/1 0X/0, 10/0 There is a flaw/bug/feature in this design. A common problem in FSMs is to specify EXACTLY when the output is to occur, in time A sequence of 11,11,11 (Missile launches at the instant of ENTERING red alert, should be on exit!)

EEE515J1_L5-3/8 PRES STATE (state bits= ZY) I/ps AB Next ST DETAIL FOR BIT Z DETAIL FOR BIT Y OUTPUT 1P00 P 00RESET0 00 2P0001P 00RESET0 00 3P0010P 00RESET0 00 4P0011Q 01RESET0SET10 5Q0100P 00RESET0 00 6Q01 P 00RESET0 00 7Q0110P 00RESET0 00 8Q0111R 10SET1RESET00 9R1000P 00RESET R 01P 00RESET R10 P 00RESET R1011S 11SET S1100P 00RESET S1101P 00RESET S1110P 00RESET S11 S 11SET1 11 The equations to make this machine will require detecting 4 different on- terms /Z/YAB /ZYAB Z/YAB ZYAB We also need two three input or gates… Cost = 34p

EEE515J1_L5-4/8 Pulse Generators : The generic family consider carefully the detailed timing of i/p and o/p, Is the input to “trigger” when the input is high, or when a low to high transition occurs on the input; level triggered or edge triggered. What polarity is required (though I will only cover low-high or high triggers here) Exactly when is the output to go high? Normally at the first active clock transition after the input trigger condition is met. an example follows of a circuit which responds to a low to high transition and generates one pulse. The input is allowed to stay high but only one pulse is ever generated. Only when the input goes low is it again “armed”, thus it is truly edge triggered and is not “re-triggerable”. We assume the input can only change infrequently and that the clock is much faster than the period of input changes. CLOCK

EEE515J1_L5-5/8 The development of the state diagrams evolves from the sequences above. Ensure you can follow what each does. The last diagram is best, though even this assumes the input does not go low and then high again before the pulse completes its output A detailed timing diagram is better at representing exactly what is desired. TUT QUESTION:L5(a) develop circuits to o/p 3 pulses TUT QUESTION:L5(b) develop circuits to o/p 5 pulses Clk-to-Q propagation delay INPUT OUTPUT CLOCK

EEE515J1_L5-6/8 Quick ways of designing machines: The one-Hot method to design any finite state machine (FSM) using the one-hot method you use one D-type flip-flop per state, you must use D-types for the method to work. You must also use the special state code , , etc, I.e n-1 zeroes and a single ‘1’, (called the “HOT” state!) Variations do exist, ONE-HOTZ and TWO-HOT for instance, but we will only deal with one-hot here. The secret to the method is to look carefully at the state diagram, for each state you will write down a term for every arrowhead entering that state.

EEE515J1_L5-7/8 e.g Pulse Generator using one-hot Input I A B C O/P Clock A.d = A * /I + C * /I;Cost = =12 B.d = A * I;Cost = 6+2 =8 C.d = C * I + B;Cost = 6+2+2=10 O/p = B; A/0B/1 C/0 0 1 X 1 0

EEE515J1_L5-8/8 Summary Week 4 You can… design counters that count up (no inputs) You can… design counters that can hold or count You can… design counters that can count up/down or reset You can… design counters with D-type flipflops You can… design counters with JK-type flipflops You can… design using a state assignment related to the desired outputs You can… design pulse generators You can… design using a straight binary state assignment You can… design using a one-hot state assignment You can… cascade counters synchronously You can… appreciate why synchronous counters are better than asynchronous counters You can use Quartus to design multiple sheet designs that use BUSes and develop your own library parts Next comes … VHDL