Zum Hauptteil springen
EN
Einloggen
TU GRAZ
Repository
Bibliothek und Archiv
WISSEN
TECHNIK
LEIDENSCHAFT
Startseite
Communities
Übersicht
Veröffentlicht im May 2022 | Version v1
Masterarbeit Offen

Model checking in digital design to enhance traditional functional verification

ErstellerInnen

  • Kissich, Meinhard Wolfgang (aut)

78019.pdf
Dateien (1.7 MB)
Name Größe
78019.pdf
md5:f8d47971ee5f8d88453aca9590b085a2
1.7 MB Vorschau Herunterladen

Informationen zum Eintrag

Erstellt: 21. September 2023 | Bearbeitet: 27. Mai 2025
Zum Seitenbeginn
61
Views
13
Downloads

Details

10.3217/e3d40-yt382
DOI-Abzeichen

DOI

10.3217/e3d40-yt382

Markdown

[![DOI](https://repository.tugraz.at/badge/DOI/10.3217/e3d40-yt382.svg)](https://doi.org/10.3217/e3d40-yt382)

reStructuredText

.. image:: https://repository.tugraz.at/badge/DOI/10.3217/e3d40-yt382.svg
  :target: https://doi.org/10.3217/e3d40-yt382

HTML

<a href="https://doi.org/10.3217/e3d40-yt382"><img src="https://repository.tugraz.at/badge/DOI/10.3217/e3d40-yt382.svg" alt="DOI"></a>

Image URL

https://repository.tugraz.at/badge/DOI/10.3217/e3d40-yt382.svg

Target URL

https://doi.org/10.3217/e3d40-yt382
Name: Kissich, Meinhard Wolfgang
Titel: Model checking in digital design to enhance traditional functional verification
Ressource-Typ: Masterarbeit
Veröffentlicht: May 2022
Sprache: eng

Exportieren

Repository

Dokumentation
Handbuch
Suchanleitung
Datenschutzerklärung
Nutzungsbedingungen

Features

Skalierbarkeit
Institutionelle Einbindung
Repositorium der nächsten Generation
Repositorienprofile
Resilient, widerstandsfähig

Verbundene Services

PURE
CampusOnline
Forschungsdatenmanagement

Barrierefreiheit

Tipp:
Verwenden Sie Strg+ und Strg-
Um die Schriftgröße zu ändern.
Powered by InvenioRDM logo
Enabled by Fair Data Austria
Supported by Open Education Austria
Listed on Registry of Research Data Repositories
Powered by InvenioRDM