Enbrikkesystemer

Definisjon av enbrikke-system (SoC). Oversikt over systembeskrivende språk. Bruk av UML for spesifikasjon av enbrikkesystemer vis-a-vis kunden. Innføring i System-C. Spesifikasjon, co-design og co-verifikasjon. Kommunikasjon på chip'en: Buss-systemer og nettverk-på-chip'en. Bruk av høynivåverktøy for beskrivelse og oppførselsimulering av et komplett enbrikke-system.

A: Kunnskapsmål:
Emnet skal gi grunnlag for å kunne forstå hva som karakteriserer enbrikkesystemer, hvordan de spesifiseres, designes, lages og brukes.

B: Ferdighetsmål:
Studentene skal tilegne seg tilstrekkelige ferdigheter innen systemspesifikasjon av enbrikkesystemer i UML og systemmodellering i SystemC til å gi grunnlag for selv å konstruere slike systemer fra spesifikasjon, via design og verifikasjon på system-nivå, helt ned til verifiserte komponenter av maskin- og programvare.

Forelesninger, teoriøvinger og laboratorieøvinger i grupper på 2 studenter. Alle øvinger er obligatoriske. Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen 60% og øvinger/semesteroppgave 40%. 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 vil bli gitt på engelsk hvis det er internasjonale studenter oppmeldt.