EE 280-001, 002
Design of Logic Circuits
Course Syllabus
Fall, 2000
Instructor: Dr. J. Robert Heath
Office: 310 Engineering Annex (257-3124)
Email: heath@engr.uky.edu
Web Page: http://www.engr.uky.edu/~heath
Office Hours: M (3:00 p.m. - 4:00 p.m.)
W (2:00 p.m. - 3:00 p.m.)
F (10:00 a.m.-11:00 a.m.)
Text: 1. V.P. Nelson, H.T. Nagle, B.D. Carroll and J.D. Irwin, DigitalLogic Circuit Analysis and Design, Prentice Hall, 1995 (Required)
2. Michael D. Ciletti, Modeling, Synthesis, and Rapid Prototyping with the Verilog HDL, Prentice Hall, 1999 (Optional)
Meeting Schedule: MWF (8:00 a.m. - 8:50 a.m. or 9:00 a.m.-9:50 a.m..) AH 259
Course Objectives: The study of number systems and Boolean algebra; modeling, analysis, design, and implementation/synthesis of combinational logic circuits; modeling, analysis, and design of flip-flop memory elements; modeling, analysis, design and implementation/synthesis of synchronous and asynchronous sequential logic circuits; logic design problems using SSI/MSI/LSI TTL integrated circuits and CPLD/FPGA integrated circuits; and design capture, simulation, and design verification of digital circuits via use of a Hardware Description Language (HDL) and modern CAD software. (Prereq: CS 115).
Topical Outline: I. Electrical and Electronic Systems
A. Continuous Systems
B. Discrete Systems
C. Design Capture and Design Verification via Simulation
Using Hardware Description Languages (HDLs)
II. Number Systems
A. Notation
1. Juxtapositional
2. Polynomial
B. Signed-Magnitude Numbers
C. Fixed Pt. Numbers
D. Floating Pt. Numbers
E. Binary Arithmetic Operations
F. Number/Base Conversions
G. Complementary Arithmetic
1. Radix Complement
2. Diminished Radix Complement
III. Computer Codes
IV. Boolean Algebra and Logic Gates
A. Postulates
B. Theorems
C. Duality
D. Boolean Functions
E. Truth Tables
F. Logic Gates
G. Implementation of Logic Functions
H. Design Capture via the Verilog Hardware Description
Language
I. Design Verification via Presynthesis Simulation
V. Minimization of Logic Functions
A. Algebraic
B. Karnough Maps
C. Quine-McCluskey
VI. Design of Combinational Logic Circuits (Systems)
A. Circuit Specifications
B. I/O Identification
C. Circuit Truth Table
D. Circuit Functional Equation(s) Development
E. Equation Minimization
F. Implementation of Functional Equation(s)
G. Combinational Hazards
H. Design, Design Capture, and Design Verification Via Pre-synthesis Simulation Examples
VII. Integrated Circuits
A. Levels of Integration
B. Logic Families and Characteristics
C. Digital Design Capture, Simulation/Analysis, and
Synthesis CAD Software
VIII. MSI/LSI/VLSI Level Implementation of Logic
A. Multiplexors
B. Decoders
C. ROMS
D. PLA's, PAL's, CPLD's and FPGA's
IX. Sequential Logic Circuits
A. General Model
B. State Diagrams
C. State Tables
D. Flip-Flops
X. Design of Synchronous Sequential Logic Circuits
A. Equivalent States
B. State Diagram/Table Reduction
C. State Assignment
D. Excitation Tables
E. Design Algorithm
F. Incompletely Specified Circuits
G. Design, Design Capture, and Design Verification
Examples via Use of a HDL
XI. Design of Pulse-Mode Asynchronous Sequential Circuits
A. Pulse Mode Model
B. Design Algorithm
C. Design, Design Capture, and Design Verification
Examples via Use of a HDL
XII. Design of Fundamental Mode Asynchronous Circuits
A. Fundamental Mode Model
B. Analysis of Level Sequential Circuits
C. Flow Table Generation
D. Cycles and Races
E. Fundamental Mode Output Maps
F. Design Examples
Homework: Homework will be assigned daily. You will be provided solutions to
all homework problems. You must work “all” homework problems to
do well in this course.
Verification Projs: During the semester you will design several logic circuits, capture
each design using a HDL (Verilog), and verify correct design and
functional/timing operation of each logic circuit via use of Simucad's
SILOS III Verilog pre-synthesis sumulation CAD tools.
Outcomes: Upon completion of this course students should demonstrate an
ability to:
1. Perform arithmetic in various number systems.
2. Apply Boolean Algebra to the design and minimization of logic
circuits.
3. Design combinational logic circuits and use a computer simulation
to verify correct design and operation of the circuits.
4. Design synchronous and asynchronous sequential logic circuits
and use computer simulation to verify correct design and operation of
the circuits.
5. Apply timing analysis to design a reliable logic circuit when
multiple signal paths are involved.
Grade: 1. Three (3) Tests: (Sept. 25, Oct. 30, and Dec. 1 ) - 60%
2. Design and Design Verification Projects - 20%
3. Comprehensive Final Examination (Section 001-
Dec. 15, Section 002-Dec. 11)- 20%
Your final grade will be determined by the number of points you
have accumulated from 100 possible as follows:
A: 90 - 100 pts.
B: 80 - 89 pts.
C: 70 - 79 pts.
D: 60 - 69 pts.
E: < - 60 pts.
Examinations: Make-up examinations will only be given to students who miss
examinations as a result of excused absences according to applicable
current university policy.
Program: This course is part of the University Studies Program, which is
designed to provide a comprehensive liberal arts education to all
undergraduates. The course PHI 320 Symbolic Logic I, can be paired
with this course to fulfill a portion of the cross-disciplinary
requirement in University Studies.
Class Attendance: Attendance of all class lectures is required to assure maximum course
performance. You are responsible for all business conducted within a
class. Daily attendance rolls will not be taken.
Cheating: Cheating will not be allowed or tolerated. Anyone caught cheating
will be dealt with according to applicable University policy.
(Assignment of a grade of E for the course).