Sequential Design Motivation Sequential processing often more tractable than parallel Example Sequential processing sometimes only method that works Example.

Slides:



Advertisements
Similar presentations
Sequential Circuits Storage elements
Advertisements

State-machine structure (Mealy)
TOPIC : Finite State Machine(FSM) and Flow Tables UNIT 1 : Modeling Module 1.4 : Modeling Sequential circuits.
Classification of Digital Circuits  Combinational. Output depends only on current input values.  Sequential. Output depends on current input values and.
Princess Sumaya University
Circuits require memory to store intermediate data
1 EE365 Sequential-circuit analysis. 2 Clocked synchronous seq. circuits A.k.a. “state machines” Use edge-triggered flip-flops All flip-flops are triggered.
CS 151 Digital Systems Design Lecture 21 Analyzing Sequential Circuits.
1 Lecture 23 More Sequential Circuits Analysis. 2 Analysis of Combinational Vs. Sequential Circuits °Combinational : Boolean Equations Truth Table Output.
Sequential Design Part II. Output A(t+1) =D A = AX + BX B(t+1) =D B = AX Y = AX + BX.
Nonlinear & Neural Networks LAB. CHAPTER 13 Analysis of Clocked Sequential Circuit 13.1 A Sequential Parity Checker 13.2 Analysis by Signal Tracing 13.3.
ECE 331 – Digital System Design State Reduction and State Assignment (Lecture #22) The slides included herein were taken from the materials accompanying.
ECE 331 – Digital System Design
1 Sequential logic networks I. Motivation & Examples  Output depends on current input and past history of inputs.  “State” embodies all the information.
1 EE365 Sequential-circuit design Sequential-circuit synthesis.
EECC341 - Shaaban #1 Lec # 14 Winter Clocked Synchronous State-Machines Such machines have the characteristics: –Sequential circuits designed.
5. Choose a flip-flop type for the state memory. ReturnNext 7.4 Clocked Synchronous State-Machine Design 1. Construct a state/output table corresponding.
Give qualifications of instructors: DAP
Sequential Logic Design
1 COMP541 State Machines Montek Singh Feb 6, 2007.
Overview Sequential Circuit Design Specification Formulation
EECC341 - Shaaban #1 Lec # 16 Winter State Machine Design Procedure 1. Build state/output table (or state diagram) from word description.
Chapter 8 -- Analysis and Synthesis of Synchronous Sequential Circuits.
ECE 301 – Digital Electronics
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)
1 Synchronous Sequential Circuit Analysis. 2 Synchronous Sequential Circuit State Memory – A set of n edge-triggered flip-flops that store the current.
7.4 Clocked Synchronous State-Machine Analysis
ECE/CS 352 Digital System Fundamentals© T. Kaminski & C. Kime 1 ECE/CS 352 Digital Systems Fundamentals Spring 2001 Chapter 4 – Part 3 Tom Kaminski & Charles.
IKI c-Synthesis of Sequential Logic Bobby Nazief Semester-I The materials on these slides are adopted from: Prof. Daniel Gajski’s transparency.
ECE 331 – Digital Systems Design Sequential Logic Circuits: FSM Design (Lecture #20)
L5 – Sequential Circuit Design
Synchronous Circuit Design (Class 10.1 – 10/30/2012) CSE 2441 – Introduction to Digital Logic Fall 2012 Instructor – Bill Carroll, Professor of CSE.
Digital Design Lecture 10 Sequential Design. State Reduction Equivalent Circuits –Identical input sequence –Identical output sequence Equivalent States.
Chap 4. Sequential Circuits
State Machines.
Lecture 4 – State Machine Design 9/26/20081ECE Lecture 4.
Introduction to Sequential Circuit By : Pn Siti Nor Diana Ismail CHAPTER 5.
Chapter 8 -- Analysis and Synthesis of Synchronous Sequential Circuits.
Introduction to Sequential Logic Design Finite State-Machine Design.
1 Lecture #12 EGR 277 – Digital Logic Synchronous Logic Circuits versus Combinational Logic Circuits A) Combinational Logic Circuits Recall that there.
CPEN Digital System Design Chapter 5 - Sequential Circuits Sequential Circuit Design C. Gerousis © Logic and Computer Design Fundamentals, 4 rd Ed.,
Fall 2004EE 3563 Digital Systems Design EE3563 Chapter 7, 8, 10 Reading Assignments  7.1, 7.2, 7.3  8.1, ,   8.5.1, 8.5.2,
EE121 John Wakerly Lecture #11
2017/4/24 1.
DLD Lecture 26 Finite State Machine Design Procedure.
1 Finite State Machines (FSMs) Now that we understand sequential circuits, we can use them to build: Synchronous (Clocked) Finite State Machines Finite.
1 A counter counts Number of elements in counter determines how many different states we need For example, an eight-state counter can count eight steps.
Digital Circuits State Reduction and Assignment State Reduction reductions on the number of flip-flops and the number of gates a reduction in the.
DESIGN OF SEQUENTIAL CIRCUITS by Dr. Amin Danial Asham.
Analysis and Synthesis of Synchronous Sequential Circuits A “synchronizing” pulse/edge signal (clock) controls the operation of the memory portion of the.
Registers; State Machines Analysis Section 7-1 Section 5-4.
1 State Reduction Goal: reduce the number of states while keeping the external input-output requirements unchanged. State reduction example: a: input 0.
Princess Sumaya University
Chapter 8 -- Analysis and Synthesis of Synchronous Sequential Circuits.
ENG241 Digital Design Week #7 Sequential Circuits (Part B)
Sichuan University Software College
Synthesis Synchronous Sequential Circuits synthesis procedure –Word description of problem /hardest; art, not science/ –Derive state diagram & state table.
Introduction to Sequential Logic Design Finite State-Machine Analysis.
Sequential Circuit: Design BIL- 223 Logic Circuit Design Ege University Department of Computer Engineering.
State Machine Design Shiva choudhary En No.: Electronics and comm. Dept K.I.T.,Jamnagar 1.
Mealy and Moore Machines Lecture 8 Overview Moore Machines Mealy Machines Sequential Circuits.
1 Clocked synchronous seq. circuits A.k.a. “state machines” Use edge-triggered flip-flops All flip-flops are triggered from the same master clock signal,
Lecture #17: Clocked Synchronous State-Machine Analysis
Introduction to Sequential Logic Design
Lab. on Finite State Machine
FIGURE 5.1 Block diagram of sequential circuit
FINITE STATE MACHINES (FSMs)
SYEN 3330 Digital Systems Chapter 6 – Part 3 SYEN 3330 Digital Systems.
FINITE STATE MACHINES.
Presentation transcript:

Sequential Design Motivation Sequential processing often more tractable than parallel Example Sequential processing sometimes only method that works Example (generalization of parity)

Sequential Design Finite State Machines Elements states transitions output(s) Example

Sequential Design Finite State Machines Sequence recognition 1) Create machine to recognize sequence 2) Fill in other states Example (“abac”) Note: Must handle cases whereby non-initial substring is target sequence

