Course content

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.

Learning outcome

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

Learning methods and activities

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.

Compulsory assignments

• Exercises

Recommended previous knowledge

Switching theory, design of digital integrated circuits. Course TFE4105 or TFE4110 or similar knowledge of design of digital circuits at gate level.

Course materials

To be announced at course startup.

Credit reductions