| Opintojaksot | |||||
| |Tutkinnot| | |Opintokokonaisuudet| | |Kaikki| | |Jatko| | |KV| | |
|
|
|
|||||||||||
TKT-2511 FORMAALIT TOIMINNANVARMENNUSMENETELMÄT, 5 op
|
Opintojakson vastuuhenkilö
Heikki Orsila
Toteutuskerrat
| Periodi 1 | Periodi 2 | Periodi 3 | Periodi 4 | Periodi 5 | Kesä | |
| Luento | 2 h/vko | 2 h/vko | - | - | - | - |
| Harjoitustyö | 2 h/vko | 2 h/vko | - | - | - | - |
| Tentti | ||||||
Tavoitteet
Formaalien menetelmien tunteminen ja soveltaminen digitaalisuunnittelussa käytännössä ja teoriassa. Erityisesti tärkeätä on tuntea luotettavan suunnittelun menetelmiä, ja osata tarkistaa valmiita järjestelmiä. Kurssi keskittyy tilakoneiden varmentamiseen.
Sisältö
| Sisältöalue | Ydinaines | Täydentävä tietämys | Erityistietämys |
| 1. | Yleisesti käytettyjen formaalien menetelmien ja työkalujen tunteminen digitaalisuunnittelussa.
|
||
| 2. | Formaalien menetelmien teorian ja käytännön tunteminen digitaalisuunnittelussa. Erityisesti tärkeitä ovat tilakoneiden varmennusmenetelmät. Aihepiireihin sisältyy: Model checking, equivalence checking, assertion-based design ja aikalogiikka.
|
||
| 3. | Yleisesti käytettyjen suunnitteluympäristöjen ja käytännönratkaisuiden tunteminen järjestelmien tarkistuksessa.
|
Suoritusvaatimukset
Harjoitustyöt ja tentti.
Opintojakson arviointikriteerit
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
| Kirja | Comprehensive Functional Verification | Bruce Wile, John C. Goss, Wolfgang Roesner | Kyllä | Englanti |
Esitiedot
| Tunnus | Nimi | OP | P/S |
| TKT-2401 | TKT-2401 SoC-mallinnus | 5 | Suositeltava |
Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)
Tietoa esitietovaatimuksista
TKT-2400 ja TKT-2401 ovat keskenään vaihtoehtoiset
Huomautuksia
Luennoidaan vain joka toinen vuosi. Luennoidaan lukuvuonna 2007-2008.
Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa
- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitus-, ryhmä- tai laboratoriotöiden työstämisessä
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- Lähiopetuksen osuus: 50 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 50 %
| Opetusmuodot | Tuntia |
| Luennot | 52 |
| Harjoitustyöt | 66 |
| Muu mitoitettu | Tuntia |
| Tentti/välikokeet | 3 |
| Kaikki yhteensä | 121 |
Opintojaksoon liittyviä lisätietoja
Pidetään vain joka toinen vuosi.
Opintojaksokorvaavuus
TKT-2510 Formaalit menetelmät
| Viimeksi muokattu | 08.06.2007 |
| Muokkaaja | Olli Vainio |