Opinto-opas 2009-2010 Perus
Perus	Pori	KV	Jatko	Avoin
\|Tutkinnot\| \|Opintokokonaisuudet\| \|Opintojaksot\|

Opinto-opas 2009-2010

TKT-1410 Suunnittelun varmennus, 5 op
Design Verification

Vastuuhenkilö

Jouni Tomberg

Toteutuskerrat

Luentoajat ja -paikat Kohderyhmä, jolle suositellaan

Toteutus 1

Per 3, 4 :
Tiistai 13 - 15, TC133
Per 4 :
Tiistai 13 - 17, TC165

Suoritusvaatimukset

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

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

Osaamistavoitteet

Perehtyä digitaalisuunnittelun systemaattiseen varmennukseen.

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

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 - Functional Verification of HDL Models Janick Bergeron 1-4020-7401-8 2nd edition Englanti

Luentokalvot Suunnittelun varmennus Jouni Tomberg Kurssin kotisivuilla Englanti

Esitietovaatimukset

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

Tietoa esitietovaatimuksista
TKT-1210 ja TKT-1212 ovat vaihtoehtoiset.

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

Kuvaus Opetusmuodot Toteutustapa

Toteutus 1 Lähiopetus: 0 %
Etäopetus: 0 %
Itseopiskelu: 0 %

Viimeksi muokattu 04.06.2009

Muokkaaja Hanna Hämäläinen

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Per 3, 4 : Tiistai 13 - 15, TC133 Per 4 : Tiistai 13 - 17, TC165

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

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		Englanti
Luentokalvot	Suunnittelun varmennus	Jouni Tomberg			Kurssin kotisivuilla		Englanti

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1			Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	04.06.2009
Muokkaaja	Hanna Hämäläinen

Opinto-opas 2009-2010 Perus

Opinto-opas 2009-2010

TKT-1410 Suunnittelun varmennus, 5 op Design Verification