ECE 573. DESIGN OF SEQUENTIAL CIRCUITS.
By Marek Perkowski
Portland State University
College of Engineering and Computer Science
ECE 573 Design of Sequential Circuits.
Course Schedule, Winter 2006
Updated March 3, 2006
This is a list of lectures that were taught in Winter 2006 and are required for exams.
All slides are updated and upgraded.
WEEK ONE.
Role of sequential machines in the entire design process.
 Design Automation.
 Review of Finite State Machines.
Basic concepts of Sequential State Machine Theory. Nondeterministic and deterministic automata.

Set Theory and Introduction to State Machine Theory.

Equivalence. Nondeterministic and Deterministic Finite Automata.
WEEK TWO.
Regular Languages versus automata. Complete design procedure starting from regular expressions.

Regular Languages and Regular Expressions.

Deterministic and Nondeterministic Finite Automata.
 Regular Expressions.

Behavoral Equivalence. Mealy and Moore Automata.

Morphisms of Machines. Homomorphisms, epimosphisms, isomorphisms.
WEEK THREE.
Minimization, state assignment and realization of Finite State Machines.

Introduction to Minimization of Finite State Machines. Completely Specified Machines.
 Minimization of FSMs.

Advanced FSM minization and assignment.
 FSM State Encoding.
WEEK FOUR.
State Assignment of FSMs. Advanced methods and partition theory.
 Rule based state assignment.

State assignment usingmultiline and partitions.

Example of state assignment using rules.
 Encoding based on partitions.
FIRST MIDTERM
 Midterm 1.
WEEK FIVE.
Decomposition of Finite State Machines. Serial and Parallel Decomposition. Links to Encoding.
 Introduction to FSM Decomposition.
 Advanced FSM Decomposition Theory.
Behavior, experiments, testing, and verification of FSMs.
 Introduction to experiments with Finite Automata.
 Examples of homing and synchronizing experiments.
WEEK SIX.
Cellular Automata.

Introduction to Cellular Automata and Artificial Life.
 Cellular Logic Illustrations.
 Quantum Dot Cellular Automata.
 Cellular Morphogenesis.
Cellular Automata Project.
 Some project information on Cellular Automata.
WEEK SEVEN.
Cellular Automata in Physics. Reversible Cellular Automata. Simulations in biology and social life.
 Cellular Automata models in Engineering.
 Reversible Cellular Automata.

Physical Reversible Models of Cellular Automata.
WEEK EIGHT.
Reversible Cellular Automata. Artificial Life. Simulations in biology and social life.
 Part 2 of Physical Reversible Models of Cellular Automata.
 Part 3 of Physical Reversible Models of Cellular Automata.
 Artificial Life.
 Cellular Automata Model for Fish and Shark.
WEEK NINE.
Asynchronous Automata.
 Introduction to asynchronous Automata"
 Realization of asynchronous automata.
WEEK TEN.
Asynchronous Automata. Asynchronous Systems.
 Metastability.
 Selftimed asynchronous machines.
 Design of selfsynchronized state machines.
MIDTERM 2.
 Midterm 2 on the last day of class. It will cover asynchronous machines, experiments and decomposition.
WEEK ELEVEN. WEEK OF FINALS.
 Presentations of projects.
 Additional midterm exams 1 and 2 (you can improve your grade, but for not as many points as writing it right
the first time).
 Return complete report on project on March 25. Final date.

Design of FSM from Flowcharts and similar techniques.
 Marek Perkowski et al. Automatic Design of Finite
State Machines with Electrically Programmable Devices. Paper in PDF.
This is a description of using invariants in FSM design. Also it includes
simple explanation of MealyMoore and MooreMealy convertions.
 FSM implementation in VHDL. PPT slides.
 Marek Perkowski. Symbolic Analysis of Sequential
and Parallel Program Schemata in the Digital Design Automation System. Paper in PDF.
 Ciesielski. RTL design. Slides in PDF.
 Slides in PDF. Control logic design by Ciesielski.
 Slides in PDF on Design using flowcharts.
 Slides in PDF from Mano about basic design on RTL level using flowcharts.