Sequential Design Mealy and Moore Machines Moore output function of current state only Mealy output function of current state and current inputs

Sequential Design i) Derive the transition equations from the next state logic iii) Construct a transition/output table from the equations produced in i) and ii) ii) Derive the output equation from the output logic iv) Construct a state/output table by labeling the states in iii) v) Derive a DFSM from the table in iv) vi) State in ordinary language what the machine is doing

Sequential Design Sequential Machine Analysis Example

Sequential Design Sequential Machine Analysis Example i) Derivation of transition equations Q0 + = Q0I0'I1' + Q0Q1'I0' + Q0Q1'I1' + Q0'Q1I1 + Q0'Q1I0 + Q0'I0I1 Q1 + = Q1I0'I1' + Q1'I0'I1 + Q1I0I1 + Q1'I0I1'

Sequential Design Sequential Machine Analysis Example ii) Derivation of output equation OUT = Q0'Q1'

Sequential Design Sequential Machine Analysis Example iii) Construction of the transition/output table Q0 + = Q0I0'I1' + Q0Q1'I0' + Q0Q1'I1' + Q0'Q1I1 + Q0'Q1I0 + Q0'I0I1 Q1 + = Q1I0'I1' + Q1'I0'I1 + Q1I0I1 + Q1'I0I1' I0I1I0I1 Q0Q1Q0Q OUT Q0+Q1+Q0+Q1+

Sequential Design Sequential Machine Analysis Example iv) Construction of the state/output table A = 00 B = 01 C = 10 D = 11 I0I1I0I1 Q0Q1Q0Q OUT AABBC1 BBCCD0 CCDDA0 DDAAB0 Q0+Q1+Q0+Q1+

