| Opintojaksot | |||||
| |Tutkinnot| | |Opintokokonaisuudet| | |Kaikki| | |Jatko| | |KV| | |
|
|
|
|||||||||||
TKT-1410 SUUNNITTELUN VARMENNUS, 5 op
|
Opintojakson vastuuhenkilö
Jouni Tomberg
Opettajat
Jouni Tomberg
Luentoajat ja -paikat
Per III: 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-1210 | TKT-1210 Digitaalisuunnittelu II | 5 | Pakollinen |
| TKT-1212 | TKT-1212 Digitaalijärjestelmien toteutus | 8 | Pakollinen |
Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)
Tietoa esitietovaatimuksista
TKT-1210 ja TKT-1212 ovat vaihtoehtoiset.
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 | 08.02.2007 |
| Muokkaaja | Olli Vainio |