CS523: Digital Circuits Design Lab Using EDA Tools (Spring 2020)
Department of Computer Science, University of Crete
Schedule
Class hours: Monday and Wednesday 14.15 - 16.00 in room H.206
Friday classes will be held as needed in room H.206 (14:15 - 16:00) to make up in case of instructor's absence during regular class meeting times.
Office hours: Wednesday 16:15 - 18:00 @ K319 (preferably by appointment)
Staff
| Instructors | Teaching Assistants |
| Dr. Vassilis Papaefstathiou | Mr. Michalis Giaourtas |
| Prof. Manolis Katevenis | Mr. Theocharis Vavouris |
Course Information
| Area: | Microelectronic Systems Architecture (A) - M.Sc. Program |
| Description: | Electronic Design Automation (EDA) flows and Computer Aided Design (CAD) tools for digital circuit design. Advanced features of Hardware Description Languages (Verilog, VHDL). Behavioral and structural models. Simulation: algorithms and tools. Timing analysis. Design verification: input stimuli, output checking, simulations with models at different abstraction levels. Digital circuit testing and design for testability (DFT). Synthesizable description and logic synthesis tools (e.g. Xilinx Vivado, Synopsys Design Compiler). Placement and Routing: tools and techniques. Incremental design flows (back-annotation, ECO, LVS). Examples on FPGA and ASIC technologies. Using available IP cores to build System-on-Chip (SoC). Laboratory assignments on designing and verifying digital systems of medium complexity using the presented tools and flows for multiple target technologies (FPGA and ASIC). |
| ECTS: | 6 |
| Prerequisites: |
CS220 - Digital Circuits Lab
CS225 - Computer Organization |
| Grading: |
Lab Assignments: 30%
Project: 60% Class Participation: 10% |
| Mailing-list: | hy523-list at csd dot uoc dot gr |
We deeply appreciate the strong support provided to this course by the Computer Architecture and VLSI Systems (CARV) Laboratory of the Institute of Computer Science of FORTH through human resources and training of students on state-of-the-art EDA tools.
Course material will be made available only on the internal website accessible from the university's subnet.
Lectures Schedule (Tentative)
| Date | Description | Material | Reading List |
|---|---|---|---|
| Week 01: 03 Feb. - 07 Feb. 2020 | Introduction to Design Flows | ||
| Week 02: 10 Feb. - 14 Feb. 2020 | Hardware Description Languages (SystemVerilog) | ||
| Week 03: 17 Feb. - 21 Feb. 2020 | Advanced HDL Features (SystemVerilog) | ||
| Week 04: 24 Feb. - 28 Feb. 2020 | Functional Verification (SystemVerilog & UVM) | ||
| Week 05: 02 Mar. - 06 Mar. 2020 | Simulation: Algorithms and Tools | ||
| Week 06: 09 Mar. - 13 Mar. 2020 | Logic Synthesis | ||
| Week 07: 16 Mar. - 20 Mar. 2020 | Static Timing Analysis | ||
| Week 08: 23 Mar. - 27 Mar. 2020 | Design for Testability | ||
| Week 09: 30 Mar. - 03 Apr. 2020 | Floorplanning and Power Planning | ||
| Week 10: 06 Apr. - 10 Apr. 2020 | Placement | ||
| 13 Apr. - 24 Apr. 2020 | Easter Holiday Weeks | ||
| Week 11: 27 Apr. - 01 May 2020 | Routing | ||
| Week 12: 04 May - 08 May 2020 | Power Optimization | ||
| Week 13: 11 May - 15 May 2020 | Physical Verification |
Laboratory Assignments (Tentative)
| Date | Description | Material | Deadline |
|---|---|---|---|
| Week 04: 24 Feb. - 28 Feb. 2020 | Lab 1: SystemVerilog Testbenches | Week 06: 09 Mar. - 13 Mar. 2020 | |
| Week 07: 16 Mar. - 20 Mar. 2020 | Lab 2: Logic Synthesis | Week 08: 23 Mar. - 27 Mar. 2020 | |
| Week 11: 27 Apr. - 01 May 2020 | Lab 3: Physical Design and Implementation | Week 12: 04 May - 08 May 2020 | |
| Week 10: 06 Apr. - 10 Apr. 2020 | Student Projects | Week 13: 11 May - 15 May 2020 |
Websites from Previous Years
- Spring 2019 (taught by V. Papaefstathiou)
- Spring 2018 (taught by V. Papaefstathiou)
- Fall 2012 (taught by C. Sotiriou)
- Fall 2011 (taught by C. Sotiriou)
- Fall 2010 (taught by C. Sotiriou)
- Fall 2008 (taught by C. Sotiriou)
Last update: 4 Mar. 2020 - by V. Papaefstathiou