Faglig innhold

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.

Læringsutbytte

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.

Læringsformer og aktiviteter

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. Emnet kan bli forelest på engelsk.

Obligatoriske aktiviteter

• Øvinger

Anbefalte forkunnskaper

Emnene TFE4140 Modellering og analyse av digitale systemer (kunnskap om modellering og simulering av maskinvare) og TFE4175 Realisering og test av digitale komponenter (kunnskap om beskrivelse og verifisering av komponenter og systemer av maskinvare), eller dokumenterte tilsvarende kunnskaper.

Kursmateriell

Oppgis før semesterstart.

Studiepoengreduksjon