|
TKT-1410 SUUNNITTELUN VARMENNUS, 5 op
|
Opintojakson vastuuhenkilö
Jouni Tomberg
Opettajat
Jouni Tomberg
Luentoajat ja -paikat
Per III,IV: Maanantai 14 - 16, TC163
Toteutuskerrat
Periodi 1 | Periodi 2 | Periodi 3 | Periodi 4 | Periodi 5 | Kesä | |
Luento | - | - | 2 h/vko | 2 h/vko | - | - |
Harjoitus | - | - | - | 2 h/vko | 2 h/vko | - |
Tentti |
Tavoitteet
Perehtyä digitaalisuunnittelun systemaattiseen varmennukseen.
Sisältö
Sisältöalue | Ydinaines | Täydentävä tietämys | Erityistietämys |
1. | Varmennusvuo määrittelystä toteutukseen ja käyttöön erityisesti ASIC suunnittelussa. | Toiminnan aikainen varmennus.
Uusien ASIC teknologioiden tuomat varmennusongelmat. |
|
2. | Varmennusmenetelmät ja -työkalut sekä niiden tehokas hyödyntäminen. | Simulointien, staattisen ajoitusanalysoinnin ja formaalien menetelmien hyödyntäminen kokonaisuutena. | Tuontotesterien perusteet. |
3. | Systemaattinen varmennus, varmennuksen suunnittelu. Testattavuussuunnittelu. | Testausstrategian ja testisuunnitelman laatiminen.
|
Piirilevytason testaus, bscan.
Testisynteesi, ATPG, scan-testaus, vikamallien perusteet. |
4. | Uudet varmennusmenetelmät ja -työkalut. | Objektiorientoitunut testipenkki, assertioiden käyttö, property proving. | |
5. | Ohjelmisto/kovo yhteisvarmennus. | Mallintimen/emulaattorin käyttö varmennuksessa. |
Suoritusvaatimukset
Harjoitustyöt ja tentti.
Opintojakson arviointikriteerit
Oppimateriaali
Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
Kirja | Writing Testbenches - Functional Verification of HDL Models | Janick Bergeron | 1-4020-7401-8 | 2nd edition | Kyllä | Englanti | |
Luentokalvot | Suunnittelun varmennus | Jouni Tomberg | Kurssin kotisivuilla | Kyllä | Englanti |
Esitiedot
Tunnus | Nimi | OP | P/S |
TKT-1400 | TKT-1400 ASIC-suunnittelu I | 5 | Pakollinen |
Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)
Huomautuksia
Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa
- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- muu tapa: luentokalvot verkossa
- Lähiopetuksen osuus: 60 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 20 %
Opetusmuodot | Tuntia |
Luennot | 48 |
Harjoitukset | 96 |
Kaikki yhteensä | 144 |
Viimeksi muokattu | 23.01.2006 |
Muokkaaja | Olli Vainio |