Electronic Design Methodology

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.

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.

Forelesninger, kollokvier, studier av vitenskapelige publikasjoner, oppgave-skriving, et større prosjekt.