Search programme

​Use the search function to search amongst programmes at Chalmers. The study programme and the study programme syllabus relating to your studies are generally from the academic year you began your studies.

Syllabus for

Academic year
DAT110 - Methods for electronic system design and verification
 
Syllabus adopted 2015-02-11 by Head of Programme (or corresponding)
Owner: MPEES
7,5 Credits
Grading: TH - Five, Four, Three, Not passed
Education cycle: Second-cycle
Major subject: Computer Science and Engineering, Electrical Engineering
Department: 37 - COMPUTER SCIENCE AND ENGINEERING


Teaching language: English
Open for exchange students
Block schedule: D

Course module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 Summer course No Sp
0107 Written and oral assignments 7,5 c Grading: TH   7,5 c    

In programs

MPSYS SYSTEMS, CONTROL AND MECHATRONICS, MSC PROGR, Year 2 (elective)
MPEES EMBEDDED ELECTRONIC SYSTEM DESIGN, MSC PROGR, Year 1 (compulsory)

Examiner:

Professor  Per Larsson-Edefors



  Go to Course Homepage

Eligibility:


In order to be eligible for a second cycle course the applicant needs to fulfil the general and specific entry requirements of the programme that owns the course. (If the second cycle course is owned by a first cycle programme, second cycle entry requirements apply.)
Exemption from the eligibility requirement: Applicants enrolled in a programme at Chalmers where the course is included in the study programme are exempted from fulfilling these requirements.

Course specific prerequisites

Introduction to electronic system design (DAT093).

Aim

In light of the fact that we can integrate billions of transistors on a single integrated circuit, electronic system designers are forced to make use of computer-aided design tools, so-called Electronic Design Automation (EDA) tools, to manage design complexity and to meet, for example, strict timing, power dissipation and time-to-market budgets. Thus, apart from having skills in each of the abstraction levels, like circuit, logic, and architecture design, an electronic system designer must have a thorough understanding of design and verification methods that span the different abstraction levels and the algorithms that are leveraged inside the EDA tools.

The purpose of this course is to strengthen the student's knowledge in EDA-based design and verification methods and to make the student proficient in utilizing the right EDA tools, in the right context and in the right sequence.

Learning outcomes (after completion of the course the student should be able to)

1. describe the algorithmic principles of a number of important EDA concepts, such as behavioral and logic synthesis, logic simulation, static timing analysis, timing closure and power dissipation analysis
2. describe contemporary EDA design flows and their fundamental weaknesses and strengths
3. apply Linux-based EDA tools, including simple shell scripts, for design and verification of digital electronic system
4. perform timing-driven synthesis and power dissipation analysis for digital circuits
5. critically and systematically integrate knowledge, to model, simulate, and evaluate features of digital ASIC design flows
6. communicate his/her conclusions of laboratory work and in-depth term paper studies, and the knowledge and rationale underpinning these, clearly and unambiguously

Content

The lecture series, which mirrors the overall content of the course, covers:
 - Terminology and structure of EDA systems.
 - Design of electronic systems that are based on both software and hardware.
 - Functional verification.
 - Behavioral and logic synthesis.
 - Timing analysis.
 - Power and energy analysis.
 - Variability.
 - Physical design.
 - Design for test and manufacturability.
 - Discrete mathematics and optimization relevant to EDA.
 - Scientific writing.

Beside the lecture on scientific writing, there is also one peer response workshop where the students get to develop their writing skills by reading and commenting a draft from another term paper group.

Organisation

The pedagogical concept of the course rests on three cornerstones:

lectures: these mainly supply the design and verification context of advanced electronic systems containing software and hardware.
lab exercises: these offer comprehensive hands-on training on industrially relevant design and verification problems using state-of-the-art EDA systems (from Cadence and Synopsys).
term paper work: this gives the student an opportunity to study state-of-the-art research-level texts, which allows the student to focus on an appropriate and interesting technical area and at the same time obtain training in reading research papers and practice scientific writing.

Literature

Main textbook: Electronic Design Automation for Integrated Circuits Handbook - 2 Volume Set, by L. Lavagno, G. Martin, and L. Scheffer, CRC Press, 2006, ISBN 9780849330964. (This book is also available from within Chalmers, as an electronic book.)

Supplemental scientific papers for the group work on term papers.

Examination

The examination has two parts:

Lab exercises, including synthesis and place-and-route for ASICs: 60% of total course grade is based on quality of preparation, VHDL handins, log books and lab report.
Term paper work (in teams of 3 students) on selected topics, including a term paper report and an oral presentation: 40% of total course grade is based on quality of term paper report and oral presentation.


Page manager Published: Mon 28 Nov 2016.