Koodinkattavuusanalyysi RTL-verifioinnissa

Kangastie, Joonatan (2020-03-26)
 
Avaa tiedosto
Lataukset: 


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.
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
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