Faglig innhold

Modellering og simulering av digital oppførsel med maskinvarebeskrivende språk, verifisering av funksjon ved ekvivalens-kontroll, verifisering av egenskaper ved "model checking", syntese på logisk nivå, høynivåsyntese.

Læringsutbytte

Gi kunnskap om og erfaring med modellering av digitale systemers oppførsel og realisering, samt analyse og verifisering av systemenes funksjoner og egenskaper.

Læringsformer og aktiviteter

Forelesninger, selvstudier og semesteroppgave. Mappevurdering gir grunnlag for sluttkarakteren i emnet. I mappen inngår skriftlig avsluttende eksamen 75% og semesteroppgave 25%. Resultatet for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen. Emnet kan bli forelest på engelsk.

Obligatoriske aktiviteter

• Øvinger

Anbefalte forkunnskaper

Emne TFE4151 Design av integrerte kretser eller tilsvarende kunnskaper. Emne TFE4105 eller TFE4110 eller tilsvarende kunnskaper om design av digitale kretser på portnivå.

Kursmateriell

Oppgis ved kursstart.

Studiepoengreduksjon