Første forelesning våren 2011 er tirsdag 11. januar klokken 16:15 i auditorium EL4. Det er viktig at alle møter her, da vi vil forsøke å finne alternative tider for forelesninger og øvinger i forhold til de timeplanfestede. Ta med deg kalenderen din. Dersom du absolutt ikke kan komme, så send en epost til Per Gunnar Kjeldsberg (pgk@iet.ntnu.no) med informasjon om de tider i uken som ikke er mulige for deg.

The first lecture spring 2011 will be given on Tuesday January 11 at 16:15 in auditorium EL4. It is very important that everybody attends this lecture, since we will try to find alternative times for the lectures. Bring your calenders. If it is impossible for you to attend, please send an e-mail to Per Gunnar Kjeldsberg (pgk@iet.ntnu.no) with information about the times when it is impossible for you to have lectures/assignment.

Dette faget gir en innføring i metoder som brukes til modellering og analyse av digitale kretser og systemer. Konkret betyr det at du som student lærer å designe (modellere) digitale systemer ved hjelp av et maskinvarebeskrivende språk. Dette er kunnskap som er meget etterspurt av og nyttig for svært mange bedrifter i elektronikkindustrien. For tiden undervises det i det maskinvarebeskrivende språket VHDL. Du får en detaljert beskrivelse av hvordan språket er bygget opp og hvordan det brukes av designere. Videre legges det vekt på å lære å skrive VHDL-kode som lar seg syntetisere på en god måte. Det vil si at de dataverktøy som benyttes til å oversette VHDL-koden til maskinvare klarer å lage kretser med høy ytelse (klokkehastighet), lite areal (få transistorer) og/eller lavt effektforbruk (lang batterilevetid). Man lærer ikke å skrive god VHDL-kode bare ved å sitte i en forelesningssal. Derfor er PC-øvinger og en større prosjektoppgave (som teller 25 % av slutttkarakteren) viktige deler av faget. Prosjektoppgaven går over hele semesteret, og utføres i grupper à to studenter. Det inngår også såkalt "peer evaluation", der hver gruppe evaluerer en annen gruppe, og dermed blir evaluert selv.

Faget dekker flere tema enn maskinvarebeskrivende språk. De viktigste er syntese på ulike abstraksjonsnivå og gode teknikker for verifisering av at designet ditt oppfyller systemets spesifikasjoner. Her inngår både simulering av systemets funksjonalitet ved hjelp av såkalte testbenker som påtrykker stimulig og sjekker respons, og verifisering ved hjelp av formelle matematiske metoder. Det blir også gitt en kort introduksjon til fagområdet ''HW/SW Codesign''. I faget møter du gjesteforelesere fra norske bedrifter og fra utenlandsk universitet. Dette bidrar til god jobb-relevans.

Studenter som er oppmeldt i faget vil finne ytterligere informasjon på it's learning.

Ser du den integrerte kretsen?