Skip to main content
Till KTH:s startsida

IL2234 Digital Systems Design and Verification using Hardware Description Languages 9.0 credits

Information per course offering

Choose semester and course offering to see current information and more about the course, such as course syllabus, study period, and application information.

Termin

Information for Autumn 2025 Start 25 Aug 2025 programme students

Course location

KTH Campus

Duration
25 Aug 2025 - 24 Oct 2025
Periods
P1 (9.0 hp)
Pace of study

67%

Application code

50618

Form of study

Normal Daytime

Language of instruction

English

Course memo
Course memo is not published
Number of places

Places are not limited

Target group

TEBSM, TIVNM

Planned modular schedule
[object Object]
Schedule
Schedule is not published

Contact

Examiner
No information inserted
Course coordinator
No information inserted
Teachers
No information inserted

Course syllabus as PDF

Please note: all information from the Course syllabus is available on this page in an accessible format.

Course syllabus IL2234 (Autumn 2023–)
Headings with content from the Course syllabus IL2234 (Autumn 2023–) are denoted with an asterisk ( )

Content and learning outcomes

Course contents

The course teaches digital systems design and verificaiton using hardware description language. Additionally, the course includes simulation and synthesis of digital systems designs targeting FPGAs.

  • Review of elementary digital design concepts and their modeling and verification in HDL.
  • Review of sequential elements, timing concepts, and their applications and modelling and verification in HDL.
  • Design of finite state machines (FSMs) and datapaths.
  • Modeling and verification of FSM and datapaths in HDL.
  • Advanced digital systems concepts.
  • Advanced verification concepts: constrained random stimuli generation, assertions, coverage, formal verification.

Intended learning outcomes

After passing the course, the student should be able to

  • design digital systems to fulfill given functional requirements
  • model and simulate digital systems in hardware description languages (HDL)
  • verify digital systems using HDL
  • synthesize digital systems and analyze results using EDA tools targetting field programmable gate arrays (FPGAs).

Literature and preparations

Specific prerequisites

  • Knowledge in basic digital technology, 7,5 credits, corresponding to completed course IE1204.
  • Basic knowledge of the structure of microprocessors and instruction execution, 7,5 credits, corresponding to completed course IS1200.
  • Basic knowledge of electric circuits, 7,5 credits, corresponding to completed course IE1206 or EI1110.

Literature

You can find information about course literature either in the course memo for the course offering or in the course room in Canvas.

Examination and completion

If the course is discontinued, students may request to be examined during the following two academic years.

Grading scale

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

Examination

  • LAB1 - Laboratory work, 3.0 credits, grading scale: P, F
  • LAB2 - Laboratory work, 1.0 credits, grading scale: P, F
  • TENA - Digital exam, 4.5 credits, grading scale: A, B, C, D, E, FX, F
  • TENB - Digital exam, 0.5 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.

Examiner

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.

Further information

Course room in Canvas

Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.

Offered by

Main field of study

Electrical Engineering

Education cycle

Second cycle

Supplementary information

Overlaps completely with IL2203 and partially with IL1331 and IL1332.