Seminars on Digital Design
- Department of Computer Science
This subject deals with the problems of realization and implementation of digital circuits - both combinational and sequential with respect to recent design platforms, programmable circuits and ASIC, timing, optimization and verification.
„PSC“ master courses knowledges.
- Syllabus of lectures:
Logic function representations (BDD, AIG, etc.), properties. Minimization, algebraic and Boolean methods, exact and heuristic methods. Technology mapping.
Automata theory, equivalence, decomposition, FSM implementation, technology mapping. Synchronous circuits optimization. Re-timing. Asynchronous sequential circuits
3.Combinatorial algorithms in logic synthesis
SAT solving, covering problem solving. Heuristic and exact methods. On-line optimization.
4.Electrical level and timing
Signals, noise immunity, reflections. electro magnetic compatibility, cross-talks, ground lines disturbances, clock distributions. Metastability, jitter. Analysis of synchronous circuits, clock domains relations, communication between clock domains. Technology properties with respect to timing. Timing models.
Structure, processes, design processes. Data import and export. Non-standard approaches.
Model checking, equivalence checking. Implicit and explicit models. PSC language. Assertions, libraries of assertions. Mixed verification methods.
- Syllabus of tutorials:
- Study Objective:
This subject will extend practical and theoretical skills obtained from „PSC“ master courses by recent and new trends in digital design field of research and practice.
- Study materials:
G. D. Hachtel, F. Somenzi: „Logic Synthesis and Verification Algorithms“, Kluwer Academic Pub, 1996, 564 p.
S. Hassoun, T. Sasao, „Logic Synthesis and Verification“, Boston, MA, Kluwer Academic Publishers, 2002, 454 p.
Digital design world and Europe conferences, e.g. DDECS, DSD, ISWBP, ..
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: