CS 140 Lecture 9 Professor CK Cheng 4/30/02. Part II. Sequential Network 1.Memory 2.Specification 3.Implementation S XY s i t+1 = g i (S t, x t )

Slides:



Advertisements
Similar presentations
Sequential Circuits Storage elements
Advertisements

State-machine structure (Mealy)
CS 140 Lecture 10 Sequential Networks: Implementation Professor CK Cheng CSE Dept. UC San Diego 1.
Circuits require memory to store intermediate data
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.
Sequential Circuit Design
CS 140 Lecture 7 Professor CK Cheng 4/23/02. Part II. Sequential Network (Ch ) 1.Flip-flops SR, D, T, JK, 2.SpecificationState Table 3.Implementation.
1 CS 140 Lecture 19 Sequential Modules Professor CK Cheng CSE Dept. UC San Diego.
CS 140 Lecture 8 Professor CK Cheng 4/26/02. Part II. Sequential Network 1.Memory SR, D, T, JK, 2.Specification S XY s i t+1 = g i (S t, X t )
CSE 140 Lecture 8 Sequential Networks Professor CK Cheng CSE Dept. UC San Diego 1.
1 CS 140 Lecture 9 Sequential Networks Professor CK Cheng CSE Dept. UC San Diego.
CS 140 Lecture 8 Sequential Networks Professor CK Cheng CSE Dept. UC San Diego.
CS 140 Lecture 6: Other Types of Gates Professor CK Cheng 1.
CS 140 Lecture 12 Professor CK Cheng 11/07/02. Part III - Standard Modules Decoder, Encoder, Mux, DeMux, Shifter, Adder, Multiplexer Interconnect: Decoder,
CS 140 Lecture 6 Professor CK Cheng Tuesday 10/15/02.
Give qualifications of instructors: DAP
CS 140 Lecture 10 Professor CK Cheng 5/02/02. Given the state table, implement with 2 JK flip flops id Q 1 (t) 0 1 Q 0 (t) X(t)
Sequential System Synthesis -- Introduction
Sequential Circuit Design
CSE 140L Lecture 6 Interface and State Assignment Professor CK Cheng CSE Dept. UC San Diego 1.
CS 140L Lecture 7 Professor CK Cheng 11/12/02. Transformation between Mealy and Moore Machines Algorithm: 1) For each NS, z = S i, j create a state S.
CS 140 Lecture 18 Professor CK Cheng 12/3/02. Standard Sequential Modules 1.Register 2.Shift Register 3.Counter.
CS 140L Lecture 9 Professor CK Cheng 6/03/02. transistors modules sequential machine system 1.Adders, Muxes 2.F-Fs and counters 3.Finite State Machine.
Lecture 1: Introduction to Digital Logic Design CK Cheng Tuesday 4/1/02.
Chapter 8 -- Analysis and Synthesis of Synchronous Sequential Circuits.
CS 140 Lecture 11 Professor CK Cheng 5/31/02. C1C2 CLK x(t) y(t) Sequential Network Implementation Mealy & Moore machine State Table  Netlist s(t) D(t)
CS 140 Lecture 6 Professor CK Cheng UC San Diego.
CS 140 Lecture 10 Professor CK Cheng 10/29/02. Part II. Sequential NetworkReminder 1.Flip flops 2.Specification 3.Implement Netlist  State Table  State.
ECE 301 – Digital Electronics Introduction to Sequential Logic Circuits (aka. Finite State Machines) and FSM Analysis (Lecture #17)
CS 140 Lecture 8 Professor CK Cheng 10/22/02. Part II. Sequential Network 1.Flip-flops SR, D, T, JK, State Table Characteristic Eq. Q(t+1) = f(x(t), Q(t)).
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.
CS 140L Lecture 7 Transformation between Mealy and Moore Machines Professor CK Cheng CSE Dept. UC San Diego.
CS 140 Lecture 19 Professor CK Cheng 12/05/02. Sequential Machine Standard Modules Combinational Sequential System Designs.
CS 140 Lecture 9 Professor CK Cheng 10/24/02. Sequential Network 1.Components F-Fs 2.Specification D Q Q’ CLK.
CS 140 Lecture 7 Professor CK Cheng 10/17/02. Combinational Logic  Complete set of gates  Other types of gates 1)XOR 2)NAND / NOR 3)Block Diagram Transfers.
7.4 Clocked Synchronous State-Machine Analysis
Lecture 8: Sequential Networks and Finite State Machines CSE 140: Components and Design Techniques for Digital Systems Fall 2014 CK Cheng Dept. of Computer.
SEQUENTIAL CIRCUITS Introduction
Chapter 5 - Part Sequential Circuit Design Design Procedure  Specification  Formulation - Obtain a state diagram or state table  State Assignment.
Lecture 18 More Moore/Mealy machines.
Chapter 8 -- Analysis and Synthesis of Synchronous Sequential Circuits.
Lecture 9: Sequential Networks: Implementation CSE 140: Components and Design Techniques for Digital Systems Fall 2014 CK Cheng Dept. of Computer Science.
CSIE.NCTU, DL-6-1 Basic Design Approach of FSM Six Step Process 1. Understand the statement of the Specification 2. Obtain an abstract specification of.
DLD Lecture 26 Finite State Machine Design Procedure.
Sequential Circuit: Analysis BIL- 223 Logic Circuit Design Ege University Department of Computer Engineering.
Analysis and Synthesis of Synchronous Sequential Circuits A “synchronizing” pulse/edge signal (clock) controls the operation of the memory portion of the.
Lecture 7: Sequential Networks CSE 140: Components and Design Techniques for Digital Systems Fall 2014 CK Cheng Dept. of Computer Science and Engineering.
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.
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.
CSE 140: Components and Design Techniques for Digital Systems Lecture 9: Sequential Networks: Implementation CK Cheng Dept. of Computer Science and Engineering.
CSE 140 Lecture 8 Sequential Networks
Sequential Networks and Finite State Machines
Digital Design Lecture 9
CSE 140 MT 2 Review By Daniel Knapp.
Sequential Networks and Finite State Machines
CSE 140 Lecture 10 Sequential Networks: Implementation
CSE 140: Components and Design Techniques for Digital Systems
EE2174: Digital Logic and Lab
CS 140L Lecture 6 Professor CK Cheng 5/05/02.
SYEN 3330 Digital Systems Chapter 6 – Part 3 SYEN 3330 Digital Systems.
CSE 140 Lecture 9 Sequential Networks
CS M51A/EE M16 Winter’05 Section 1 Logic Design of Digital Systems Lecture 11 February 23 W’05 Yutao He 4532B Boelter Hall
CS 140L Lecture 7 Transformation between Mealy and Moore Machines
CS 140L Lecture 6 Professor CK Cheng 11/05/02.
Presentation transcript:

CS 140 Lecture 9 Professor CK Cheng 4/30/02

Part II. Sequential Network 1.Memory 2.Specification 3.Implementation S XY s i t+1 = g i (S t, x t )

Given a sequential machine that recognizes patterns 110 or 101, draw the state diagram. Overlap is allowed init 1/0 0/0 s0s0 s1s1 s2s2 10 s2s2 1/0 0/0 1/1 0/1 1/0 s0s1s2s3s0s1s2s3 PS X 0 1 s 0 / 0 s 1 / 0 s 2 / 0 s 3 / 0 s 0 / 0 s 1 / 1 s 2 / 1 s 3 / 0 State table PS inputs X=0 X=1 00, 0 10, 0 10, 0 00, 0 11, 1 10, 1 11, 0 Q 1 (t) Q 0 (t) Q 1 (t+1) Q 0 (t+1 Input Output State Assignment s 0 :00 s 1 :01 s 2 :10 s 3 :11

Given a sequential machine that outputs a “1” when input contains an odd # of 0s, and even # of 1s, draw the state diagram. Input Output s 0 : even # of 1s, even # of 0s s 1 : even # of 1s, odd # of 0s s 2 : odd # of 1s, even # of 0s s 3 : odd # of 1s, odd # of 1s s 1 / 1 s 2 / 0 s 3 / 0 s 0 /

s0s1s2s3s0s1s2s3 PS X 0 1 s 1 / 1 s 2 / 0 s 0 / 0 s 3 / 0 s 3 / 0 s 0 / 0 s 2 / 0 s 1 / 1 Moore Machine Mealy Machine s0s1s2s3s0s1s2s3 PS X 0 1 s 1 s 2 s s 3 s 3 s 0 s 2 s 1 y Moore Machine: y(t) = f(x(t), s(t)) Mealy Machine:y(t) = f(s(t)) s(t+1) = g(x(t), s(t))

Canonical Form Combinational Logic x(t) y(t) CLK C2 C1 y(t) CLK x(t) C1C2 CLK x(t) y(t)

(1)State Table: y(t) = f(Q(t), x(t)) Q(t+1) = y(Q(t) x(t)) (2)Excitation Table: (1)D(t) = e D (Q(t+1), Q(t)); (2)T(t) = e T (Q(t+1), Q(t)); (3)S, R, J, K (3)From 1 & 2, we derive (1)D(t) = h D (Q(t), x(t)); (2)T = h T (Q(t), x(t)); (3)S,R,J,K. (4)Use K-Map (QuineMcClusky) to derive optional combinational logic implementation. (1)D(t) = h(Q(t), x(t)) (2)Y(t) = f(Q(t), x(t))

Given a state table, implement with 2 D F-Fs x=0 x=1 01, 0 00, 0 10, 1 01, 1 00, 1 10, 0 Q 1 (t) Q 0 (t) Q 1 (t+1) Q 1 (t) id Q 1 (t) Q 0 (t) x(t) D 1 (t) D 0 (t) y(t) Excitation Table D(t)

y Q1Q Q0Q0 D1:D1: y Q1Q Q0Q0 D2:D2: y Q1Q Q0Q0 y:

x D Q Q’ D Q y Q0Q0 D0D0 D1D1 y(t) = Q 0 (t) + Q 1 (t) x’ D 0 (t) = Q 0 (t) x + Q 1 (t)’ Q 0 (t)’ D 1 (t) = Q 0 (t) x’ + Q 1 (t) x Q1Q1 Q0Q0 Q0Q0 Q0’Q0’ Q1’Q1’