Modelling and Analysis of Digital Systems

Modelling and simulation of digital behaviour with a hardware description language, functional verification with equivalence checking, property checking with model checking, logic level and high level synthesis.

Knowledge:
Knowledge and experience with modelling of digital system behaviour and realisation, and analysis and verification of functionality and property of digital systems.

Skills:
Obtain insight in own skills as designer through a term project. Take part in "peer review" of the term project, and reflect on what can be obtained by evaluating peers, and be evaluated by others.

Lectures, self study and term project. Portfolio assessment is the basis for the grade in the course. The portfolio includes a written exam (75%) and a term project (25%). The results for the parts are given in %-scores, while the entire portfolio is assigned a letter grade. If there is a re-sit examination, the examination form may be changed from written to oral. The course may be held in English.