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

Opintojakson vastuuhenkilö

Heikki Orsila

Toteutuskerrat

Ei toteutuskertoja

Suoritusvaatimukset

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

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

-

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.

Opintojakson arvostelu

Kurssi arvosana määräytyy harjoitustöistä ja tentistä.

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	Comprehensive Functional Verification	Bruce Wile, John C. Goss, Wolfgang Roesner					Englanti

Esitietovaatimukset

Vastaavuudet

Lisätietoja

Pidetään vain joka toinen vuosi.

Viimeksi muokattu	18.08.2008
Muokkaaja	Erno Salminen