FE8120
Elektronisk konstruksjonsteknikk
Sist undervist 2011
Høst
Engelsk
Ingen karakterstatistikk ennå
Vi har ikke karakterdata for dette emnet ennå. Statistikk kan dukke opp når resultater er offentliggjort.
Om emnet
Faglig innhold
Emnet undervises over 2 terminer annethvert år. Neste gang 1. termin høst 2011 og 2. termin vår 2012. Metoder og teknikker for elektronikk-konstruksjon, med vekt på integrerte kretser og systemer. Konstruksjonsmetodikk for enbrikke-systemer, høynivå syntese og logisk syntese, samt verifiseringsmetodikk, inkludeert egenskapsbasert verifisering.
Læringsmål
A. Kunnskap:
1) Forstå prinsippene bak moderne metoder, designflyt og verktøy for design og verifisering av større digitale systemer.
B) Ferdigheter:
1) Benytte moderne metoder og verktøy for design og verifisering av større digitale systemer, gitt funksjonell og ikke-funksjonell spesifikasjon.
2) Utføre modellering og syntese av digitale moduler og systemer.
3) Verifisere konstruksjoner ved simulering og formell verifisering.
Læringsformer og aktiviteter
Forelesninger, kollokvier, studier av vitenskapelige publikasjoner, oppgave-skriving, et større prosjekt.