Block-level formal verification in system-on-a-chip design verification

Melander, Johan Jakob (2024-04-16)
 
Avaa tiedosto
Lataukset: 

Rajoitetun näkyvyyden opinnäytteet ovat luettavissa vain OuluREPO-työasemilla: https://oulurepo.oulu.fi/handle/10024/5
Melander, Johan Jakob
J. J. Melander
16.04.2024
© 2024, Johan Jakob Melander. 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-202404162751
Kokoelmat