SystemVerilog-väitteiden käyttö rekisterinsiirtotasomallin toiminnan varmennuksessa

Heikkinen, Roni (2024-02-29)
 
Avaa tiedosto
Lataukset: 

Rajoitetun näkyvyyden opinnäytteet ovat luettavissa vain OuluREPO-työasemilla: https://oulurepo.oulu.fi/handle/10024/5
Heikkinen, Roni
R. Heikkinen
29.02.2024
© 2024, Roni Heikkinen. 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-202402292061
Kokoelmat