Sequential Design Sequential Machine Analysis Example v) Derivation of the finite state machine I0I1I0I1 Q0Q1Q0Q OUT AABBC1 BBCCD0 CCDDA0 DDAAB0 Q0+Q1+Q0+Q1+

Sequential Design Sequential Machine Analysis Example vi) Ordinary language description?

Sequential Design Sequential Machine Synthesis i) Finite state diagram construction ii) State/output table construction iii) State-variable assignment iv) Substitution of state-assignments into the state/output table v) Construct an excitation table vii) Derive output equations from the transition/output table vi) Derive excitation equations from this table viii) Draw a circuit diagram that realizes the excitation and output ix) Verification

Sequential Design Sequential Machine Synthesis Example 1 (parity) i) State diagram construction

Sequential Design Sequential Machine Synthesis Example 1 (parity) ii) Construction of the state/output table I Q0Q0 01OUT even odd0 even1 Q0+Q0+

Sequential Design Sequential Machine Synthesis Example 1 (parity) iii) State variable assignment 0 = even 1 = odd I Q0Q0 01OUT even odd0 even1 Q0+Q0+

Sequential Design Sequential Machine Synthesis Example 1 (parity) iv) Transition/output table construction I Q0Q0 01OUT Q0+Q0+

Sequential Design Sequential Machine Synthesis Example 1 (parity) v) Excitation/output table construction I Q0Q0 01OUT D0D0

Sequential Design Sequential Machine Synthesis Example 1 (parity) vi) Excitation equation derivation I Q0Q0 01OUT D0D0 D0 = Q0I' + Q0'I

Sequential Design Sequential Machine Synthesis Example 1 (parity) vii) Output equation derivation I Q0Q0 01OUT D0D0 OUT = Q0

Sequential Design Sequential Machine Synthesis Example 1 (parity) viii) Circuit realization OUT = Q0 D0 = Q0I' + Q0'I

Sequential Design Sequential Machine Synthesis Example 1 (parity) ix) Verification I Q OUT

Sequential Design Sequential Machine Synthesis Example 2 (sequence recognition) i) Convert DFSM into binary

Sequential Design Sequential Machine Synthesis Example 2 (sequence recognition) ii) Construct excitation/output table I0I1I0I1 Q0Q1Q2Q0Q1Q OUT D0D1D2D0D1D2

Sequential Design Sequential Machine Synthesis Example 2 (sequence recognition) iii) Derive minimized excitation and output equations Note: x’s represent don’t care conditions

Sequential Design Sequential Machine Synthesis Example 2 (sequence recognition) iv) All equations and circuit D0 = I0Q1Q2 D1 = I1Q2 + I0'I1'Q1Q2' D2 = I0'I1' OUT = Q0

Sequential Design Sequential Machine Synthesis Example 2 (sequence recognition) v) Verification I0I I1I inputbababacabacc Q0Q Q1Q Q2Q stateINITaababaababaabacaababaabacINIT OUT

Sequential Design Sequential Machine Synthesis Example 3 (JK flip-flop design) Setting states QQ+Q+ JK 000x 011x 10x1 11x0 Q+ ≡ QN J + QK'

Sequential Design Sequential Machine Synthesis Example 3 (JK flip-flop design) Mod 4 example I0I1I0I1 Q0Q1Q0Q OUT Q0+Q1+Q0+Q1+

Sequential Design Sequential Machine Synthesis Example 3 (JK flip-flop design) Mod 4 example, excitation table I0I1I0I1 Q0Q1Q0Q x,0x0x,1x 1x,1x 010x,x01x,x0 1x,x1 11 x0,x0x0,x1 x1,x1 10x0,0xx1,0x x1,1x J0 K0, J1 K1

Sequential Design Sequential Machine Synthesis Example 3 (JK flip-flop design) Mod 4 example, excitation equations J0 = I0I1 + I1Q1 + I0Q1 K0 = I0I1 + I0Q1' + I1Q1' J1 = I0I1 + + I1Q0' + I0Q0' K1 = I0I1 + I1Q0 + I0Q0

Sequential Design Sequential Machine Synthesis Example 3 (JK flip-flop design) Mod 4 example, realization

Sequential Design Summary of Topics Finite state machines Sequential machine analysis Sequential machine synthesis D flip-flops JK flip-flops