CONTROL UNIT DESIGN.
This class is entirely based on new papers and ideas.
Grades are based on projects. No exams, no homeworks.
Continuation of Winter class. No new students will be admitted.
Modern topics in Programmable Logic.
TANT networks, use of EXOR gates, EXOR PLAs, applications of LI logic.
Negative Gates, Complex CMOS gates.
Layout generators for Complex CMOS gates and logic synthesis for them.
Synthesis methods for Xilinx and Actel families of devices.
Recent devices from several leading companies
will be presented as examples: Lookup-Table, Multiplexer-based,
specialized, routing-plane based, and cellular.
CLI 6000 as an example of fine grain FPGAs. Cellular logic.
Motorola, analog and mixed FPAAs.
Boolean versus algebraic methods for multi-level logic.
Advanced topics in spectral logic an LI logic.
Generalized Expansions. Hadamard-Walsh versus Reed-Muller transforms.
Advanced Logic Synthesis for FPGAs.
Design of tree and layered circuits. Design of state machines in FPGAs.
Theory of cellular logic. Realization of non-deterministic
machines. Cellular automata. Regular sequential structures.
Comprehensive systems for synthesis of programmable devices.
Design automation for sequential circuits and Finite State Machines.
State Minimization of FSMs. Two-dimensional State Minimization of FSMs.
State Assignment of FSMs.
Input-Output Encoding of FSMs and combinational logic.
Non-deterministic and Parallel FSMs.
Decomposition of FSMs.
Microprogramming and systematic design of control units.
Hardware scheduling and allocation.
Automatic System Verification.
Student Presentation: Craig Files - Implementation of BDD package and applications.
Student Presentation: Robert Safranek, Karen Dill, Konika Gunguly - Logic Synthesis for Arithmetic Functions
- presentation of Tsai/Sadowska paper and critique.
Student Presentation: Ben Drucker, Craig Files, - Symmetrization and Algorithms for Lattice Layout.
Student Presentation: Chen Qihong and group - Functional Decomposition on CCM realized on DEC PERLE-1.