Opintojaksot  
|Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opinto-opas 2007-2008

TKT-1410 SUUNNITTELUN VARMENNUS, 5 op
Design Verification

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  
(Lukuvuoden 2007-2008 aikataulu)

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

  • Harjoitustyöt arvioidaan asteikolla hyväksytty/hylätty.

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

  • 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

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.

  • Opintojakso soveltuu jatko-opinnoiksi.

  • Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat
  • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
    - harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
    - muu tapa: luentokalvot verkossa

  • Arvioitu opintojakson toteutustapa
  • - Lähiopetuksen osuus: 60 %
    - Etäopetuksen osuus: 0 %
    - Opiskelijan itseopiskelun osuus: 20 %

    Mitoitus
    OpetusmuodotTuntia
    Luennot 48
    Harjoitukset 96
    Kaikki yhteensä 144

    Opintojakson kotisivu

    Viimeksi muokattu 08.02.2007
    MuokkaajaOlli Vainio