Use cases for formal verification in SoC design
Alasaarela, Arttu (2022-12-21)
Alasaarela, Arttu
A. Alasaarela
21.12.2022
© 2022 Arttu Alasaarela. 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-202212213862
https://urn.fi/URN:NBN:fi:oulu-202212213862
Kokoelmat
- Rajattu saatavuus [10917]