Feasibility Study of a Formal Datapath Verification Tool in an SoC Project

Tekijä ei ole antanut lupaa avoimeen julkaisuun, aineisto on luettavissa vain Tampereen yliopiston kirjastojen opinnäytepisteillä. The author has not given permission to publish the thesis online. The thesis can be read at the thesis point at Tampere University Library.


Sähkötekniikan DI-ohjelma - Master's Programme in Electrical Engineering
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences

Hyväksymispäivämäärä

2024-06-10

Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202406066755