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æringsmål: 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 og prosjektoppgave.

Anbefalte forkunnskaper: Emne TFE4151 Design av integrerte kretser eller tilsvarende kunnskaper.

Forkunnskapskrav: Emne TFE4105 Digitalteknikk og datamaskiner eller tilsvarende kunnskaper.

Kursmateriell: Oppgis ved semesterstart.

Antall studiepoeng: 7,5.