DESIGN, TESTING AND VERIFICATION OF SEQUENTIAL CIRCUITS. CLASS SCHEDULE 1998

  • PROFESSOR: Marek A. Perkowski
  • OFFICIAL CATALOG CLASS TITLE: CONTROL UNIT DESIGN.
  • TEXTBOOK: Zvi Kohavi,
    ``Switching and Finite Automata Theory,''.

  • ADDITIONAL TEXTBOOKS AND MATERIALS:


    Marek A. Perkowski, `` Design, Testing and Verification of Sequential Circuits,'' Textbook in writing. Available from professor, you do the copy, or available from WWW.

    M. Perkowski ``Notes and Papers for EE 573 class, previous years.
    - Available from Smart Copy for charge.

  • PREREQUISITIES:
    This is an introductory class in state machines and sequential circuits.
    Only sophomore-level knowledge of combinational logic and state machine design is assumed.


  • GRADING POLICY:

    There will be individual projects (may be continuations) and homeworks.

    The course presents the fundamental theory of finite state machines and modern CAD tools for them.
    The aim is to give an introduction to the sequential circuits, enabling the participants to design integrated circuits of high quality, speed, testability and low power.

    INTRODUCTION TO FINITE STATE MACHINES.

    1. Introductory Lecture. Books, WWW Pages, Information. Class schedule. Grading Policies.
    2. READ chapter 9 in Kohavi.
    3. READ chapter about state machines in Perkowski.
    4. Sequential circuits.
    5. Flip-flops.
    6. Iterative circuits.

    CAPABILITIES, MINIMIZATION AND TRANSFORMATIONS OF SEQUENTIAL MACHINES.

    1. READ chapter 10 in Kohavi.
    2. READ chapter in Perkowski.
    3. Mealy <-> Moore transformations.
    4. Capabilities and Limitations of Finite State Machines.
    5. One dimensional State Minimization. Program STAMINA.
    6. Two dimensional State Minimization. Program 2DMINI.

    STATE ASSIGNMENT OF SYNCHRONOUS SEQUENTIAL MACHINES.

    1. READ chapter 12, section 12.2 - 12.3 in Kohavi.
    2. READ chapter in Perkowski.
    3. Partition Calculus.
    4. State Assignment Using Partition Calculus.
    5. Using Multi-Valued Logic for State Assignment.
    6. State Assignment Programs: kiss, nova, hypercoder.

    STRUCTURE OF SEQUENTIAL MACHINES.

    1. READ remainder of chapter 12 in Kohavi.
    2. READ chapter about decomposition in Perkowski.
    3. Reduction of the Output Dependency.
    4. Input Dependence and Autonomous Clocks.
    5. Covers and Generation of Closed Partitions by State Splitting.
    6. Information Flow in Sequential Machines.
    7. Classical Decomposition Theory.
    8. Modern Decomposition Theory for input, output and state partitions.

    ASYNCHRONOUS STATE MACHINES.

    1. READ chapter 11 in Kohavi.

    VERIFICATION OF SEQUENTIAL CIRCUITS.

    1. Sequential Circuit Verification (PS 709K)
      (PDF 176K)

    ADVANCED METHODS FOR TESTING OF SEQUENTIAL CIRCUITS.

    1. Sequential Circuit Testing (PS 144K)
      (PDF 112K)

    DESIGN VERIFICATION.

    1. Design Verification (PS 917K)
      (PDF 120K)