Design technologies for integrated systems
CS-472
This file is part of the content downloaded from Design technologies for integrated systems.
- Discussion Forum (Forum)
- Announcement forum (Forum)
- Errata for the text book (File)
- To borrow the textbook, you can pay a visit to INF... (Text and media area)
- Course Syllabus (File)
- Skills and background knowledges you will need in this course (Page)
- Coding environment (Page)
- DTIS EDAUSER accounts (File)
- Server to be used for programming assignments (Page)
Week 1: 10, 12 September
- Lectures (Tue 8-10, Thu 10-13) (Text and media area)
- 01: Introduction (File)
- 02: Modeling Languages and Abstract Models (File)
- Exercise 1 (File)
Week 2: 17, 19 September
- Lectures (Tue 8-10, Thu 10-11) (Text and media area)
- 04: Architectural-Level Synthesis (File)
- 03: FSM-based Specification Formalisms (File)
- Exercise session (Thu 11-13) (Text and media area)
- C++ tutorial (File)
- Graphs tutorial (brief review) (File)
- Exercise 1 - reference solution (File)
- Exercise 2 (File)
Week 3: 24, 26 September
- Lectures (Tue 8-10) (Text and media area)
- 05: Scheduling (File)
- Exercise session (Thu 10-13) (Text and media area)
- Exercise 2 - reference solution (File)
- Homework 0 - reference solution (Folder)
- VHDL tutorial (File)
- Exercise 3 (File)
Week 4: 1, 3 October
- Lectures (Tue 9-10, Thu 10-11). For the lecture on... (Text and media area)
- 06: Resource Sharing (File)
- Exercise session (Tue 8-9, Thu 11-13). The one on ... (Text and media area)
- Exercise 3 - reference solution (File)
- Exercise 4 (File)
Week 5: 8, 10 October
- Exercise session (Tue 8-10) (Text and media area)
- Exercise 4 - reference solution (File)
- Exercise 5 (File)
- Lectures (Thu 10-13) (Text and media area)
- 07: Two-level Logic Synthesis and Optimization (File)
Week 6: 15, 17 October
- 08: Heuristic Two-Level Logic Optimization (File)
- Exercise 6 (File)
- Exercise 5 - reference solution (File)
- Exercise 6 - reference solution (File)
- Cofactoring in the positional cube notation (File)
Week 7: in-semester break
Week 8: 29, 31 October
- Lectures (Tue 8-10, Thu 10-11) (Text and media area)
- 09: Encoding (File)
- 10: Binary Decision Diagrams (File)
- Exercise session (Thu 11-13) (Text and media area)
- Exercise 8 (File)
- Exercise 8 - reference solution (File)
Week 9: 5, 7 November
- Review session (Tue 8-10): TAs will be in room INM... (Text and media area)
- Midterm exam (Thu 10:15-12:15) in INF1 and INF2. R... (Text and media area)
Week 10: 12, 14 November
- Lectures (Tue 8-10, Thu 10-11) (Text and media area)
- 11: Multi-Level Logic Synthesis (File)
- 12: Boolean Methods for Multi-level Logic Synthesis (File)
- Exercise session (Thu 11-13) (Text and media area)
- Exercise 7 (File)
- Exercise 9 (File)
- Exercise 7 - reference solution (File)
Week 11: 19, 21 November
- Lectures (Tue 8-10) (Text and media area)
- Logic Synthesis for Approximate Computing Circuits (File)
- Exercise session (Thu 10-13) (Text and media area)
- Exercise 9 - reference solution (File)
- Exercise 10 (File)
Week 12: 26, 28 November
- Lectures (Tue 8-10, Thu 10-11): In Tuesday's lectu... (Text and media area)
- 12: Boolean Methods for Multi-level Logic Synthesis (File)
- 13: Timing Issues in Multi-level Logic Optimization (File)
- Exercise session (Thu 11-13) (copy) (copy) (Text and media area)
- Exercise 10 - reference solution (File)
Week 13: 3, 5 December
- Lectures (Tue 8-10, Thu 10-11) (Text and media area)
- 14: Sequential Logic Synthesis (File)
- Exercise session (Thu 11-13) (Text and media area)
- Exercise 11 (File)
- Exercise 11 - reference solution (File)
Week 14: 10, 12 December
- Lectures (Tue 8-10, Thu 10-11) (copy) (copy) (copy) (copy) (copy) (copy) (Text and media area)
- 15: Libraries and Mapping (File)
- ==== Final exam material until this line ==== (Text and media area)
- 16: Elements of Physical Design (File)
- Exercise session (Thu 11-13) (copy) (copy) (copy) (Text and media area)
- No new exercise set this week. (Text and media area)