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 muokattu

03.09.2012