Logical Circuits

Semestr: Winter

Range: 14+6c

Completion:

Credits: 5

Programme type: Undefined

Study form: Parttime

Course language:

Summary:

The students get acquaintance with design of combinatorial and sequential circuits, namely those used in digital computers from gate level to MSI and LSI. Analysis and basic testing methods are included. Laboratory part allows the student to relate the learned concepts with practical design in a real working environment.

Keywords:

logical circuit Boolean algebra ligic minimization combinatorial circuit sequential circuit flip-flop, latch FPGA, CPLD test senzitive path

Course syllabus:

1. Introduction to logic components and their relation to a computer system. Design process and CAD tools
2. Logic (Boolean) functions and their description forms, canonical forms, true tables, maps
3. Minimal canonical forms. Simplification methods - map and Quinne-McCluskey methods
4. Gate level implementations
5. Sequential logic - Finite State Machine (FSM) model capture. Behaviour and properties
6. Synthesis of sequential logic by gates and flip-flops. State minimisation and encoding
7. Typical computer components and their design - adders, counters, registers, shifters
8. Analysis of logic circuits. Gate implementation and timing - hazard-free design. Sequential circuits timing
9. Digital simulation and CAD tools
10. Introduction to diagnostics. Fault models for digital systems. Test generation - intuitive path sensitising
11. Logic design using MSI and LSI components
12. Design methods with respect to used components
13. Asynchronous design, hazards
14. Typical asynchronous components, asynchronous counter design

Seminar syllabus:

Lab parts are scheduled in K336 labs and use the design kits LABORO or in PC labs using a simulator
1. Combinatorial and sequential circuits, serial and parallel transmission, examples
2. Logical function description (Boolean expression, true tabs, maps, canonical forms)
3. Simplification of Boolean functions
4. Gate level implementation
5. Lab course. Gate level implementation
6. Synthesis of sequential logic - gates and flip-flop levels
7. Lab course. Latch and flip-flop functions and real properties
8. Examples of sequential circuits design from different input description
9. Lab course. Synthesis of sequential logic - gates and flip-flop levels
10. Analysis of logic circuits - hazard-free design
11. Test generation - intuitive path sensitising - examples
12. Synthesis of sequential logic - MSI and LSI levels
13. Lab course. Synthesis of sequential logic - MSI and LSI levels
14. Asynchronous circuits

Literature:

1. Gajski, D. D.: Principles of Digital Design. Prentice-Hall International, Inc. 1997
2. Friedman, A. D., Menon, P. R.: Teorie a návrh logických obvodů. SNTL Praha 1983, překlad z: Theory & Design of Switching Circuits. Computer Science Press, Inc., USA, 1975

Examiners:

Lecturers:

Instructors: