Koodinkattavuusanalyysi RTL-verifioinnissa
Kangastie, Joonatan (2020-03-26)
Kangastie, Joonatan
J. Kangastie
26.03.2020
© 2020 Joonatan Kangastie. Tämä Kohde on tekijänoikeuden ja/tai lähioikeuksien suojaama. Voit käyttää Kohdetta käyttöösi sovellettavan tekijänoikeutta ja lähioikeuksia koskevan lainsäädännön sallimilla tavoilla. Muunlaista käyttöä varten tarvitset oikeudenhaltijoiden luvan.
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:oulu-202003281352
https://urn.fi/URN:NBN:fi:oulu-202003281352
Tiivistelmä
Tässä tutkielmassa perehdytään tarkemmin Koodinkattavuusanalyysiin RTL-verifioinnissa. Teoriaosiossa käydään läpi viisi eri koodinkattavuusanalyysimetodia ja niiden hyödyntämisen keinoja. Näitä eri metodeja havainnollistetaan sen jälkeen vielä Questa Sim -simulaattorilla, jossa simuloidaan Systemverilogilla koodattua FIR-suodatinta. This thesis explains what code coverage is, goes through five different methods for analyzing code coverage and then gives examples how to use these methods in RTL-verification. Additionally there is simulation section in which Questa Sim simulator is used to demonstrate its tools for analyzing code coverage.
Kokoelmat
- Avoin saatavuus [32130]