| TTIT32 | Tema 2:Design och verifikation, 4 poäng /Design and Verification/ För: IT2 | |
| Utbildningsområde: Teknik Ämnesgrupp: Elektroteknik/Datalogi | ||
| Fördjupningsnivå: B | ||
| Mål: Temat avser att ge kunskaper om strukturerade konstruktionsmetoder för digitala system, operativa färdigheter samt förståelse för hur digitala system fungerar. Vidare avser temat att ge kunskaper om logiska metoder för verifikation av digitala system.Förkunskaper: Introduktion till logik och grundläggande muntlig presentation.Organisation: Se studiehandboken, del 1. Kursinnehåll: Digitalteknik: Talsystem och koder. Omvandlingar. Boolesk algebra. Minimering. Karnaughdiagram. NAND- och NOR-syntes. Tri-state. Ofullständigt specificerade nät. Nät med flera utgångar. Adderare, komparatorer, avkodare och multiplexrar. Sekvensnät. Tillståndgraf, tillståndsminimering. Iterativa kombinatoriska nät. Klockade vippor. Asynkrona signaler till synkront system. Räknare och skiftregister. Konstruktion av en enkel styrenhet. Logik: Verifikation. Specifikation/Implementation. Satslogik. Normalformer. Naturlig deduktion. Orientering om predikatlogik. Kurslitteratur: Enligt litteraturlista.Examination: | ||
| TEN1 | Skriftlig tentamen., 4 p. | |
| MOM1 | Digitalteknik, termin 3, graderat betyg. , 0 p. | |
| MOM2 | Logik, termin 3, betyg G., 0 p. | |
| Endast betyg godkänd ges på Tema 2. | ||
Undervisningsspråk är svenska.