|
|
|||||||||||||||||
Opinto-opas 2010-2011
TKT-1410 Suunnittelun varmennus, 5 op
|
Vastuuhenkilö
Jouni Tomberg
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 ASIC-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:
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 |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
Vastaavuus 1 = 1 |
Lisätiedot
Soveltuu jatko-opinnoiksi