Faglig innhold

I dette emnet går vi gjennom hvordan komplekse digitale kretser og systemer modelleres og simuleres ved hjelp av maskinvarebeskrivende språk. Det legges vekt på beskrivelser på registeroverføringsnivå (RTL) tilpasset korrekt syntese til integrerte kretser. Videre behandles RTL designmetoder for energieffektivt kretser og for produksjonstest av digitale kretser og system. I emnet inngår labøvinger og semesteroppgave med bruk av FPGA. Tematiske deler i emnet er avansert bruk av maskinvarebeskrivende språk, automatisk og manuell syntese av digitale moduler og komponenter på registeroverføringsnivå, samt avveginger mellom ytelse, energiforbruk og andre funksjonelle og ikkefunksjonelle egenskaper. Innen testproblematikk behandles feilmodeller, testgenerering, feilsimulering, design for testbarhet, selvtest, testkvalitet, og teststandarder.

Læringsutbytte

Kunnskaper: Kandidaten -forstår hvordan avanserte egenskaper ved maskinvarebeskrivende språk kan benyttes til design (modellering) av digitale kretser og system. -forstår hvordan funksjonaliteten til digitale kretser og system kan verifiseres ved hjelp av simulering og testbenker. -har spesialisert kunnskap om metoder for høynivå og registernivå syntese av digitale kretser og system. -har detaljert kunnskap om designmetoder som kan benyttes for å gjøre digitale komponenter og system energieffektive og testbare. Ferdigheter: Kandidaten -kan benytte state-of-the-art programvare til modellering av digitale kretser og system ved hjelp av maskinvarebeskrivende språk. -kan skrive testbenker for simulering og verifikasjon av digitale kretser og system. -kan benytte state-of-the-art synteseverktøy til å optimaliserer og oversetter registernivå maskinvarebeskrivelser til digitale kretser og system. -kan designe energieffektive og testbare digitale komponenter og system. Generell kompetanse: Kandidaten -kan samarbeide rundt løsning av praktisk prosjektoppgave. -kan presentere resultater av en semesteroppgave i en prosjektrapport.

Læringsformer og aktiviteter

Forelesninger. Praktisk/teoretiske øvinger og semesteroppgave i grupper på to eller tre studenter. Alle øvinger er obligatorisk. Emnet vil bli gitt på engelsk hvis det er internasjonale studenter oppmeldt.

Obligatoriske aktiviteter

• Obligatoriske øvinger

Anbefalte forkunnskaper

TFE4152 Design av integrerte kretser eller tilsvarende.

Forkunnskapskrav

God kunnskap om Boolsk algebra og design av kombinatoriske og sekvensielle digitale kretser. Kjenne til bruk av registernivå-språk for beskrivelse av digitale kretser.

Kursmateriell

Vil bli oppgitt ved semesterstart.