Opintojakson vastuuhenkilö
Jouni Tomberg

Opettajat
Jouni Tomberg, Professori, 040-5020531

Luentoajat ja -paikat
Per III,IV: Maanantai 14 - 16, TB224

Toteutuskerrat
Toteutus 1

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä	Opetuskieli
Luento	-	-	2 h/vko+	2 h/vko	-	-	Vain suomeksi
Harjoitus	-	-	-	2 h/vko+	2 h/vko	-	Sekä suomeksi että englanniksi
Tentti							Suomeksi, pyydettäessä englanniksi

(Lukuvuoden 2005-2006 aikataulu)

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.

Suoritusvaatimukset
Harjoitustyöt ja tentti.

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

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

Esitiedot

Tunnus	Nimi	OP	P/S
TKT-1400	ASIC-suunnittelu I	5	Pakollinen

Huomautuksia

Opintojakson kotisivu

Viimeksi muokattu	13.05.2005
Muokkaaja	Jouni Tomberg