Modellering og analyse av digitale systemer

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.

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

Ferdigheter:
Gjennom fullføringen av en semesteroppgave få innsikt i egne ferdigheter som konstruktør. Delta i "kompis-evaluering" av semesteroppgaven, og reflektere over hva en oppnår ved å evaluere, og å bli evaluert av andre.

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.