Lecturer(s)
|
|
Course content
|
1. Introduction. Logic object behaviour. 2. Logic circuits, CPLD, FPGA, basic structure, function. 3. Combinational circuits, Maely, Moore, Huffman automaton. 4. Combinational circuits, canonical forms. 5. Sequential circuits, Mealy, Moore and Huffman automaton. 6. Optimization of finite state machines, minimization of state number, state coding. 7. Composition and decomposition of logic entity, interesting combinational and sequential blocks, their application. 8. Introduction into HDL. 9. Syntax overview, basic language construct. Development environment for the design of programmable logic. 10. Simulation and design testing. 11. Introduction into asynchronous automata. 12. Asynchronous automata, state coding, hazards, examples. 13. Reserve.
|
Learning activities and teaching methods
|
Laboratory work, Individual study, Lecture, Practicum
- Preparation for formative assessments (2-20)
- 11 hours per semester
- Presentation preparation (report) (1-10)
- 4 hours per semester
- Preparation for an examination (30-60)
- 44 hours per semester
- Contact hours
- 65 hours per semester
- Undergraduate study programme term essay (20-40)
- 32 hours per semester
|
prerequisite |
---|
Knowledge |
---|
to demonstrate knowledges of mathematics at the secondary school level |
to demonstrate knowledges of physics at the secondary school level |
to demonstrate knowledges of electronics at the secondary school level |
Skills |
---|
to use common laboratory instruments |
to apply mathematic logic basics |
Competences |
---|
N/A |
N/A |
N/A |
N/A |
learning outcomes |
---|
Knowledge |
---|
to design computer elementary function modules |
of the logic systems theory |
of modern logic circuits design methods using HDL languages |
Skills |
---|
to implement logic systems in CPLD or FPGA |
to use logic elements in the logic systems design |
to optimize designed functional modules |
Competences |
---|
N/A |
N/A |
N/A |
N/A |
teaching methods |
---|
Knowledge |
---|
Lecture |
Practicum |
Laboratory work |
Individual study |
Skills |
---|
Lecture |
One-to-One tutorial |
Textual studies |
Task-based study method |
Competences |
---|
Lecture |
One-to-One tutorial |
Laboratory work |
assessment methods |
---|
Knowledge |
---|
Written exam |
Test |
Seminar work |
Skills |
---|
Written exam |
Skills demonstration during practicum |
Individual presentation at a seminar |
Competences |
---|
Written exam |
Individual presentation at a seminar |
Test |
Recommended literature
|
-
Bokr, Josef; Jáneš, Vlastimil. Logické systémy. Vyd 1. Praha : Vydavatelství ČVUT, 1999. ISBN 80-01-01992-6.
-
Hassoun, Sona; Sasao, Tsutomu. Logic Synthesis and Verification. 1 ed. Springer, 2001. ISBN 978-0792376064.
-
Katz, Randy H.; Borriello, Gaetano. Contemporary logic design. 2nd ed. Upper Saddle River : Pearson Prentice Hall, 2005. ISBN 0-201-30857-6.
-
Mano, M. Logic and Computer Design Fundamentals. Prentice Hall, 2004. ISBN 0-13-L40539-X.
-
Roth, Jr. Fundamentals of Logic Design. Cengage Learning Inc., 2010.
-
Vranesic, Z. Fundamentals of Digital Logic wtih VHDL Design. McGraw-Hill, 2005.
|