Opinto-opas 2010-2011
Perus

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2010-2011

TKT-1410 Suunnittelun varmennus, 5 op
Design Verification

Vastuuhenkilö

Jouni Tomberg

Opetus

Opetusmuoto P1 P2 P3 P4 Kesä Toteutuskerrat Luentoajat ja -paikat
Luennot
Harjoitukset

 

  		 2 h/vko
 2 h/vko
 +2 h/vko
+2 h/vko

  		TKT-1410 2010-01 Tiistai 14 - 16, TC161
Tiistai 14 - 16, TC133

Suoritusvaatimukset

Harjoitustyöt ja tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

-

Osaamistavoitteet

Opiskelija perehtyy digitaalisuunnittelun systemaattiseen toiminnalliseen varmennukseen. Hän osaa kuvailla varmennusvuon määrittelystä toteutukseen ja käyttöön ASIC-suunnittelussa. Hän tietää, miten varmennusmenetelmiä ja -työkaluja hyödynnetään tehokkaasti.

Sisältö

Sisältö 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.   
3. Systemaattinen varmennus, varmennuksen suunnittelu. Testattavuussuunnittelu.  Testausstrategian ja testisuunnitelman laatiminen.    
4. Uudet varmennusmenetelmät ja -työkalut.  Objektiorientoitunut testipenkki, assertioiden käyttö, property proving.  Satunnaispohjainen kattavuusohjattu varmennus. 
5. Ohjelmisto/kovo yhteisvarmennus.  Mallintimen/emulaattorin käyttö varmennuksessa.   

Opintojakson arvostelu

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

Arvosteluasteikko:

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

Osasuoritukset:

Osasuoritusten pitää liittyä samaan toteutuskertaan

Oppimateriaali

Tyyppi Nimi Tekijä ISBN URL Painos,saatavuus... Tenttimateriaali Kieli
Kirja   Writing Testbenches Using System Verilog   Janick Bergeron   0-387-29221-7     Springer 2006      Englanti  
Luentokalvot   Suunnittelun varmennus   Jouni Tomberg       Kurssin kotisivuilla      Englanti  

Esitietoketju (Vaatii kirjautumisen POPiin)



Vastaavuudet

Opintojakso Vastaa opintojaksoa  Selite 
TKT-1410 Suunnittelun varmennus, 5 op TKT-1416 Design Verification, 5 op Vastaavuus 1 = 1  

Lisätiedot

Soveltuu jatko-opinnoiksi

Tarkempia tietoja toteutuskerroittain

Toteutus Kuvaus Opetusmuodot Toteutustapa
TKT-1410 2010-01        

Viimeksi muokattu17.01.2010