System-on-Chip

Emnet skal foreleses hvert år, første gang vår 2009. 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.

Emnet skal gi grunnlag for å kunne forstå hva som karakteriserer enbrikkesystemer, hvordan de spesifiseres, designes, lages og brukes. 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. Studenter som også tar emne TTM4115 Systemering av distribuerte sanntidssystemer kan få samkjørt semesteroppgavene i disse to emnene. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.