Electronic Design Automation
Module Number: EI70610
Duration: 1 Semester
Occurence: Winter Semester
Number of ECTS: 5
Professor in charge: Ulf Schlichtmann
Amount of work
Contact hours: 60
Self-study hours: 90
Description of achievement and assessment methods
Written examination (75 minutes, open book policy, non-programmable calculator permitted) (100%) with questions that check the knowledge of synthesizing, optimizing and simulating digital circuits on logic level and the capability of modeling electronic design tasks mit mixed integer linear programming.
Fundamentals of digital logic design; fundamental engineering mathematics;
Intended Learning Outcomes
Upon successful completion of the module students are capable of employing algorithms for computer-aided design of (digital) integrated circuits, electronic systems, and other emerging platforms. Students can use and develop software tools for synthesis, optimization and simulation of digital circuits on logic level. They are capable of modeling tasks of electronic design automation as mixed integer linear programming problems.
Logic Synthesis: Boolean functions, synthesis of 2-level combinational circuits, heuristic minimization of 2-level combinational circuits, synthesis of multi-level combinational circuits, ordered binary decision diagrams, synthesis of sequential circuits with finite state machines (FSM);
Logic Simulation: event-driven simulation, modeling and simulation using VHDL;
Mixed Integer Linear Programming (MILP) Modeling: properties of modeling method, mathematical modeling techniques (constraint linearization, OR-relation transformation, propositional logic modeling, absolute value modeling), modeling common EDA problems including grid routing, gridless routing, escape routing on printed circuit board (PCB), area routing on PCB, non-overlapping placement, area minimization, network flow, etc.
Additional Topics: modeling applications in emerging technologies.
Teaching and learning methods
In addition to the individual learning of the students, consolidated knowledge is acquired by exemplary solutions to exercises and examples in the lectures.
Students are instructed by blackboard writing, interactive discussions, sometimes slide presentations and enactment of solving exemplary tasks.
The following kinds of media are used:
- Blackboard presentations
- Comprehensive collection of formulas and algorithms
- Catalog of exercises with solutions
- Additional examples and demos are available online
The following literature is recommended:
- Algorithms for VLSI Design Automation; Sabih H. Gerez; John Wiley & Sons 1999
- Synthesis and Optimization of Digital Circuits; De Micheli, Giovanni; McGraw-Hill 1994
- VLSI Physical Design Automation; S. Sait, H. Youssef; McGraw-Hill 1995
- Applied Mathematical Programming; Bradley, Hax, and Magnanti; Addison-Wesley 1977