Beyond the ALU and Datapath. Sequential Machine Modeling exercise.

Slides:



Advertisements
Similar presentations
1/8/ VerilogCopyright Joanne DeGroat, ECE, OSU1 Verilog Overview An overview of the Verilog HDL.
Advertisements

VHDL Lecture 1 Megan Peck EECS 443 Spring 08.
L7 – Derivation of State Graphs and Tables – Moore Machines.
9/15/09 - L20 Flip FlopsCopyright Joanne DeGroat, ECE, OSU1 Flip Flops Not a gymnastic movement.
L18 – VHDL for other counters and controllers. Other counters  More examples Gray Code counter Controlled counters  Up down counter  Ref: text Unit.
9/15/09 - L22 Sequential Circuit Design Copyright Joanne DeGroat, ECE, OSU1 Sequential Circuit Design Creating a sequential circuit to address a.
9/15/09 - L25 Registers & Load Enable Copyright Joanne DeGroat, ECE, OSU1 Registers & Load Enable.
9/15/09 - L15 Decoders, Multiplexers Copyright Joanne DeGroat, ECE, OSU1 Decoders and Multiplexers.
L16 – Testbenches for state machines. VHDL Language Elements  More examples HDL coding of class examples Testbench for example  Testing of examples.
L10 – State Machine Design Topics. States Machine Design  Other topics on state machine design Equivalent sequential machines Incompletely specified.
1/8/ L20 Project Step 8 - Data Path Copyright Joanne DeGroat, ECE, OSU1 State Machine Design with an HDL A methodology that works for documenting.
9/15/09 - L15 Decoders, Multiplexers Copyright Joanne DeGroat, ECE, OSU1 Decoders and Multiplexer Circuits.
1/8/ L23 Project Step 9 - Sequential Machine Copyright Joanne DeGroat, ECE, OSU1 Project Step 9 Beyond the ALU and Datapath. Sequential Machine.
L16 – VHDL for State Machines with binary encoding.
9/15/09 - L21 Sequential Circuit Analaysis Copyright Joanne DeGroat, ECE, OSU1 Sequential Circuit Analysis.
1/8/ Extra CreditCopyright Joanne DeGroat, ECE, OSU1 PS3xcr Extra Credit Project Modification that can be done to the datapath.
1/8/ L11 Project Step 5Copyright Joanne DeGroat, ECE, OSU1 Project Step 7 Behavioral modeling of a dual ported register set.
Common Elements in Sequential Design. Lecture 3 topics  Registers and Register Transfer  Shift Registers  Counters Basic Counter Partial sequence counters.
0808/0809 ADC. Block Diagram ADC ADC0808/ADC Bit μP Compatible A/D Converters with 8-Channel Multiplexer The 8-bit A/D converter uses successive.
MicroBaby ALU.
State Machine Design with an HDL
EE694v - Verification - Lect 12
Implementing Combinational
L5 – Sequential Circuit Design
Modification that can be done to the datapath.
Copyright Joanne DeGroat, ECE, OSU
Behavioral modeling of a dual ported register set.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
RTL Design Methodology
Copyright Joanne DeGroat, ECE, OSU
RTL Design Methodology
Copyright Joanne DeGroat, ECE, OSU
Project Step 2 – A single bit slice of the ALU
Modification that can be done to the datapath.
L10 – additional State Machine examples
Copyright Joanne DeGroat, ECE, OSU
MicroBaby Datapath.
Copyright Joanne DeGroat, ECE, OSU
Project Step 1 Due – see webpage
L25 – Datapath ALU.
MicroBaby Datapath.
Copyright Joanne DeGroat, ECE, OSU
State Machine Design with an HDL
Design Specification Document
A floating point multiplier behavior model.
How do you achieve deterministic concurrent simulation.
Timing & Concurrency II
Copyright Joanne DeGroat, ECE, OSU
L11 – Midterm Review.
Beyond the ALU and Datapath. Sequential Machine Modeling exercise.
IEEE Floating Point Adder Verification
RTL Design Methodology
A floating point multiplier behavior model.
An overview of the Verilog HDL.
Behavioral modeling of a dual ported register set.
L7s Multiple Output example
L11 – State Machine Analysis
Structural Modeling and the Generate Statement
RTL Design Methodology
Project Step 2 – A single bit slice of the ALU
Copyright Joanne DeGroat, ECE, OSU
A floating point multiplier behavior model.
Copyright Joanne DeGroat, ECE, OSU
Timing & Concurrency II
L4 – An overview of Quartis
Timing & Concurrency II
L25 – Final Review AU 15 Final Exam – Classroom – Journalism 300
Copyright Joanne DeGroat, ECE, OSU
Project Step 2 – A single bit slice of the ALU
Structural Modeling and the Generate Statement
Presentation transcript:

Beyond the ALU and Datapath. Sequential Machine Modeling exercise. Project Step 9 Beyond the ALU and Datapath. Sequential Machine Modeling exercise. 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

The sequential machine modeling style In the lecture on state machine modeling introduces how three processes can be used to model the state machine. This style is good for documentation, simulation, and synthesis. And it also maps across multiple HDLs. 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

The machine to be modeled This exercise is to model a Successive Approximation A-to-D converter. This also introduces the ability of VHDL to model mixed signal systems at a high level of abstraction. 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU More on the controller Modeling to the SAR Controller and SAR Control Register This is the heart of a successive approximation A-to-D unit 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU Analog units D-to-A converter is analog Analog comparator for comparison of value to the input These units are modeled in the testbench algorithmically 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU The digital portion You are to model the digital portion Inputs An over/under signal a 1 indicates the value generated by the SAR is currently too high A 0 indicates the value generated by the SAR is too low Start – begin a new conversion. The analog value has been captured. sarclk – the clock for the unit 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU The digital portion -2 The outputs eoc indicator signal line – indicates the end of the conversion and that the value on digital_val is valid digital_val – the 8-bit digital conversion value sar_val – an 8-bit output that is sent to the D-to-A converter internal to the entire unit Note that part of the entire unit is modeled by the testbench. The assignment is only modeling of the controller, the digital portion. 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU Conversion basics The input range is 0-5Volts Starting state for converter state machine (1st approximation) is 1000 0000 or 2.5V If this is less than input the next bit is set to 1, 1100 0000 and again a comparison is made. If this is greater than the input the bit is set 0 before the next bit position is set to 1, 0100 0000 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU Conversion example 1 Input 4.3 V Start 1000 0000 = 2.5 Under so keep NS 1100 0000 = 3.75 NS 1110 0000 = 4.375 Over so revert to 0 NS 1101 0000 = 4.0675 NS 1101 1000 = 4.22625 Under so keep NS 1101 1100 = 4.305625 Over so revert NS 1101 1010 = 4.2659375 NS 1101 1011 = 4.28578125 Result is 1101 1011 EOC asserted 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU State machine State machine has multiple states Ready to convert S1, S2, S3, S4, S5, S6, S7 while converting EOC – done converting 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU

Copyright 2006 - Joanne DeGroat, ECE, OSU Notes on operation Notes on operation Start will transition high when the analog input is valid and remains high during the conversion EOC is asserted and system asserting start will de-assert it Once start returns low, EOC is to be reset. DO NOT SIMULATE UNTIL time’high TESTBENCH NEVER GOES QUIESENT Testbench has a free running clock, sarclk run 20 us instead 1/8/2007 - L23 Project Step 9 - Sequential Machine Copyright 2006 - Joanne DeGroat, ECE, OSU