Addition and Subtraction with SignedMagnitude Data. PPT slides from Mano. Use of flowcharts.
 Davis. State Machine Design methods.
Flowcharts. Slides in PDF>
 Sequencing and Control. Slides in PPT. Fundamental.
 Slides in PPT. Instructions in microprocessor.
Addressing modes.
 Slides in PDF in control unit design using flowchart and
HDL.
 Lectures on Assembly Language for Intel Based computers.
FSM. While Operator. Flowcharts. Slides in PPT.
 Slides in PDF> Special Topics in Advanced
Digital System Design. Boards and tools.
 Mano Chapter 8. Slides in PPT about flowcharting and control
design.
 Slides in PPT about Multicycle control.
 Lecture on DSP processor fundamentals. PDF format.
 Timing of FSM and FFs. Slides in Postscript.
 Mano. Slides in PDF on assembly leved processor design.
 Slides in PDF on FSM design.
Design of fuzzy logic controllers.
 PDF slides. Wang and Kazmierski.
VHDLAMS based genetic optimization of a fuzzy logic controller for automotive active suspension
system.
Design of large controllers and spectral methods.
 Paper in PDF. The hardware implementation of realtime
SAR signal processor.
 Contents of DSP book. PDF.
 Embedded System architectures paper in Postscript.
 Shi. Ph.thesis in PDF.
Floatingpoint to fixedpoint conversion.
 Westerlund. Comparison of Synthesizable Processor Cores.
M.S. Thesis in PDF.
 Using Delayed Addition Techniques to Accelerate Integer
and FloatingPoint Calculations in Configurable Hardwarea. Paper in PDF.
 Literature in Word on applications of FFT.
 Paper in PDF on Programmable Digital Signal Processor.
 Coric. Thesis on ParallelBeam
Backpropagation: an FPGA Implementation Optimized for Medical Imaging.
This includes Radon Transform.
 M.S. THESIS on
Development and Verification of Parametrized Digital Signal Processing Macros for Microelectronic
Systems. FFT related. PDF format.
 Student Project in PDF. A System on a Chip for Audio Encoding.
 M.S. Thesis by Kishore Kotteri in PDF.
Optimal Multiplier Less Implementation of the Discrete Wavelet Transform for Image Compression Applications.
 MS Thesis Kurt Rogers in PDF.
Acceleration and Implementation of a DSP PhaseBased Frequency Estimation Algorithm.
Matlab and Simulink to FPGA via Xilinx System Generator.
 Slides in PPT on Sharpening Techniques for Sensor Feature
Enhancement. Applications of FFT etc. DSP methods.
 Thesis in PDF. Orientation Filters for Realtime Computer Vision
Problems.
 M.S. Thesis by Tyler Moeller in PDF.
Field Programmable Gate Arrays for Radar FrontEnd DSP.
 Vector Processors.mht
 M.S. Thesis by A. Walters in PDF.
A Scaleable FIR Filter Implementation Using 32bit Floating Point Complex Arithmetic on a FPGA Based Custom
Computing Platform.
 M.S. Thesis in PDF by Belanovic. Library of Parametrized
Hardware Modules for FloatingPoint Arithmetic with An Example Application.
 Thesis by David Chui on Using FPGA engines in Physics.
 Patent by Sharp on FFT processor. PDF document.
 V. Arkesh. FPGA Implementation of a Low Power Doppler
Invariant BSK Receiver.
 DSP systems. Paper in PDF.
 Application of Reconfigurable Computing to a High Performance
FrontEnd Radar Signal Processor. Text in PDF.
 Peterson. Text in Postscript. An Assesment of the Suitability
of Reconfigurable Systems for DSP.
 High Performance DSP. Text in PDF.
 Bass. A LowPower, HighPerformance, 1024Point
FFT Processor. Text in PDF.
 MS Thesis in PDF on Adaptive Computing in NASA
MultiSpectral Image Processing.
 Postscript text on An Assesment of the Suitability of FPGAbased
Systems for use in DSP.
 Blair text in Postscript. A review of DFT.
 MS thesis by Ramirez Silva in PDF.
