Avanserte enbrikkesystemer

Emnet skal foreleses hvert år, første gang vår 2012. 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: Kunnskap: 1 - Emnet skal gi grunnlag for å kunne forstå hva som karakteriserer enbrikkesystemer, hvordan de spesifiseres, designes, lages og brukes. 2 - I tillegg skal studentene få forståelse for hva som er abstraksjon i systemmodellering. B Ferdgiheter: a - 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, og - 2 - hvordan system-abstraksjoner utnyttes i systemmodellerings-språk, og dermed ferdigheter til å analysere modellerings-språk mhp. abstraksjoner.

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.