# Logic Systems

Semestr: Winter

Range: 3+2s

Completion:

Credits: 6

Programme type: Undefined

Study form:

Course language:

### Summary:

Logic functions and their representation, symmetric, threshold and majority functions, minimisation of combinational systems and their synthesis, hazards in logic systems, sequential systems, finite automata, minimisation and coding of states, design of synchronous, resp. asynchronous systems, timing, programmable logic structures.

### Course syllabus:

1. Logic functions - description forms. Full canonical form
2. Threshold and majority functions. Neural network. Minimal canonical form
3. Minimization by Quine-Mc Cluskey. Group minimization
4. Combinational systems and their synthesis. Canonical decomposition
5. Hazards in combinational logic systems
6. Formal description of sequential systems as finite automata
7. Mealy and Moore automaton and their conversion
8. Design of transition table and output table
9. Minimization of internal states
10. Synthesis of synchronous systems. Coding of internal states
11. Hazards in asynchronous sequential systems. Design problem
12. Coding of internal states in asynchronous systems
13. Programmable logic structures. Microcontroller
14. Timing of clocked systems

### Seminar syllabus:

1. Basic logic functions. Description forms of logic functions. Canonical forms
2. Threshold and majority functions. Model of neural network
3. Representation and minimization of functions
4. Minimization of group logic functions
5. Synthesis of combinational circuit
6. Laboratory exercise on combinational logic circuits
7. Hazards in combinational logic systems
8. Design of sequential logic circuit
9. Automaton description of sequential systems. Mealy and Moore
10. Minimization of internal states - examples
11. Coding of states and synthesis of synchronous systems
12. Programmable logic structures. Microcontroller
13. Timing in sequential circuits
14. Hazards in asynchronous sequential systems

### Literature:

[1] Mc Cluskey, E. J.: Logic Design Principles. Prentice/Hall Int., 1986
[2] Katz, R.H.: Contemporary Logic Design. The Benjamin/Cummings Publishing Company Inc.,1994