Opinto-opas 2012-2013
Jatko

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2012-2013

TKT-1410 Suunnittelun varmennus, 5 op
Design Verification

Lisätiedot

Soveltuu jatko-opinnoiksi

Vastuuhenkilö

Tapani Ahonen

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 2012-01 Perjantai 10 - 12, TC417

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 mikropiirien 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  

Esitietovaatimukset

Opintojakso P/S Selite
TKT-1212 Digitaalijärjestelmien toteutus Pakollinen    

Esitietoketju (Vaatii kirjautumisen POPiin)



Vastaavuudet

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

Tarkempia tietoja toteutuskerroittain

Toteutus Kuvaus Opetusmuodot Toteutustapa
TKT-1410 2012-01   Luennot
Harjoitukset
   
Lähiopetus: 33 %
Etäopetus: 0 %
Itseopiskelu: 66 %  

Viimeksi muokattu03.09.2012