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

Opinto-opas 2008-2009

TKT-1410 Suunnittelun varmennus, 5 op
Design Verification

Opintojakson vastuuhenkilö

Jarmo Takala

Toteutuskerrat

Luentoajat ja -paikat Kohderyhmä, jolle suositellaan

Toteutus 1

Per 4 :
Maanantai 14 - 16, TB222

Suoritusvaatimukset

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

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

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.

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
TKT-1210 Digitaalisuunnittelu II	Pakollinen
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

Kuvaus Opetusmuodot Toteutustapa

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

Viimeksi muokattu 18.08.2008

Muokkaaja Jarmo Takala

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Per 4 : Maanantai 14 - 16, TB222

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.

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 %

Opinto-opas 2008-2009 Perus

Opinto-opas 2008-2009

TKT-1410 Suunnittelun varmennus, 5 op Design Verification