Digital System Design using FSMs

A Practical Learning Approach

Peter D. Minns

• Publisher: Wiley
• Year: 2021
• Print ISBN: 9781119782704
• eBook ISBN: 9781119782728
• Edition: 1
• Topic: Tecnologia e ingegneria
• Subtopic: Hardware

DIGITAL SYSTEM DESIGN USING FSMS

Explore this concise guide perfect for digital designers and students of electronic engineering who work in or study embedded systems

Digital System Design using FSMs: A Practical Learning Approach delivers a thorough update on the author's earlier work, FSM-Based Digital Design using Verilog HDL. The new book retains the foundational content from the first book while including refreshed content to cover the design of Finite State Machines delivered in a linear programmed learning format. The author describes a different form of State Machines based on ToggleFlip Flops and Data Flip Flops.

The book includes many figures of which 15 are Verilog HDL simulations that readers can use to test out the design methods described in the book, as well as 19 Logisim simulation files with figures. Additional circuits are also contained within the Wiley web folder. It has tutorials and exercises, including comprehensive coverage of real-world examples demonstrated alongside the frame-by-frame presentations of the techniques used.

In addition to covering the necessary Boolean algebra in sufficient detail for the reader to implement the FSM based systems used in the book, readers will also benefit from the inclusion of:

• A thorough introduction to finite-state machines and state diagrams for the design of electronic circuits and systems
• An exploration of using state diagrams to control external hardware subsystems
• Discussions of synthesizing hardware from a state diagram, synchronous and asynchronous finite-state machine designs, and testing finite-state machines using a test-bench module
• A treatment of the One Hot Technique in finite-state machine design
• An examination of Verilog HDL, including its elements
• An analysis of Petri-Nets including both sequential and parallel system design

Suitable for design engineers and senior technicians seeking to enhance their skills in developing digital systems, Digital System Design using FSMs: A Practical Learning Approach will also earn a place in the libraries of undergraduate and graduate electrical and electronic engineering students and researchers.

1
Introduction to Finite State Machines

This chapter (like all other chapters) is written in the form of a linear frame, programmed learning text. This is to help you learn the basic skills required to design clocked finite state machines (FMSs) so that you can develop your own designs based on traditional T flip‐flops and D flip‐flops. Later, other techniques will be introduced, such as ‘one hot’ and ‘asynchronous finite state machines’, but these will be developed along the same lines as the work covered in this chapter.

The text is organized into ‘frames’. Each frame follows on consecutively from the previous one, but at times you may be redirected to other frames, depending upon your response to the questions you are asked. Do not cheat, but follow the frames as indicated.

1.1 SOME NOTES ON STYLE

Bold denotes questions for you to answer to check your understanding of the material, highlights important points, or indicates an aside when further ideas are presented.

Please read this chapter first, and attempt all the questions before moving on to the later chapters. Note that the book can be read as a textbook. The programmed aspect of the book makes it more suitable for individuals to read and learn in their own time.

---

Frame 1.1 What is a Finite State Machine?

A finite state machine (FSM) is a digital sequential circuit that can follow a number of predefined states under the control of one or more inputs. Each state is a stable entity that the machine can occupy. It can move from this state to another state under the control of an outside world input.

Figure 1.1 Block diagram of an FSM‐based application.

In Figure 1.1, we see an FSM with three outside world inputs (p, q, and the clock) and three outside world outputs (X, Y, and Z). Note some FSMs have a clock input; those that don’t belong to a type of FSM called ‘asynchronous FSM’. However, this chapter deals with the more usual synchronous FSM, which do have a clock input. Only Chapter 4 and Chapter 6 will look at asynchronous FSM.

Synchronous FSM can move between states only if a clock pulse occurs.

Task:Draw a block diagram for an FSM with five inputs (x, y, z, t, and a clock) and with two outputs (P and Q)...

Table of contents

• Cover
• Table of Contents
• Title Page
• Copyright Page
• Preface
• Acknowledgements
• About the Companion Website
• Guide to Supplementary Resources
• 1 Introduction to Finite State Machines
• 2 Using FSMs to Control External Devices
• 3 Introduction to FSM Synthesis
• 4 Asynchronous FSM Methods
• 5 Clocked One Hot Method of FSM Design
• 6 Further Event‐Driven FSM Design
• 7 Petri Net FSM Design
• Appendix A1: Boolean Algebra
• Appendix A2: Use of Verilog HDL and Logisim to FSM
• Appendix A3: Counters, Shift Registers, Input, and Output with an FSM
• Appendix A4: Finite State Machines Using Verilog Behavioural Mode
• Appendix A5: Programming a Finite State Machine
• Appendix A6: The Rotational Detector Using Logisim Simulator with Sub‐Circuits
• Bibliography
• Index
• End User License Agreement