IL2203 Digital Design and Validation using Hardware Description Languages 9.0 credits

Digital design och validering med hårdvarubeskrivande språk

The course gives foundational knowledge in Design, Modelling and Validation of Digital Systems with the hardware description languages VHDL and Verilog/System Verilog with the help of common design tools (EDA-tools) used in industry. The target technology is foremost FPGAs. FPGA = Field Programmable Gate Array ASIC = Application Specific Integrated Circuit EDA = Electronic Design Automation.

Show course information based on the chosen semester and course offering:

Offering and execution

No offering selected

Select the semester and course offering above to get information from the correct course syllabus and course offering.

Course information

Content and learning outcomes

Course contents *

  • Introduction to hardware description languages
  • Introduction to general system design flow and implementation techniques; FPGAs versus ASICs
  • Modelling of digital systems by means of VHDL
  • Construction and analysis of combinatorial and sequential components
  • Asynchronous and synchronous state machines
  • The subset of VHDL that can be synthesized
  • Introduction to synthesis methodology
  • Synthesis for FPGAs
  • Microcontrollers/processors and data buses
  • Introduction to Verilog and SystemVerilog
  • Validation methods for embedded digital systems: Validation versus verification, randomised stimuli and constraints, code coverage, test coverage, regression test

Intended learning outcomes *

After a passed course, the student should be able to

  • use hardware description languages to model digital hardware
  • mention and explain the different stages in the design flow for digital hardware
  • point out the subset of a hardware description language that can be synthesized
  • describe differences between the most common hardware description languages
  • describe different architectures for digital hardware implementation
  • design and validate digital hardware that is implemented on an FPGA
  • explain the fundamental functionality of a hardware description language for modelling and validation of digital hardware
  • use typical design and validation methods for combinatorial circuits, asynchronous and synchronous state machines and bus structures
  • describe the different validation stages of digital hardware.

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

  • Basic digital technology equivalent to IE1204 Digital Design.
  • Basic knowledge of the structure of microprocessors and instruction execution equivalent to IS1200 Division of Computer Systems, basic course.
  • Basic knowledge of electric circuits equivalent to either IE1206 Embedded electronics, or EI1110 Electrical Circuit Analysis, Extended Course

Recommended prerequisites

No information inserted

Equipment

Student is expected to use an own portable computer during laboratory sessions.

Literature

Information about the course literature will be announced in the course memo.

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • LAB1 - Laboratory work, 3.0 credits, Grading scale: P, F
  • LAB2 - Laboratory work, 1.5 credits, Grading scale: P, F
  • SEM1 - Seminars, 1.5 credits, Grading scale: P, F
  • TEN1 - Written exam, 3.0 credits, Grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

The examiner decides, in consultation with KTH's coordinator for disabilities (Funka), about possible adapted examination for students with documented, permanent disabilities. The examiner may permit other examination format for re-examination of individual students.

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

No information inserted

Further information

Course web

Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

Course web IL2203

Offered by

EECS/Electronics and Embedded Systems

Main field of study *

Computer Science and Engineering, Electrical Engineering

Education cycle *

Second cycle

Add-on studies

No information inserted

Ethical approach *

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Supplementary information

In this course, the EECS code of honor applies, see: http://www.kth.se/en/eecs/utbildning/hederskodex.