On Implementing TimeFrequency Representations on Hardware/Software Computational Structures for SAR
Applications.
 Tom Curtis on Sonar Technology. Past and Current.
Text in PDF.
 M.S. thesis in PDF on An Approach to LowPower, HighPerformance,
Fast Fourier Transform Processor Design.
 Broadcast transmission. Slides from Xilinx. PDF format.
Design of large asynchronous controllers.
 Slides in PPT. Lecture on Direct
synthesis of Largescale asynchronous Controllers using a PetriNetbased approach.
 Slides in PPT. Advanced Tutorial Lecture on Hardware Design of Asynchronous
Systems and Petri Nets.
 Yakovlev slides in PPT on Asynchronous Technology.
 M.S. Thesis on Design and Implementation of an Asynchronous
Pipelined Fast Fourier Transform Processor.
MATERIALS FOR MR. MANJITH KUMAR. SYNTHESIS OF QUANTUM ASYNCHRONOUS AUTOMATA.
State Minimization
Rho, Hachtel and Somenzi.
Paper in PDF. Exact and Heuristic Algorithms for the Minimization of Incompletely Specified
State Machines.
Avedillo, Quintana, Huertas, New Approach
to the State Reduction in Incompletely Specified Sequential Machines. Paper in PDF.
Avedillo, Quintana, Huertas, Efficient
State Reduction methods for PLAbased sequential circuits. Paper in PDF.
Richard Puri. An Efficient Algorithm
to Search for Minimal Closed Covers in Sequential Machines. Paper in PDF.
Concurrent State Minimization and State Assignment
Avedillo, etc. A New Method for the state reduction of Incompletely
Specified Finite Sequential Machines. Paper in PDF.
Avedillo, Quintana, Huertas,
State Merging and state splitting via state assignment: a New FSM synthesis algorithm.
Paper in PDF.
Avedillo, Quintana, Huertas,
SMAS: A program for the Concurrent State Reduction and State Assignment of Finite State Machines.
Paper in PDF.
Perkowski and Zhao. Concurrent
TwoDimensional State Minimization and State Assignment of Finite State Machines.
Paper in PDF.
Asynchronous State Machines
A CAD System for Automatic Synthesis of Generalized
Asynchronous Circuits. Paper in PDF.
Yun and Dill. Automatic Synthesis of 3D Asynchronous
State Machines. Paper in PDF.
Kida and Perkowski. The Cube Calculus Machine.
A Ring of Asynchronous Automata to Process MultipleValued Boolean Functions. Paper in PDF.
Beni and Liang.
Pattern Recognition in Swarms  Convergence of a distributed Asynchronous and Bounded Iterative Algorithms.
Paper in PDF.
Quantum State Machines and Quantum Sequential Circuits
Paper in PDF.
Operation of a 1bit Quantum Flux Parametron Shift Register.
Rapid SingleFluxQuantum DualRail Logic
for Asynchronous Circuits. Paper in PDF.
Quantum Neurons and their Fluctuations.
Paper in PDF.
Tools for the ComputerAided Design
of Multigigahertz Superconducting Digital Circuits. Paper in PDF.
A New Design Approach for RSFQ
Logic Circuits Based on the Binary Decision Diagram. Paper in PDF.
SelfTimed Parallel Adders based on DI RSFQ
Primitives. Paper in PDF.
Towards a Systematic Design Methodology
for Large Multigigahertz Rapid Flux Quantum Circuits. Paper in PDF.
New BSFQ Circuit Designs with Wide Margins.
Paper in PDF.
Tsai and Kuo, Quantum Boolean Circuit
Construction and Layout under Locality Constraint. Paper in PDF.
Gao, Brayton, Mishchenko,
Optimization of MultiValued MultiLevel Networks. Paper in PDF.
Tsai, Kuo, Wei. Quantum Boolean Circuit
Approach for Searching an Unordered Database. Paper in PDF.
list of papers from conference.
A Novel Global SelfTiming Methodology for
BSFQ Circuits. Paper in PDF.
Wang, Lu, Tsai, Kuo, Modified
Karnaugh Map for Quantum Boolean Circuit Construction. Paper in PDF.
A Quantum Particle Swarm Optimization. Paper in PDF.
Lu, Wang, Kuo. Quantum Boolean Circuits
Construction Using Tabulation Method. Paper in PDF.
Wang, Lu, Kuo. An Efficient Functional Verification
Method for Quantum Boolean Circuits. Paper in PDF.
Locally Synchronous, Globally Asynchronous Design
for QuantumDot Cellular Automata. Paper in PDF.
Chang and Cheng. Automatic Synthesis of Composable
Sequential Quantum Boolean Circuits. Paper in PDF.
A Framework for Componentbased Construction
Extended Abstract. Paper in PDF.
Random Thoughts on Abstract Machines.
Paper in PDF.
Nowick. Automatic Synthesis of BurstMode
Asynchronous Controllers. Paper in PDF.
FSM ReEngineering for Low Power State Encoding.
Paper in PDF.
Varshavsky  A Pioneer of Asynchronous World. Paper in PDF.
Calazans under Davio. PHD.
State Minimization and State Assignment of Finite State Machines: their relationship and their
impact on the implementation. PHD Thesis in PDF.
Calazans, paper in PDF.
Considering State Minimization during State Assignment.
Childs, Bacon, Wim Van Dam.
From Optimal State Estimation to Efficient Quantum Algorithms. Slides in PDF.
Cheng and Pluna. Exact EssentialHazardFree
State Minimization of Incompletely Specified Asynchronous Sequential Machines. Paper in PDF.
Causal Dependencies in Parallel Composition
of Stochastic Processes. Paper in PDF.
Dimitri Petritis. Sequential and Asynchronous Processes
Driven by Stochastic or Quantum Grammars and their Application to Genomics: A Survey. Paper in PS.
Perkowski et al.
Approaches to the InputOutput Encoding Problem in Boolean Decomposition. Paper in PS.
Slides in PDF.
Automatic Synthesis of Sequential Quantum Boolean Circuits Based on SelfTimed Specifications.
Marek Perkowski. Digital Design Automation: Finite
State Machine Design. Paper in PDF.
R. Fuhrer, S. Nowick. Paper in Postscript.
OPTIMISTA: State Minimization of Asynchronous FSMs for Optimum Output Logic.
Cheng and Wang. Grammar Theory Based on Quantum Logic.
Paper in PDF.
Paper in PS. Tools and APplications II. The IF Toolset.
UML and other tools.
Modeling the operation
of Margolus Quantum Cellular Automaton using highlevel Petri nets. Paper in Postscript.
Liu. A State Variable Assignment Method
For Asynchronous Sequential Switching Circuits. Paper in PDF.
Paper by Avedillo in PDF. A new method for state
reduction of incompletely specified FSM.
Perkowski. Digital Design Automation: FSM design. Paper
in PDF.
Paper in PDF by V. Pratt. Chu Spaces: Automata
with quantum aspects.
Chu Spaces: Automata with Quantum Aspects. Paper in PS.
Childs. Overview of adiabatic quantum computation.
Slides in PDF.
Margolus. Parallel Quantum Computation. Paper in PDF.
Margolus. Quantum Computation. Paper in PDF.
Asynchronous cellular automata and asynchronous
automata for pomsets. Paper in PDF.
Childs and Wim van Dam.
Quantum Algorithm for a Generalized Hidden Shift Problem. Slides in PDF.P
Design and Implementation of a highspeed
bitserial SFQ adder based on the binary decision diagram. Paper in PDF.
Laying out circuits on asynchronous cellular arrays:
a step towards feasible nanocomputers?. Paper in PDF.
Robert Fuhrer. Sequential Optimization of Asynchronous
and Synchronous FSMs: Algorithms and Tools. Thesis in PS.
Design and Operation of a rapid single flux quantum
demultiplexer. Paper in PDF.
A Basic Circuit for asynchronous superconductive logic
using RSFQ gates. Paper in PDF.
Design and Experimentation of BSFQ logic devices.
Paper in PDF.